POPL 2026
Sun 11 - Sat 17 January 2026
Rennes, France
Toggle navigation
Attending
Venue: Le Couvent des Jacobins
Code of Conduct
Accomodation
Tracks
POPL 2026
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
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
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
Dafny
Auto-Active Program Verification
Keynote Speaker
Program Committee
Program Committee Chairs
Steering Committee Chairs
LAFI
Languages for Inference
Organizing Committee
Program Committee
PEPM
Partial Evaluation and Program Manipulation
Organizing Committee
Program Committee
PLanQC
Programming Quantum Computers
Program Committee
Organizing Committee
PriSC
Principles of Secure Compilation
Program Committee
Steering Committee
RocqPL
Rocq for Programming Languages
Organizing Committee
Program Committee
TPSA
Theory and Practice of Static Analysis
Organizing Committee
Program Committee
WITS
Implementation of Type Systems
Program Committee
Co-hosted Symposia
PADL
Practical Aspects of Declarative Languages
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
) /
PADL 2026 (
series
) /
PADL 2026: The 28th International Symposium on Practical Aspects of Declarative Languages
/
Program Committee
PADL
Ozgur Akgun
University of St Andrews, St Andrews, UK
United Kingdom
Patrick Bahr
IT University of Copenhagen
Denmark
Marcello Balduccini
Saint Joseph's University, USA
Aaron Bembenek
University of Melbourne
Australia
Clara Benac Earle
Universidad Politécnica de Madrid
Spain
Malgorzata Biernacka
University of Wrocław
William E. Byrd
University of Alabama at Birmingham
United States
Laura M. Castro
University of A Coruña
Spain
Jesper Cockx
Delft University of Technology
Netherlands
Youyou Cong
Institute of Science Tokyo
Japan
Esra Erdem
Sabanci University
Turkey
Matthew Flatt
University of Utah
United States
Simon Fowler
University of Glasgow
United Kingdom
Martin Gebser
University of Klagenfurt, Austria
Austria
Gopal Gupta
Michael Hanus
Kiel University
Germany
Daniela Inclezan
Miami University, USA
Yusuf Izmirlioglu
United Kingdom
Michael Leuschel
University of Düsseldorf
Y. Annie Liu
Stony Brook University
United States
Giuseppe Mazzotta
University of Calabria
Italy
Alexandra Mendes
Faculty of Engineering, University of Porto & INESC TEC
Portugal
José Morales
IMDEA Software Institute
Spain
Magnus O. Myreen
Chalmers University of Technology
Enrico Pontelli
Mukund Raghothaman
University of Southern California
United States
Zeynep G. Saribatur
TU Wien
Austria
Tom Schrijvers
KU Leuven
Belgium
Paul Tarau
University of North Texas
United States
Joost Vennekens
KU Leuven
Johannes Wallner
Graz University of Technology
Austria
Sam Westrick
New York University
United States
x
Sun 21 Sep 05:22