ECOOP 2026
Mon 29 June - Fri 3 July 2026 Brussels, Belgium
ECOOP 2026 (series) /

Social EventsECOOP 2026

We organise three social events:

Workshop Reception

Reception for the workshop participants with a poster session.

Conference Reception

Conference reception at Food Market Gare Maritime

Voucher instructions:

This venue works with a voucher code that can be used when ordering food and drinks. Below is a short explanation:

  1. Choose your dishes and drinks via the QR codes
  2. Enter your code, after ordering and before the confirmation (*)
  3. Personal information needs to be filled in only once at checkout.
  4. Wait for your “personal notification device” to vibrate and get your orders at the different food kiosks.
  5. Enjoy and don’t hesitate to ask our team for help.

Gare Maritime Photo

Conference Banquet

Conference banquet at Albert Hall

Albert Hall Photo

Dates
Plenary

This program is tentative and subject to change.

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

17:30 - 18:30
Workshop ReceptionSocial Events at Atrium 0
17:30
60m
Social Event
Workshop Reception
Social Events

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

Wed 1 Jul

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

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

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