SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference

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