POPL 2025
Sun 19 - Sat 25 January 2025
Denver, Colorado, United States
Toggle navigation
Attending
Venue: Curtis Hotel Denver
Supporting POPL
Registration
Requesting a Visa
Code of Conduct
Tracks
POPL 2025
Artifact Evaluation
POPL
Student Research Competition
Student Volunteers
Tutorials
Workshops and Co-located Events
Co-hosted Conferences
CPP
VMCAI
Workshops
CoqPL
Dafny
LAFI
PEPM
PLMW @ POPL
PLanQC
PriSC
TPSA
WAW
WITS
Co-hosted Symposia
PADL
Organization
POPL 2025 Committees
Organizing Committee
AV Committee
Student Volunteers
Track Committees
Artifact Evaluation
POPL
Student Research Competition
Contributors
People Index
Co-hosted Conferences
CPP
Organizing Committee
Program Committee
Steering Committee
VMCAI
Organizing Committee
Program Committee
Artifact Evaluation Committee
Workshops
CoqPL
Program Committee
Dafny
Program Committee Chairs
Program Committee
Steering Committee Chairs
LAFI
Program Committee
Steering Committee
PEPM
Chairs
Programme Committee
PLMW @ POPL
Organizing Committee
Speakers
Panelists
PLanQC
Organizing Committee
Program Committee
PriSC
Program Committee
Steering Committee
TPSA
Organizing Committee
Program Committee
WAW
Organizers
Program 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 2025
(
series
) /
CPP 2025 (
series
) /
CPP 2025
/
Program Committee
CPP
Sandrine Blazy
PC Chair
University of Rennes
France
Nicolas Tabareau
PC Chair
Inria
France
Lennart Beringer
Princeton University
United States
Jasmin Blanchette
Vrije Universiteit Amsterdam
Netherlands
Sylvie Boldo
Inria and Université Paris-Saclay
France
Ana de Almeida Borges
Portugal
Mario Carneiro
CMU
United States
Johan Commelin
University of Utrecht
Tom de Jong
University of Nottingham
United Kingdom
Daniel Frumin
University of Groningen
Netherlands
Jason Gross
MIT CSAIL
United States
Cezary Kaliszyk
University of Melbourne
Australia
Jeehoon Kang
KAIST
South Korea
Ekaterina Komendantskaya
Heriot-Watt University and Southampton University
United Kingdom
Nicolai Kraus
University of Nottingham
United Kingdom
Robbert Krebbers
Radboud University Nijmegen
Netherlands
Ambroise Lafont
Ecole Polytechnique
France
Vincent Laporte
Inria
Robert Y. Lewis
Brown University
United States
William Mansky
University of Illinois Chicago
United States
Patrick Massot
Université Paris-Saclay
France
Micaela Mayero
LIPN, Université Paris 13
France
Yasuhiko Minamide
Tokyo Institute of Technology
Japan
Cesar Munoz
NASA
United States
Karl Palmskog
KTH Royal Institute of Technology
Sweden
Jennifer Paykin
Intel
United States
Clément Pit-Claudel
EPFL
Switzerland
Damien Pous
CNRS
Jonathan Protzenko
Microsoft Azure Research
United States
Joseph Tassarotti
New York University
United States
Laura Titolo
AMA/NASA LaRC
United States
Conrad Watt
Nanyang Technological University
Singapore
Stephanie Weirich
University of Pennsylvania
United States
Irene Yoon
France
x
Sat 14 Dec 04:52