POPL 2024
Sun 14 - Sat 20 January 2024 London, United Kingdom
Wed 17 Jan 2024 13:00 - 13:10 at Siemens Boardroom - Wednesday Lunch Session Previews Chair(s): Aurèle Barrière

Wed 17 Jan

Displayed time zone: London change

12:50 - 13:10
Wednesday Lunch Session PreviewsSession Previews at Siemens Boardroom
Chair(s): Aurèle Barrière EPFL
12:50
10m
Research preview
Automata and Complexity: Session Preview
Session Previews
Benjamin Lucien Kaminski Saarland University; University College London
13:00
10m
Research preview
Separation Logic: Session Preview
Session Previews
Ralf Jung ETH Zurich