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
TBD - Sophia Drossopoulou
Sophia Drossopoulou
TBD - Tomas Petricek
Tomas Petricek
Can WebAssembly Be the Universal Software Substrate?
Ben L. Titzer
Safe Autonomous Agents via Shielding
Bettina Könighofer
Formal Methods Meet Legal Implementations
Raphaël Monat
Benchmarking on Modern Hardware: Techniques for Performance Comparisons from Day-To-Day Experimenting to Paper Writing
Stefan Marr
The challenge of data sharing while respecting privacy
Alejandro Russo
Getting Started with Quantum Software Engineering
Shaukat Ali
Modelling, Verifying & Implementing database backends
Marc Shapiro
This program is tentative and subject to change.
Wed 1 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
11:00 - 12:30 | |||
11:00 90mTalk | TBD - Tomas Petricek 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 | ||
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 | ||
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 | TBD - Sophia Drossopoulou ECOOP Academy Sophia Drossopoulou Imperial College London | ||
Invited Speakers
| Title | |
|---|---|
| Benchmarking on Modern Hardware: Techniques for Performance Comparisons from Day-To-Day Experimenting to Paper Writing ECOOP Academy | |
| Can WebAssembly Be the Universal Software Substrate? ECOOP Academy | |
| Formal Methods Meet Legal Implementations ECOOP Academy | |
| Getting Started with Quantum Software Engineering ECOOP Academy | |
| Modelling, Verifying & Implementing database backends ECOOP Academy | |
| Safe Autonomous Agents via Shielding ECOOP Academy | |
| TBD - Sophia Drossopoulou ECOOP Academy | |
| TBD - Tomas Petricek ECOOP Academy | |
| The challenge of data sharing while respecting privacy ECOOP Academy |
