Program - POPL 2026

Sun 11 - Sat 17 January 2026 Rennes, France

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

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

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
Belvédère	CPP Keynote 2 and Paper 2																								CPP Metatheory																																				CPP Program verification																								CPP Separation logic

CPP 2026 Program

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

CPP

CPP

CPP

CPP

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

CPP

CPP

CPP

CPP

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

CPP 2026 Program

Switch Program View

Program Display Configuration

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

CPP

CPP

CPP

CPP

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

CPP

CPP

CPP

CPP

Get Calendar (iCal)

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

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