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
Organizing Committee
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
) /
RocqPL 2027 (
series
) /
RocqPL
/
Program Committee
RocqPL
Arthur
Azevedo de Amorim
Co-chair
Rochester Institute of Technology, USA
United States
Frédéric Besson
Co-chair
Benedikt Ahrens
Committee Member
Delft University of Technology
Netherlands
Lourdes del Carmen
González-Huesca
Committee Member
National Autonomous University of Mexico
Mexico
Ariel E.
Kellison
Committee Member
Code Metal
United States
Ike Mulder
Committee Member
Radboud University Nijmegen
Netherlands
Karl Palmskog
Committee Member
KTH Royal Institute of Technology
Sweden
Zoe Paraskevopoulou
Committee Member
National Technical University of Athens
Greece
Steve Zdancewic
Committee Member
University of Pennsylvania
United States
Beta Ziliani
Committee Member
FAMAF, UNC and Manas.Tech
Argentina
x
Wed 9 Sep 12:57