POPL 2024
Sun 14 - Sat 20 January 2024
London, United Kingdom
Toggle navigation
Attending
Venue: Institution of Engineering and Technology
Supporting POPL
Registration
Conference Hotel: Strand Palace Hotel
Information for Virtual Attendees
Information for Presenters
Requesting a Visa
POPL Live Streams
Program
POPL Program
Your Program
Filter by Day
Sun 14 Jan
Mon 15 Jan
Tue 16 Jan
Wed 17 Jan
Thu 18 Jan
Fri 19 Jan
Sat 20 Jan
Tracks
POPL 2024
Artifact Evaluation
Diversity, Equity and Inclusion
POPL
Session Previews
Student Research Competition
Student Volunteers
TutorialFest
Workshops and Co-located Events
Co-hosted Conferences
CPP
VMCAI
Workshops
CoqPL
Dafny
GALOP
Incorrectness
LAFI
N40AI
O'Hearn Fest
PEPM
PLMW @ POPL
PLanQC
POCL
PROPL
PriSC
The Future of Weak Memory
WAW
WITS
Co-hosted Symposia
PADL
Organization
POPL 2024 Committees
Organizing Committee
AV Committee
Student Volunteers
Track Committees
Artifact Evaluation
Diversity, Equity and Inclusion
POPL
Student Research Competition
Contributors
People Index
Co-hosted Conferences
CPP
Organizing Committee
Program Committee
Steering Committee
VMCAI
Program Committee
Artifact Evaluation Committee
Workshops
CoqPL
Program Committee
Dafny
Program Chairs
Program Committee
Steering Committee
GALOP
Invited Speakers
Organising Committee
Program Committee
Incorrectness
Organizing Committee
Program Committee
LAFI
Organizing Committee
Program Committee
Steering Committee
N40AI
Organizing Committee
O'Hearn Fest
Program Committee
PEPM
Organizing Committee
Program Committee
Steering Committee
PLMW @ POPL
Organizing Committee
Speakers
Panelists
PLanQC
Organizing Committee
Program Committee
POCL
Organizing Committee
Program Committee
PROPL
Chairs
Programme Committee
PriSC
Program Committee
Steering Committee
The Future of Weak Memory
Organizing Committee
Program Committee
WAW
Organizing Committee
WITS
Program Committee
Co-hosted Symposia
PADL
Programme Chairs
Program Committee
Search
Series
Series
POPL 2025
POPL 2024
POPL 2023
POPL 2022
POPL 2021
POPL 2020
POPL 2019
POPL 2018
POPL 2017
POPL 2016
Sign in
Sign up
POPL 2024
(
series
) /
CPP 2024 (
series
) /
CPP 2024
/
Program Committee
CPP
Brigitte Pientka
PC Chair
McGill University
Canada
Sandrine Blazy
PC Chair
University of Rennes
France
Benedikt Ahrens
Delft University of Technology
Netherlands
Robert Atkey
University of Strathclyde
Jeremy Avigad
Carnegie Mellon University, USA
Thomas Bourgeat
EPFL
Jacques Carette
McMaster University
Canada
Arthur Charguéraud
Inria
France
Jesper Cockx
Delft University of Technology
Netherlands
Évelyne Contejean
CNRS, ENS Paris-Saclay & Université Paris-Saclay
Andres Erbsen
Francisco Ferreira
Royal Holloway, University of London
Kesha Hietala
Amazon Web Services
United States
Kuen-Bang Hou (Favonia)
University of Minnesota
United States
Hsiang-Shang ‘Josh’ Ko
Institute of Information Science, Academia Sinica
Taiwan
Wen Kokke
University of Edinburgh
Peter Lammich
The University of Manchester
Sarah Loos
Google
Alberto Momigliano
Università degli Studi di Milano
Magnus O. Myreen
Chalmers University of Technology
Michael Norrish
Australian National University
Australia
Paige Randall North
Utrecht University
Christine Paulin-Mohring
Université Paris-Saclay
Tahina Ramananandro
Microsoft Research
United States
Philipp Ruemmer
University of Regensburg and Uppsala University
Germany
Bas Spitters
Aarhus University
Denmark
Yong Kiam Tan
Institute for Infocomm Research, A*STAR
Enrico Tassi
INRIA
France
Alwen Tiu
The Australian National University
Jean-Baptiste Tristan
Amazon Web Services
United States
Théo Winterhalter
INRIA Saclay
France
Vadim Zaliva
University of Cambridge, UK
United States
x
Sat 21 Dec 12:54