POPL 2024
Sun 14 - Sat 20 January 2024 London, United Kingdom

Wed 17 Jan

Displayed time zone: London change

08:25 - 08:45
Wednesday Morning Sessions PreviewsSession Previews at Siemens Boardroom
Chair(s): Clément Pit-Claudel EPFL
08:25
10m
Research preview
Synthesis 1: Session Preview
Session Previews
Xiaokang Qiu Purdue University
08:35
10m
Research preview
Types 1: Session Preview
Session Previews
Niki Vazou IMDEA Software Institute