PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark
Tue 25 Jun 2024 17:06 - 17:40 at Helsinki - Session 4

Max Planck Institute for Computer Science, 1995-2006.

DEC PRL (Digital Paris Research Laboratory), 1992-94.

University of Paris 7, LITP, 1989-92

University of California at Berkeley, 1988-89

PhD, University of Paris 7. Supervisor Maurice Nivat.

Diplom, University of Münster. Supervisor Dieter Rödding.

Tue 25 Jun

Displayed time zone: Windhoek change

16:00 - 17:40
Session 4PODELSKI at Helsinki
16:00
33m
Talk
Reasoning About Hilbert’s Choice Operator in SMT
PODELSKI
Byron Cook Amazon
16:33
33m
Talk
Living inside a Theorem Proving Universe
PODELSKI
Natarajan Shankar SRI International, USA
17:06
33m
Day closing
Closing Remarks
PODELSKI
Andreas Podelski University of Freiburg