POPL 2026
Sun 11 - Sat 17 January 2026
Rennes, France
Toggle navigation
Attending
Venue: le Couvent des Jacobins
Supporting POPL
Registration
Requesting a Visa
Code of Conduct
Accomodation
Program
POPL Program
Your Program
Filter by Day
Sun 11 Jan
Mon 12 Jan
Tue 13 Jan
Wed 14 Jan
Thu 15 Jan
Fri 16 Jan
Sat 17 Jan
Tracks
POPL 2026
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
Dafny
Auto-Active Program Verification
GiacoFest
Roberto Giacobazzi Career Celebration
LAFI
Languages for Inference
PEPM
Partial Evaluation and Program Manipulation
PLanQC
Programming Quantum Computers
PLMW @ POPL
PL Mentoring Workshop
PriSC
Principles of Secure Compilation
RocqPL
Rocq for Programming Languages
RTFM
Read the Faculty Manual
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
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
Dafny
Auto-Active Program Verification
Keynote Speaker
Program Committee
Program Committee Chairs
Steering Committee Chairs
GiacoFest
Roberto Giacobazzi Career Celebration
Organizing Committee
LAFI
Languages for Inference
Organizing Committee
Program Committee
Steering Committee
PEPM
Partial Evaluation and Program Manipulation
Organizing Committee
Program Committee
PLanQC
Programming Quantum Computers
Program Committee
Organizing Committee
PLMW @ POPL
PL Mentoring Workshop
Organizing Committee
Speakers
Panelists
PriSC
Principles of Secure Compilation
Program Committee
Steering Committee
RocqPL
Rocq for Programming Languages
Organizing Committee
Program Committee
RTFM
Read the Faculty Manual
Organizing Committee
Speakers and Panelists
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
) /
le Couvent des Jacobins
/
Room information: Salle 13
Venue
le Couvent des Jacobins
Room name
Salle 13
Floor
1
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
This program is tentative and subject to change.
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
.
Use conference time zone: (GMT+01:00) Brussels, Copenhagen, Madrid, Paris
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-10:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-09:00) Alaska
(GMT-08:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-08:00) Pacific Time (US & Canada)
(GMT-07:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-06:00) Central Time (US & Canada)
(GMT-05:00) Eastern Time (US & Canada)
(GMT-05:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Tue 13 Jan
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
09:00 - 10:30
Session 1
RTFM
at
Salle 13
09:00
10m
Day opening
Welcome from the Organizers
RTFM
Amal Ahmed
Northeastern University, USA
,
Derek Dreyer
MPI-SWS
,
Ilya Sergey
National University of Singapore
09:10
40m
Talk
On long-term research vision
RTFM
Peter Sewell
University of Cambridge
09:50
40m
Talk
On transitioning from academia to industry
RTFM
David Pichardie
Meta
11:00 - 12:30
Session 2
RTFM
at
Salle 13
11:00
40m
Talk
On building a successful research group
RTFM
Stephanie Weirich
University of Pennsylvania
11:40
50m
Panel
Panel: Promotion and tenure
RTFM
M:
Derek Dreyer
MPI-SWS
14:00 - 15:30
Session 3
RTFM
at
Salle 13
14:00
40m
Talk
On grant writing
RTFM
Suresh Jagannathan
Purdue University
14:40
50m
Panel
Panel: Visibility and impact
RTFM
M:
Ilya Sergey
National University of Singapore
16:00 - 17:30
Session 4
RTFM
at
Salle 13
16:00
60m
Panel
Panel: Work-life balance, service, and teaching
RTFM
M:
Amal Ahmed
Northeastern University, USA
Sat 17 Jan
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
09:00 - 10:30
First Session
WITS
at
Salle 13
09:00
60m
Keynote
Lean4Lean: Mechanizing the Metatheory of Lean
WITS
Mario Carneiro
Chalmers University of Technology
10:00
22m
Talk
Observing Definitional Equality
WITS
András Kovács
University of Gothenburg and Chalmers University of Technology
11:00 - 12:30
Session 2
WITS
at
Salle 13
11:00
22m
Talk
Decoupling Resolution from Type Inference
WITS
Lionel Parreaux
Hong Kong University of Science and Technology
11:22
22m
Talk
First-Class Refinement Types in Scala
WITS
Matt Bovel
EPFL
11:45
22m
Talk
Types as grammars
WITS
Gil Silva
LASIGE, University of Lisbon
,
Bernardo Almeida
LASIGE, Faculty of Sciences, University of Lisbon
,
Diana Costa
LASIGE, University of Lisbon
,
Andreia Mordido
University of Lisbon
,
Diogo Poças
Instituto de Telecomunicações, University of Lisbon
,
Vasco T. Vasconcelos
LASIGE, University of Lisbon
12:07
22m
Talk
Omnidirectional type inference for ML
WITS
Alistair O'Brien
University of Cambridge
,
Didier Rémy
Inria
,
Gabriel Scherer
Université Paris Cité - Inria - CNRS
14:00 - 15:30
Session 3
WITS
at
Salle 13
14:00
22m
Talk
A Dependent Language with Type-Safe Program Extraction
WITS
Greg Brown
University of Edinburgh
14:22
22m
Talk
Code Generation via Meta-programming in Dependently Typed Proof Assistants
WITS
Mathis Bouverot-Dupuis
INRIA & École Normale Supérieure
,
Yannick Forster
INRIA
14:45
22m
Talk
Garbage Collection for Higher Inductive Types
WITS
Islam Talipov
HSE University
,
Pavel Sokolov
HSE University
15:07
22m
Talk
Type Inference Techniques: Implementation and Formalization, Better Together
WITS
Ningning Xie
University of Toronto
,
Andong Fan
University of Toronto
16:00 - 18:00
Session 4
WITS
at
Salle 13
16:00
40m
Keynote
Verifying Dependent Type-checkers
WITS
Meven Lennon-Bertrand
Inria – Université Paris Cité
17:00
22m
Talk
Type Narrowing the Hard Way
WITS
Ben Greenman
University of Utah
,
Hanwen Guo
University of Utah
17:23
2m
Other
Closing
WITS
Niki Vazou
IMDEA Software Institute
Sun 11 Jan
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Salle 13
LAFI
LAFI
LAFI
LAFI
Mon 12 Jan
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Salle 13
TPSA
TPSA
TPSA
TPSA
Tue 13 Jan
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Salle 13
RTFM
Session 1
RTFM
Session 2
RTFM
Session 3
RTFM
Session 4
Sat 17 Jan
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Salle 13
WITS
First Session
WITS
Session 2
WITS
Session 3
WITS
Session 4
Tue 13 Jan
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Salle 13
RTFM
Welcome from the Organizers
09:00 - 09:10
RTFM
On long-term research vision
09:10 - 09:50
RTFM
On transitioning from academia to industry
09:50 - 10:30
RTFM
On building a successful research group
11:00 - 11:40
RTFM
Panel: Promotion and tenure
11:40 - 12:30
RTFM
On grant writing
14:00 - 14:40
RTFM
Panel: Visibility and impact
14:40 - 15:30
RTFM
Panel: Work-life balance, service, and teaching
16:00 - 17:00
Sat 17 Jan
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Salle 13
WITS
Lean4Lean: Mechanizing the Metatheory of Lean
09:00 - 10:00
WITS
Observing Definitional Equality
10:00 - 10:22
WITS
Decoupling Resolution from Type Inference
11:00 - 11:22
WITS
First-Class Refinement Types in Scala
11:22 - 11:45
WITS
Types as grammars
11:45 - 12:07
WITS
Omnidirectional type inference for ML
12:07 - 12:30
WITS
A Dependent Language with Type-Safe Program Extraction
14:00 - 14:22
WITS
Code Generation via Meta-programming in Dependently Typed Proof Assistants
14:22 - 14:45
WITS
Garbage Collection for Higher Inductive Types
14:45 - 15:07
WITS
Type Inference Techniques: Implementation and Formalization, Better Tog ...
15:07 - 15:30
WITS
Verifying Dependent Type-checkers
16:00 - 16:40
WITS
Type Narrowing the Hard Way
17:00 - 17:22
WITS
Closing
17:23 - 17:25
x
Thu 11 Dec 15:12