POPL 2027
Sun 10 - Sat 16 January 2027
Mexico City, Mexico
Toggle navigation
Attending
Venue: Hilton Mexico City Reforma
Supporting POPL
Code of Conduct
Tracks
POPL 2027
Artifact Evaluation
POPL
Student Research Competition
Tutorials
Workshops and Co-located Events
Co-hosted Conferences
CPP
Certified Programs and Proofs
VMCAI
Verification, Model Checking & Abstract Interpretation
Workshops
FPBT
Future of Property-based Testing
FRIDA
Formal Reasoning in Distributed Algorithms
LAFI
Languages for Inference
PAgE
Principles Of Agentic Engineering
PEPM
Partial Evaluation and Program Manipulation
PLanQC
Programming Languages for Quantum Computing
PLMW @ POPL
PL Mentoring Workshop
PriSC
Principles of Secure Compilation
RocqPL
Rocq for Programming Languages
TPSA
Theory and Practice of Static Analysis
WAVE
Workshop on Auto-active Verification
Organization
POPL 2027 Committees
Organizing Committee
AV Committee
Student Volunteers
Track Committees
Artifact Evaluation
POPL
Student Research Competition
Contributors
People Index
Co-hosted Conferences
CPP
Certified Programs and Proofs
Organizing Committee
Program Committee
Steering Committee
VMCAI
Verification, Model Checking & Abstract Interpretation
Organizing Committee
Steering Committee
Program Committee
Artifact Evaluation Committee
Workshops
FPBT
Future of Property-based Testing
Organizing Committee
Reviewers
FRIDA
Formal Reasoning in Distributed Algorithms
Organizing Committee
Program Committee
LAFI
Languages for Inference
Organizing Committee
Program Committee
PAgE
Principles Of Agentic Engineering
Organizing Committee
Program Committee
PEPM
Partial Evaluation and Program Manipulation
Organizing Committee
Program Committee
PLanQC
Programming Languages for Quantum Computing
Organizing Committee
Program Committee
PLMW @ POPL
PL Mentoring Workshop
Organizing Committee
Speakers
Panelists
PriSC
Principles of Secure Compilation
Program Committee
RocqPL
Rocq for Programming Languages
Program Committee
TPSA
Theory and Practice of Static Analysis
Organizing Committee
Program Committee
WAVE
Workshop on Auto-active Verification
Keynote Speaker
Program Committee
Program Committee Chairs
Steering Committee
Search
Series
Series
POPL 2027
POPL 2026
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 2027
(
series
) /
PriSC 2027 (
series
) /
PriSC 2027
/
Program Committee
PriSC
Ethan Cecchetti
Co-chair
University of Wisconsin-Madison
United States
Lesly-Ann Daniel
Co-chair
EURECOM
France
Frédéric Besson
Lionel Blatter
Max Planck Institute for Security and Privacy
Thomas Bourgeat
EPFL
Switzerland
Matteo Busi
University Ca' Foscari, Venice
Italy
Twain Byrnes
Carnegie Mellon University
United States
Arthur Correnson
CISPA Helmholtz Center for Information Security
Joshua Gancher
Northeastern University
United States
Anitha Gollamudi
University of Massachusetts Lowell
United States
Hannah Gommerstadt
Vassar College
Hemant Gouni
Carnegie Mellon University
United States
Evan Johnson
NYU
United States
Adrien Koutsos
INRIA Paris
Stella Lau
Swarn Priya
Virginia Tech
United States
Silei Ren
Cornell University
Rob Sison
UNSW Sydney
Australia
Milijana Surbatovich
University of Maryland at College Park
United States
Jérémy Thibault
EPFL
Daan Vanoverloop
KU Leuven
Pierre Wilke
CentraleSupélec
x
Sat 12 Sep 06:11