POPL 2024
Sun 14 - Sat 20 January 2024 London, United Kingdom
Wed 17 Jan 2024 10:05 - 10:15 at Siemens Boardroom - Wednesday Morning Session Previews Chair(s): Ariel E. Kellison

Wed 17 Jan

Displayed time zone: London change

10:05 - 10:25
Wednesday Morning Session PreviewsSession Previews at Siemens Boardroom
Chair(s): Ariel E. Kellison Cornell University
10:05
10m
Research preview
Effect Handlers: Session Preview
Session Previews
Sam Lindley University of Edinburgh
10:15
10m
Research preview
Automated Verification: Session Preview
Session Previews
Viktor Kunčak EPFL, Switzerland