POPL 2026 - POPL Catering

Sun 11 - Sat 17 January 2026 Rennes, France

Lunch, Dinner, Coffee-breaks

This program is tentative and subject to change.

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

10:30 - 11:00	BreakPOPL Catering at Halle 1

10:30 30m Coffee break		Break POPL Catering

12:30 - 14:00	LunchPOPL Catering at Halle 1

12:30 90m Lunch		Lunch POPL Catering

15:30 - 16:00	BreakPOPL Catering at Halle 1

15:30 30m Coffee break		Break POPL Catering

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

10:30 - 11:00	BreakPOPL Catering at Halle 1

10:30 30m Coffee break		Break POPL Catering

12:30 - 14:00	LunchPOPL Catering at Halle 1

12:30 90m Lunch		Lunch POPL Catering

15:30 - 16:00	BreakPOPL Catering at Halle 1

15:30 30m Coffee break		Break POPL Catering

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

10:30 - 11:00	BreakPOPL Catering at Halle 1

10:30 30m Coffee break		Break POPL Catering

12:30 - 14:00	LunchPOPL Catering at Halle 1

12:30 90m Lunch		Lunch POPL Catering

15:30 - 16:00	BreakPOPL Catering at Halle 1

15:30 30m Coffee break		Break POPL Catering

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

10:30 - 11:00	BreakPOPL Catering at Halle 0

10:30 30m Coffee break		Break POPL Catering

12:30 - 14:00	LunchPOPL Catering at Halle 1

12:30 90m Lunch		Lunch POPL Catering

15:30 - 16:00	BreakPOPL Catering at Halle 0

15:30 30m Coffee break		Break POPL Catering

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

09:50 - 10:20	BreakPOPL Catering at Halle 0

09:50 30m Coffee break		Break POPL Catering

10:30 - 11:00	BreakPOPL Catering at Halle 0

10:30 30m Coffee break		Break POPL Catering

12:30 - 14:00	LunchPOPL Catering at Halle 1

12:30 90m Lunch		Lunch POPL Catering

12:30 - 14:00	LGBTQ+ LunchPOPL Catering at Salle 14

12:30 90m Lunch		LGBTQ+ Lunch POPL Catering

15:30 - 16:00	BreakPOPL Catering at Halle 0

15:30 30m Coffee break		Break POPL Catering

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

09:00 - 10:00	KeynoteStudent Research Competition / POPL at Nef

09:00 60m Keynote		Hardware-Software Contracts for High Assurance with Applications to Side-Channel Security POPL Caroline Trippel Stanford University

10:30 - 11:00	BreakPOPL Catering at Halle 0

10:30 30m Coffee break		Break POPL Catering

12:30 - 14:00	LunchPOPL Catering at Halle 1

12:30 90m Lunch		Lunch POPL Catering

12:30 - 14:00	URM LunchPOPL Catering at Salle 14

12:30 90m Lunch		URM Lunch POPL Catering

15:30 - 16:00	BreakPOPL Catering at Halle 0

15:30 30m Coffee break		Break POPL Catering

Sat 17 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

10:30 - 11:00	BreakPOPL Catering at Halle 1

10:30 30m Coffee break		Break POPL Catering

12:30 - 14:00	LunchPOPL Catering at Halle 1

12:30 90m Lunch		Lunch POPL Catering

15:30 - 16:00	BreakPOPL Catering at Halle 1

15:30 30m Coffee break		Break POPL Catering

Unscheduled Events

Not scheduled
Dinner

Dinner

POPL Catering

Events

	Title
	Break POPL Catering
	Dinner POPL Catering
	LGBTQ+ Lunch POPL Catering
	Lunch POPL Catering
	URM Lunch POPL Catering

POPL Catering

This program is tentative and subject to change.

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

Sat 17 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Unscheduled Events

Events

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

POPL Catering

This program is tentative and subject to change.

Program Display Configuration

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

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

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

Wed 14 JanDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Thu 15 JanDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Fri 16 JanDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Sat 17 JanDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Unscheduled Events

Events

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

Sat 17 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change