SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference

Algorithms are not programs. They can and should be written with math rather than programming languages or pseudo-languages. This applies to many more algorithms than the ones taught in algorithm courses.

Note: This will be a Q & A session for the following talk https://youtu.be/wQiWwQcMKuw The talk itself is 50 minutes; the video includes Q&A and is longer. Participants are asked to watch the video before the talk.

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
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