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
Student Volunteers
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
WAW
WebAssembly Workshop
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
WAW
WebAssembly Workshop
Organizing Committee
Program 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
) /
PEPM 2027 (
series
) /
PEPM 2027
/
Program Committee
PEPM
Zena M.
Ariola
University of Oregon
United States
Casper Bach
University of Southern Denmark
Denmark
Oliver Bračevac
EPFL
Switzerland
William E.
Byrd
University of Alabama at Birmingham
United States
Jacques Carette
McMaster University
Canada
Matthew Flatt
University of Utah
United States
Ping Hou
University of Oxford
United Kingdom
Hsiang-Shang ‘Josh’
Ko
Institute of Information Science, Academia Sinica
Taiwan
Julia Lawall
Inria
France
Tiark Rompf
Purdue University
United States
Philip Wadler
IOG; University of Edinburgh
United Kingdom
Jeremy Yallop
University of Cambridge
United Kingdom
x
Wed 21 Oct 17:20