ECOOP 2026 (series) /
ECOOP Academy
The ECOOP 2026 Academy is a summer school which aims to encourage graduate students and senior undergraduate students to pursue careers in research on topics related to the conference. The Academy brings together leading researchers in programming languages, object-orientation, software testing, analysis, and teaching from academia and industry to provide technical sessions on important research and on the skills needed for a research career.
The Academy also aims to engage students in a process of imagining how they might contribute to our research community. We especially encourage women and under-represented minority students to attend. Consider applying for the Student Volunteer program, which offers travel and attendance support grants by ECOOP and AITO.
Note also that there are several other tracks focused on students at ECOOP 2026, in particular the Student Research Competition and the Doctoral Symposium. Please check out these opportunities to maximise your ECOOP 2026 experience!
Invited Speakers
The challenge of data sharing while respecting privacy
Alejandro Russo
Programming Systems, or What Programming Language Research Cannot See
Tomas Petricek
Taming the Object Graph: What Types Can Guarantee
Sophia Drossopoulou
Can WebAssembly Be the Universal Software Substrate?
Ben L. Titzer
Safe Autonomous Agents via Shielding
Bettina Könighofer
Modelling, Verifying & Implementing database backends
Marc Shapiro
Getting Started with Quantum Software Engineering
Shaukat Ali
Benchmarking on Modern Hardware: Techniques for Performance Comparisons from Day-To-Day Experimenting to Paper Writing
Stefan Marr
Formal Methods Meet Legal Implementations
Raphaël Monat
Dates
Plenary
Wed 1 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
Wed 1 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change
08:30 - 17:00 | |||
08:30 8h30mBreak | 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 | |||
09:15 75mKeynote | Building trust: a journey from mechanized semantics to verified compilation and beyondKeynote Speaker Technical Papers Sandrine Blazy University of Rennes | ||
11:00 - 12:30 | ECOOP Academy Lecture 1ECOOP Academy at I.2.02 Chair(s): Elisa Gonzalez Boix Vrije Universiteit Brussel | ||
11:00 90mTalk | Programming Systems, or What Programming Language Research Cannot See ECOOP Academy Tomas Petricek Charles University | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:30 | |||
14:00 90mTalk | Getting Started with Quantum Software Engineering ECOOP Academy Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University | ||
16:00 - 17:30 | ECOOP Academy Lecture 3ECOOP Academy at I.2.02 Chair(s): Elisa Gonzalez Boix Vrije Universiteit Brussel | ||
16:00 90mTalk | Can WebAssembly Be the Universal Software Substrate? ECOOP Academy Ben L. Titzer Carnegie Mellon University File Attached | ||
18:30 - 20:30 | |||
18:30 2hSocial Event | Conference Reception Social Events | ||
Thu 2 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
Thu 2 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change
08:30 - 17:00 | |||
08:30 8h30mBreak | Coffee available throughout the day Catering | ||
09:00 - 10:30 | |||
09:00 90mKeynote | 15 Years of Viper: Building and Evolving a Verification InfrastructureAITO Dahl-Nygaard Senior Prize Awards Peter Müller ETH Zurich | ||
11:00 - 12:30 | |||
11:00 90mTalk | Safe Autonomous Agents via Shielding ECOOP Academy Bettina Könighofer Graz University of Technology | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:30 | ECOOP Academy Lecture 5ECOOP Academy at I.2.02 Chair(s): Elisa Gonzalez Boix Vrije Universiteit Brussel, Jens Nicolay Vrije Universiteit Brussel | ||
14:00 90mTalk | The challenge of data sharing while respecting privacy ECOOP Academy Alejandro Russo Chalmers University of Technology; University of Gothenburg | ||
16:00 - 17:30 | ECOOP Academy Lecture 6ECOOP Academy at I.2.02 Chair(s): Carla Ferreira NOVA University Lisbon, Elisa Gonzalez Boix Vrije Universiteit Brussel | ||
16:00 90mTalk | Modelling, Verifying & Implementing database backends ECOOP Academy Marc Shapiro Sorbonne-Université (LIP6) & Inria | ||
18:00 - 22:00 | |||
18:00 4hSocial Event | Conference Banquet Social Events | ||
Fri 3 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
Fri 3 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change
08:30 - 17:00 | |||
08:30 8h30mBreak | Coffee available throughout the day Catering | ||
09:00 - 10:30 | |||
09:00 90mKeynote | Language Design and Implementation Where Paradigms ConvergeAITO Dahl-Nygaard Junior Prize Awards Yizhou Zhang University of Waterloo | ||
11:00 - 12:30 | ECOOP Academy Lecture 7ECOOP Academy at I.2.02 Chair(s): Elisa Gonzalez Boix Vrije Universiteit Brussel | ||
11:00 90mTalk | Benchmarking on Modern Hardware: Techniques for Performance Comparisons from Day-To-Day Experimenting to Paper Writing ECOOP Academy Stefan Marr Johannes Kepler University Linz File Attached | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:30 | |||
14:00 90mTalk | Formal Methods Meet Legal Implementations ECOOP Academy Raphaël Monat Inria and University of Lille | ||
16:00 - 17:10 | ECOOP Academy Lecture 9ECOOP Academy at I.2.02 Chair(s): Jim Bauwens Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel | ||
16:00 70mTalk | Taming the Object Graph: What Types Can Guarantee ECOOP Academy Sophia Drossopoulou Imperial College London | ||