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
Getting Started with Quantum Software Engineering
Shaukat Ali
Can WebAssembly Be the Universal Software Substrate?
Ben L. Titzer
Programming Systems, or What Programming Language Research Cannot See
Tomas Petricek
Formal Methods Meet Legal Implementations
Raphaël Monat
Taming the Object Graph: What Types Can Guarantee
Sophia Drossopoulou
Benchmarking on Modern Hardware: Techniques for Performance Comparisons from Day-To-Day Experimenting to Paper Writing
Stefan Marr
Modelling, Verifying & Implementing database backends
Marc Shapiro
The challenge of data sharing while respecting privacy
Alejandro Russo
Safe Autonomous Agents via Shielding
Bettina Könighofer
This program is tentative and subject to change.
Wed 1 JulDisplayed 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 | |||
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 | |||
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 | |||
16:00 90mTalk | Can WebAssembly Be the Universal Software Substrate? ECOOP Academy Ben L. Titzer Carnegie Mellon University | ||
18:30 - 20:30 | |||
18:30 2hSocial Event | Conference Reception Social Events | ||
Thu 2 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
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 | |||
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 | |||
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
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 | |||
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 | ||
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 | |||
16:00 70mTalk | Taming the Object Graph: What Types Can Guarantee ECOOP Academy Sophia Drossopoulou Imperial College London | ||
