SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference

Conference Day
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 LiuStony Brook University
10:00
10m
Day opening
Opening and Introduction
LPOP
Peter Van RoyUniversité 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 LamportMicrosoft 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 CousotNew York University
11:20
30m
Live Q&A
Panel: Logic in Program Specification: Where Has It Failed? How Can We Fix It?
LPOP
Leslie LamportMicrosoft Research, Richard Waldinger, Patrick CousotNew York University, C: David WarrenStony Brook University
11:50
10m
Break
Break: Ask Me Anything
LPOP
Michael LeuschelUniversity of Düsseldorf, C: Jorge LoboICREA and Universitat Pompeu Fabra