Panel: Logic in Program Specification: Where Has It Failed? How Can We Fix It? (LPOP 2020 - Logic and Practice of Programming (LPOP) 2020)

Sun 15 - Sat 21 November 2020 Online Conference

Who

Leslie Lamport, Richard Waldinger, Patrick Cousot, David Warren

Track

LPOP 2020

Time Zone

The program is currently displayed in (GMT-06:00) Central Time (US & Canada).

Use conference time zone: (GMT-06:00) Central Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Sun 15 Nov 2020 11:20 - 11:50 at SPLASH-IV - 10:00-- Logic in Program Specification and Analysis Chair(s): Y. Annie Liu

Leslie Lamport

Microsoft Research

United States

Richard Waldinger

Patrick Cousot

New York University

United States

David WarrenChair

Stony Brook University

United States

Time Zone

The program is currently displayed in (GMT-06:00) Central Time (US & Canada).

Use conference time zone: (GMT-06:00) Central Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Sun 15 Nov
Displayed time zone: Central Time (US & Canada) change

09:00 - 10:20	10:00-- Logic in Program Specification and AnalysisLPOP at SPLASH-IV Chair(s): Y. Annie Liu Stony Brook University

10:00 10m Day opening		Opening and Introduction LPOP Peter Van Roy Université catholique de Louvain
10:10 40m Talk		Invited Talk: If You're Not Writing a Program, Don't Use a Programming Language LPOP I: Leslie Lamport Microsoft Research
10:50 15m Paper		Deductive Synthesis of the Unification Algorithm: The Automation of Introspection LPOP Richard Waldinger
11:05 15m Paper		Logic in Program Analysis and Verification LPOP Patrick Cousot New York University
11:20 30m Live Q&A		Panel: Logic in Program Specification: Where Has It Failed? How Can We Fix It? LPOP Leslie Lamport Microsoft Research, Richard Waldinger , Patrick Cousot New York University, C: David Warren Stony Brook University
11:50 10m Break		Break: Ask Me Anything LPOP Michael Leuschel University of Düsseldorf, C: Jorge Lobo ICREA and Universitat Pompeu Fabra