SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
SPLASH 2020 (series) / LPOP 2020 (series) / Logic and Practice of Programming (LPOP) 2020 /

Opening and Introduction

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

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
Peter Van Roy

Peter Van Roy

Université catholique de Louvain