Program - POPL 2026

Detailed Table Session Timeline Detailed Timeline

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, ParisSelect other time zone

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 programSpecify 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

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	18:00	30	19:00	30	20:00	30	21:00	30
Halle 1				POPL Catering Break				POPL Catering Lunch						POPL Catering Break
Horizons	Dafny Keynote				Dafny Development of Auto-Active Verifiers						Dafny Applications and Lessons Learned				Dafny LLMs in Auto-Active Verification
Salle 12	Tutorials Creusot: Formal verification of Rust programs				Tutorials Creusot: Formal verification of Rust programs						Tutorials Verifying Probabilistic Programs Using Separation Logic				Tutorials Verifying Probabilistic Programs Using Separation Logic
Salle 13	LAFI First Session				LAFI Second Session						LAFI Third Session				LAFI Fourth Session
Salle 14	Tutorials BINSEC: Adapting Symbolic Execution for Binary-level Security				Tutorials BINSEC: Adapting Symbolic Execution for Binary-level Security						Tutorials Discrete and continuous models for concurrent systems				Tutorials Discrete and continuous models for concurrent systems
Salle 19	PriSC Keynote		PriSC Information Flow Control		PriSC Secure Compilation & Verification						PriSC Timing Side Channels				PriSC Hardware Security			PriSC Lightning Talks

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
Belvédère	CPP Keynote 1 and Paper 1				CPP Formalized mathematics							CPP Proof assistants				CPP Compilers
Halle 1				POPL Catering Break				POPL Catering Lunch							POPL Catering Break
Horizons	VMCAI Analysis 1				VMCAI Analysis 2							VMCAI Artificial Inteligence				VMCAI Models 1			VMCAI Award Ceremony and Miscellaneous
Salle 12	PADL PADL Keynote (Michael Hanus)				PADL PADL M2							PADL PADL M3				PADL PADL M4
Salle 13	TPSA				TPSA Session 1							TPSA Session 2				TPSA Session 3
Salle 14	PLanQC Session 1				PLanQC Session 2						PLanQC Session 3					PLanQC Session 4
Salle 19												Tutorials A Guided Tour through Oxidized OCaml				Tutorials A Guided Tour through Oxidized OCaml
Salle 20	Tutorials Syntactically and Semantically Constraining LLMs				Tutorials Syntactically and Semantically Constraining LLMs							Tutorials Veil: Automated and Interactive Verification of Transition Systems				Tutorials Veil: Automated and Interactive Verification of Transition Systems

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	18:00	30	19:00	30	20:00	30	21:00	30
Belvédère	CPP Keynote 2 and Paper 2				CPP Metatheory						CPP Program verification				CPP Separation logic
Halle 1				POPL Catering Break				POPL Catering Lunch						POPL Catering Break				POPL Jane Street Game Night
Horizons	VMCAI Analysis 3				VMCAI Solvers						VMCAI Models 2				VMCAI Quantum and Probabilistic Verification
Salle 12	PADL PADL Keynote (Dale Miller)				PADL PADL T2						PADL				PADL
Salle 13	RTFM Session 1				RTFM Session 2						RTFM Session 3				RTFM Session 4
Salle 14	Tutorials Analyzing Shell Scripts				Tutorials Analyzing Shell Scripts						Tutorials Is Program Synthesis Soluble in Large Language Models?				Tutorials Is Program Synthesis Soluble in Large Language Models?
Salle 19	PEPM Types and logics				PEPM Semantics and applications						PEPM Keynote				PEPM Staging and effect handlers
Salle 20	PLMW @ POPL Session 1				PLMW @ POPL Session 2						PLMW @ POPL Session 3				PLMW @ POPL Session 4

Wed 14 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change


Room	8:00	30		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	18:00	30	19:00	30	20:00	30	21:00	30
Dortoirs				POPL Keynote			POPL Program Analysis										POPL Quantum 1						POPL Decision Procedures
Halle 0						POPL Catering Break															POPL Catering Break					POPL POPL Networking Reception Student Research Competition SRC Poster Session 17:30 - 19:30
Halle 1												POPL Catering Lunch POPL Catering Mentoring Lunch 12:15 - 14:00
Kraz restaurant															POPL Women @ POPL Dinner
La Halle						POPL					POPL										POPL
Nef			POPL Opening Day	POPL Keynote			POPL Functional Programming										POPL Types 1						POPL Synthesis 1
Réfectoire				POPL Keynote			POPL Automata 1										POPL Concurrency: Models						POPL Machine Learning
Salle 9												PLMW @ POPL PLMW Steering Committee Meeting

Thu 15 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	18:00	30	19:00	30	20:00	30	21:00	30
Dortoirs					Student Research Competition SRC Talks								POPL Category Theory							POPL Synthesis 2
Halle 0			POPL Catering Break			POPL Catering Break												POPL Catering Break
Halle 1									POPL Catering Lunch
La Halle									POPL									POPL						POPL
Monsieur Arthur restaurant														POPL POPL PC and SC Dinner
Nef		POPL Jacobins Convent and its History			POPL Concurrency: Testing and Verification								POPL Proof Assistants							POPL Verified Compilation		POPL PC Chair's Report and Business Meeting
Rennes Tourist Office	POPL Tour of the Historic City Center
Réfectoire					POPL Separation Logic								POPL Program Logics and Semantic Frameworks							POPL Security and Privacy
Salle 14										POPL Catering LGBTQ+ Lunch
Salle 9									POPL POPL Steering Committee Meeting

Fri 16 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
Dortoirs	Student Research Competition + POPL Keynote			POPL Specification and Verification Methods									POPL Monads and Effects						POPL Types 3
Halle 0			POPL Catering Break														POPL Catering Break
Halle 1									POPL Catering Lunch
La Halle			POPL					POPL									POPL
Nef	Student Research Competition + POPL Keynote			POPL Concurrency: Types, Logics, and Libraries									POPL Probabilistic Programming						POPL Automata 2
Réfectoire	Student Research Competition + POPL Keynote			POPL Types 2									POPL Proof Assistants 2						POPL Quantum 2
Salle 14										POPL Catering URM Lunch

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
Halle 1				POPL Catering Break				POPL Catering Lunch						POPL Catering Break
Salle 13	WITS First Session				WITS Session 2						WITS Session 3				WITS Session 4
Salle 14	RocqPL Keynote				RocqPL Rocq Developer Session and Mechanized Metatheory in Rocq						RocqPL Rocq Enhancements and Extensions				RocqPL Certified Programs and Proofs in Rocq
Salle 19	GiacoFest Opening and Keynote				GiacoFest Short Talks						GiacoFest				GiacoFest

POPL 2026 Program

Switch Program View

Program Display Configuration

Sun 11 JanDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

POPL Catering

POPL Catering

POPL Catering

Dafny

Dafny

Dafny

Dafny

Tutorials

Tutorials

Tutorials

Tutorials

LAFI

LAFI

LAFI

LAFI

Tutorials

Tutorials

Tutorials

Tutorials

PriSC

PriSC

PriSC

PriSC

PriSC

PriSC

Mon 12 JanDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

CPP

CPP

CPP

CPP

POPL Catering

POPL Catering

POPL Catering

VMCAI

VMCAI

VMCAI

VMCAI

VMCAI

PADL

PADL

PADL

PADL

TPSA

TPSA

TPSA

TPSA

PLanQC

PLanQC

PLanQC

PLanQC

Tutorials

Tutorials

Tutorials

Tutorials

Tutorials

Tutorials

Tue 13 JanDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

CPP

CPP

CPP

CPP

POPL Catering

POPL Catering

POPL Catering

POPL

VMCAI

VMCAI

VMCAI

VMCAI

PADL

PADL

PADL

PADL

RTFM

RTFM

RTFM

Sun 11 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Mon 12 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Tue 13 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Wed 14 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Thu 15 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Fri 16 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change