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
Times are displayed in 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 LiuStony Brook University
10:00 - 10:10
Day opening
LPOP
Peter Van RoyUniversité catholique de Louvain
10:10 - 10:50
Talk
LPOP
I: Leslie LamportMicrosoft Research
10:50 - 11:05
Paper
LPOP
11:05 - 11:20
Paper
LPOP
Patrick CousotNew York University
11:20 - 11:50
Live Q&A
LPOP
Leslie LamportMicrosoft Research, Richard Waldinger, Patrick CousotNew York University, C: David WarrenStony Brook University
11:50 - 12:00
Break
LPOP
Michael LeuschelUniversity of Düsseldorf, C: Jorge LoboICREA and Universitat Pompeu Fabra