POPL 2024
Sun 14 - Sat 20 January 2024 London, United Kingdom
Tue 16 Jan 2024 09:00 - 09:05 at Mountbatten Exhibition - Opening Chair(s): Noam Zilberstein

Tue 16 Jan

Displayed time zone: London change

09:00 - 10:30
OpeningIncorrectness at Mountbatten Exhibition
Chair(s): Noam Zilberstein Cornell University
09:00
5m
Day opening
Welcome
Incorrectness
Noam Zilberstein Cornell University, Azalea Raad Imperial College London
09:05
60m
Keynote
My Journey to the Dark Side: Under-Approximation, Incorrectness, Proof
Incorrectness
Peter W. O'Hearn Lacework; University College London
10:05
22m
Talk
A Comparison of Program Logics for (In)Correctness
Incorrectness
Flavio Ascari University of Pisa
Pre-print File Attached