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
) /
PLanQC 2027 (
series
) /
Programming Languages for Quantum Computing
/
Program Committee
PLanQC
Aws Albarghouthi
University of Wisconsin-Madison
United States
Matthew Amy
Simon Fraser University
Canada
Robert Booth
University of Oxford
Yu-Fang Chen
Academia Sinica
Taiwan
Timon Gehr
ETH Zurich
Switzerland
Matthew P
Harrigan
Google Quantum AI
Yipeng Huang
Rutgers University
United States
Louis Lemonnier
University of Edinburgh
Ondřej Lengál
Brno University of Technology
Czechia
Liyi Li
Iowa State University
United States
Jennifer Paykin
University of Vermont
United States
Robert Rand
University of Chicago
United States
Mathys Rennela
Unitary Foundation
France
Neil Julien
Ross
Dalhousie University
Canada
Kartik Singhal
Quantinuum
United States
Kaitlin Smith
Northwestern University
Mathias Soeken
Microsoft
John
van de Wetering
University of Amsterdam
Netherlands
Lia Yeh
University of Oxford
Charles Yuan
PC Chair
University of Wisconsin-Madison
United States
Li Zhou
Institute of Software, Chinese Academy of Sciences
China
x
Sat 19 Sep 09:55