POPL 2026
Sun 11 - Sat 17 January 2026
Rennes, France
Toggle navigation
Attending
Venue: Le Couvent des Jacobins
Tracks
POPL 2026
POPL
Tutorials
Workshops and Co-located Events
Co-hosted Conferences
CPP
Certified Programs and Proofs
VMCAI
Verification, Model Checking & Abstract Interpretation
Workshops
Dafny
Auto-Active Program Verification
LAFI
Languages for Inference
PEPM
Partial Evaluation and Program Manipulation
PLanQC
Programming Quantum Computers
PriSC
Principles of Secure Compilation
RocqPL
Rocq for Programming Languages
TPSA
Theory and Practice of Static Analysis
WITS
Implementation of Type Systems
Co-hosted Symposia
PADL
Practical Aspects of Declarative Languages
Organization
POPL 2026 Committees
Organizing Committee
AV Committee
Student Volunteers
Track Committees
Program Committee
Contributors
People Index
Co-hosted Conferences
CPP
Organizing Committee
Program Committee
Steering Committee
VMCAI
Organizing Committee
Steering Committee
Program Committee
Artifact Evaluation Committee
Workshops
Dafny
Program Committee
Program Committee Chairs
Steering Committee Chairs
LAFI
Organizing Committee
Program Committee
PEPM
Organizing Committee
Program Committee
PLanQC
Program Committee
Organizing Committee
PriSC
Program Committee
Steering Committee
RocqPL
Organizing Committee
Program Committee
TPSA
Organizing Committee
Program Committee
WITS
Program Committee
Co-hosted Symposia
PADL
Programme Chairs
Program Committee
Search
Series
Series
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 2026
(
series
) /
CPP 2026 (
series
) /
CPP 2026
/
Program Committee
CPP
Danel Ahman
University of Ljubljana
Slovenia
Cyril Cohen
Inria
Sander R. Dahmen
Vrije Universiteit Amsterdam
Thibault Dardinier
ETH Zurich
Switzerland
Catherine Dubois
ENSIIE Paris-Evry
Gabriel Ebner
Microsoft Research
United States
Asta Halkjær From
University of Copenhagen
Denmark
Aymeric Fromherz
Inria
France
Shilpi Goel
Centaur Technology, Inc.
Samuel Gruetter
ETH Zurich
Florent Hivert
Univ. Paris-Saclay, LISN, LMF, CNRS, INRIA
Chung-Kil Hur
Seoul National University
South Korea
Marie Kerjean
CNRS, Université Sorbonne Paris Nord
France
Angeliki Koutsoukou-Argyraki
Royal Holloway, University of London
United Kingdom
Peter Lefanu Lumsdaine
Stockholm University
Sweden
Filippo Alberto Edoardo Nuccio Mortarino Majno di Capriglio
Université Jean Monnet Saint-Étienne
France
Zoe Paraskevopoulou
Ethereum Foundation
Greece
Jean Pichon-Pharabod
Aarhus University
Denmark
Talia Ringer
University of Illinois at Urbana-Champaign
United States
Michael Sammler
Institute of Science and Technology Austria
Austria
Anna SlobodovaIntel
Centaur Technology
Nikhil Swamy
PC Chair
Microsoft Research
United States
Hira Taqdees Syeda
Amazon Web Services
Germany
Nicolas Tabareau
PC Chair
Inria
France
Sophie Tourret
Max Planck Institute for Informatics
Akihisa Yamada
AIST
Japan
Niels van der Weide
Radboud University
x
Sat 30 Aug 00:02