ECOOP 2026 - Catering

Mon 29 June - Fri 3 July 2026 Brussels, Belgium

Lunch, Dinner, Coffee-breaks

Time Zone

The program is currently displayed in (GMT+02:00) Brussels, Copenhagen, Madrid, Paris.

Use conference time zone: (GMT+02: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 29 Jun
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

08:30 - 17:00	Coffee available throughout the dayCatering at Coffee corner (Atrium 0)

08:30 8h30m Break		Coffee available throughout the day Catering

10:30 - 11:00	Coffee breakCatering at Atrium 0

10:30 30m Coffee break		Break Catering

12:30 - 14:00	LunchCatering at VUB Restaurant

12:30 90m Lunch		Lunch Catering

15:30 - 16:00	Coffee breakCatering at Atrium 0

15:30 30m Coffee break		Break Catering

	17:30 - 18:30	Poster session 1Posters at Atrium 0

17:30 - 18:30	Workshop ReceptionSocial Events at Atrium 0

17:30 60m Social Event		Workshop Reception Social Events

Tue 30 Jun
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

08:30 - 17:00	Coffee available throughout the dayCatering at Coffee corner (Atrium 0)

08:30 8h30m Break		Coffee available throughout the day Catering

10:30 - 11:00	Coffee breakCatering at Atrium 0

10:30 30m Coffee break		Break Catering

12:30 - 14:00	LunchCatering at VUB Restaurant

12:30 90m Lunch		Lunch Catering

15:30 - 16:00	Coffee breakCatering at Atrium 0

15:30 30m Coffee break		Break Catering

Wed 1 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

08:30 - 17:00	Coffee available throughout the dayCatering at Coffee corner (Atrium 0)

08:30 8h30m Break		Coffee available throughout the day Catering

	09:00 - 09:15	OpeningAwards / Technical Papers at I.2.03 Chair(s): Davide Ancona DIBRIS, University of Genova, Italy, Wolfgang De Meuter Vrije Universiteit Brussel

09:15 - 10:30	KeynoteAwards / Technical Papers at I.2.03 Chair(s): Robbert Krebbers Radboud University Nijmegen

09:15 75m Keynote		Building trust: a journey from mechanized semantics to verified compilation and beyondKeynote Speaker Technical Papers Sandrine Blazy University of Rennes

10:30 - 11:00	Coffee breakCatering at Atrium 0

10:30 30m Coffee break		Break Catering

12:30 - 14:00	LunchCatering at VUB Restaurant

12:30 90m Lunch		Lunch Catering

15:30 - 16:00	Coffee breakCatering at Atrium 0

15:30 30m Coffee break		Break Catering

18:30 - 20:30	Conference ReceptionSocial Events at Food Market Gare Maritime

18:30 2h Social Event		Conference Reception Social Events

Thu 2 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

08:30 - 17:00	Coffee available throughout the dayCatering at Coffee corner (Atrium 0)

08:30 8h30m Break		Coffee available throughout the day Catering

09:00 - 10:30	Keynote: Dahl-Nygaard Senior PrizeTechnical Papers / Awards at I.2.03

09:00 90m Keynote		15 Years of Viper: Building and Evolving a Verification InfrastructureAITO Dahl-Nygaard Senior Prize Awards Peter Müller ETH Zurich

10:30 - 11:00	Coffee breakCatering at Atrium 0

10:30 30m Coffee break		Break Catering

12:30 - 14:00	LunchCatering at VUB Restaurant

12:30 90m Lunch		Lunch Catering

15:30 - 16:00	Coffee breakCatering at Atrium 0

15:30 30m Coffee break		Break Catering

18:00 - 22:00	Conference BanquetSocial Events at Albert Hall

18:00 4h Social Event		Conference Banquet Social Events

Fri 3 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

08:30 - 17:00	Coffee available throughout the dayCatering at Coffee corner (Atrium 0)

08:30 8h30m Break		Coffee available throughout the day Catering

09:00 - 10:30	Keynote: Dahl-Nygaard Junior PrizeTechnical Papers / Awards at I.2.03

09:00 90m Keynote		Language Design and Implementation Where Paradigms ConvergeAITO Dahl-Nygaard Junior Prize Awards Yizhou Zhang University of Waterloo

10:30 - 11:00	Coffee breakCatering at Atrium 0

10:30 30m Coffee break		Break Catering

12:30 - 14:00	LunchCatering at VUB Restaurant

12:30 90m Lunch		Lunch Catering

15:30 - 16:00	Coffee breakCatering at Atrium 0

15:30 30m Coffee break		Break Catering

Unscheduled Events

Not scheduled
Dinner

Dinner

Catering

Events

	Title
	Break Catering
	Dinner Catering
	Lunch Catering

CateringECOOP 2026

Mon 29 Jun
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Tue 30 Jun
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Wed 1 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Thu 2 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Fri 3 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Unscheduled Events

Events

Tracks

Co-hosted Conferences

Workshops

CateringECOOP 2026

Program Display Configuration

Mon 29 JunDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Tue 30 JunDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Wed 1 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Thu 2 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Fri 3 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Unscheduled Events

Events

Mon 29 Jun
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Tue 30 Jun
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Wed 1 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Thu 2 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Fri 3 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change