ISoLA 2024

International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece

About this conference

AISoLA
ISoLA
↑Sunday, 27.10
Room: Room 1
Time
Track
Session
06:30
Greet the Sun - 06:38
07:00
Breakfast
09:00
Rigorous Engineering of Collective Adaptive Systems
Large ensembles and Collective Dynamics
10:30
Coffee Break
11:00
Rigorous Engineering of Collective Adaptive Systems
Knowledge, Consciousness and Emergence
12:30
Lunch Break
14:30
Rigorous Engineering of Collective Adaptive Systems
Automated Reasoning for Better Interaction
16:00
Coffee Break
16:30
Rigorous Engineering of Collective Adaptive Systems
Modelling and Engineering Collective Adaptive Systems I
18:00
Reception
Room: Room 2
Time
Track
Session
06:30
Greet the Sun - 06:38
07:00
Breakfast
09:00
Automating Software Re-Engineering
Maintainable Tests
10:30
Coffee Break
11:00
Automating Software Re-Engineering
Trusted Distribution
12:30
Lunch Break
14:30
Automating Software Re-Engineering
Digital Twins
16:00
Coffee Break
16:30
Automating Software Re-Engineering
Discussion
18:00
Reception
Room: Room 3
Time
Track
Session
06:30
Greet the Sun - 06:38
07:00
Breakfast
09:00
X-by-Construction Meets AI
Session 1
10:30
Coffee Break
11:00
X-by-Construction Meets AI
Session 2
12:30
Lunch Break
14:30
X-by-Construction Meets AI
Session 3
16:00
Coffee Break
16:30
X-by-Construction Meets AI
Session 4
18:00
Reception
Room: Room 4
Time
Track
Session
06:30
Greet the Sun - 06:38
07:00
Breakfast
09:00
R@ISE: Low-Code/No-Code Plattform and Applications
Pillar 1: the R@ISE platform
10:30
Coffee Break
11:00
R@ISE: Low-Code/No-Code Plattform and Applications
Pillars 2 and 3: Application and Education
12:30
Lunch Break
14:30
Doctoral Symposium
Low Code/No Code
16:00
Coffee Break
16:30
Doctoral Symposium
Model-Driven Engineering
18:00
Reception
06:30
greet the sun - 06:38 " style="background-color: #fff1a0;">
06:30–07:00
Greet the Sun - 06:38
Global
07:00
07:00–09:00
Breakfast
Global
09:00
09:00–10:30
Large ensembles and Collective Dynamics
Rigorous Engineering of Collective Adaptive SystemsRoom 1Martin Wirsing, Rocco De Nicola, Stefan Jähnichen, Mirco Tribastone, Khalid Bourr, Lorenzo Bettini, Franzesco Tiezzi, Julia Klein, Tatjana Petrov, Giorgio Audrito, Ferruccio Damiani, Gianluca Torta
09:00–10:30
Maintainable Tests
Automating Software Re-EngineeringRoom 2Bernhard Beckert, Vitus Lüntzel, Ralf Reussner, Eric Sax, Alexander Weigl, Serge Demeyer, Coen De Roover, Johannes Härtel, Mutlu Beyazit, Sebastian Kingston, Violet Ka I Pun, Volker Stolz
09:00–10:30
Session 1
X-by-Construction Meets AIRoom 3A. Platzer
09:00–10:30
Pillar 1: the R@ISE platform
R@ISE: Low-Code/No-Code Plattform and ApplicationsRoom 4Margaria, Hinchey, Mitwalli, Teumert, Krumrey
10:30
10:30–11:00
Coffee Break
Global
11:00
11:00–12:30
Knowledge, Consciousness and Emergence
Rigorous Engineering of Collective Adaptive SystemsRoom 1Hennicker, Knapp, Martin Wirsing, Yifeng Chen, Jeff Sanders, Philipp Altmann, Julian Schönberger, Steffen Illum, Maximilian Zorn, Fabian Ritz, Tom Haider, Simon Burton, Thomas Gabor
11:00–12:30
Trusted Distribution
Automating Software Re-EngineeringRoom 2Jonas Becker-Kupczok, Paula Herber, Jonas Fernando, Adele Veschetti, Richard Bubel, Reiner Hähnle, Maximilian Gehring, Heiko Mantel
11:00–12:30
Session 2
X-by-Construction Meets AIRoom 3J. Marques-Silva, G. Belmonte, L. Bussi, V. Ciancia, D. Latella, M. Massink, B. Kodetzki, T. Bordis, M. Kirsten, I. Schaefer
11:00–12:30
Pillars 2 and 3: Application and Education
R@ISE: Low-Code/No-Code Plattform and ApplicationsRoom 4Brandon, Eanna Fennell, O'Brien, Margaria, Saay
12:30
12:30–14:30
Lunch Break
Global
14:30
14:30–16:00
Automated Reasoning for Better Interaction
Rigorous Engineering of Collective Adaptive SystemsRoom 1Ósk Gunnarsdóttir, Anna Ingólfsdóttir, Gaia Saveri, Laura Nenzi, Luca Bortolussi, Simone Silvetti, Jan Sürmeli, Sergen Yilmaz
14:30–16:00
Digital Twins
Automating Software Re-EngineeringRoom 2Serge Autexier, Paolo Bellavista, Andrea Garbugli, Hussein Marah, Moharram Challenger
14:30–16:00
Session 3
X-by-Construction Meets AIRoom 3B. Beckert, J. Klamroth, W. Pfeifer, P. Roper, S. Teuber, J. Wenzel, M.A. Kohl, S. Sterz, A. Schmidt, C. Fetzer, H. Hermanns, B. Maderbacher, F. Windisch, R. Bloem
14:30–16:00
Low Code/No Code
Doctoral SymposiumRoom 4Sven Jörges, Salim Saay, Steven Smyth, Amandeep Singh, Grzegorz Mocha, Colm Brandon, Sebastian Teumert
16:00
16:00–16:30
Coffee Break
Global
16:30
16:30–18:00
Modelling and Engineering Collective Adaptive Systems I
Rigorous Engineering of Collective Adaptive SystemsRoom 1Peter Fettke, Wolfgang Reisig, Uwe Aßmann, Christian Gutsche, AMichalrmin Töpfer, Danylo Khalyeyev, Tomas Bures, Petr Hnetynka, Frantisek Plasil
16:30–18:00
Discussion
Automating Software Re-EngineeringRoom 2Serge Demeyer, Reiner Hähnle, Heiko Mantel
16:30–18:00
Session 4
X-by-Construction Meets AIRoom 3R. Bloem, S. Chlup, D. Nickovic, C. Schmittner, M. Bozzano, A. Cimatti, M. Cristoforetti, A. Griggio, P. Svaizer, S. Tonetta
16:30–18:00
Model-Driven Engineering
Doctoral SymposiumRoom 4Sowelu Avanzo, Marco Krumrey, Daniel Sami Mitwalli, Sven Jörges, Salim Saay, Steven Smyth
18:00
18:00–20:00
Reception
Global
↑Monday, 28.10
Room: Room 1
Time
Track
Session
06:30
Greet the Sun - 06:39
07:00
Breakfast
09:00
Rigorous Engineering of Collective Adaptive Systems
Modelling and Engineering Collective Adaptive Systems II
10:30
Coffee Break
11:00
Rigorous Engineering of Collective Adaptive Systems
Analysing Collective Adaptive Systems I
12:30
Lunch Break
14:30
Rigorous Engineering of Collective Adaptive Systems
Analysing Collective Adaptive Systems II
16:00
Coffee Break
Room: Room 2
Time
Track
Session
06:30
Greet the Sun - 06:39
07:00
Breakfast
09:00
Formal methods for DIStributed COmputing in future RAILway systems
Session 1
10:30
Coffee Break
11:00
Formal methods for DIStributed COmputing in future RAILway systems
Session 2
12:30
Lunch Break
14:30
Formal methods for DIStributed COmputing in future RAILway systems
Session 3
16:00
Coffee Break
Room: Room 3
Time
Track
Session
06:30
Greet the Sun - 06:39
07:00
Breakfast
09:00
Digital Twin Engineering
Session 1
10:30
Coffee Break
11:00
Digital Twin Engineering
Session 2
12:30
Lunch Break
14:30
Digital Twin Engineering
Session 3
16:00
Coffee Break
16:30
Digital Twin Engineering
Session 4
06:30
greet the sun - 06:39 " style="background-color: #fff1a0;">
06:30–07:00
Greet the Sun - 06:39
Global
07:00
07:00–09:00
Breakfast
Global
09:00
09:00–10:30
Modelling and Engineering Collective Adaptive Systems II
Rigorous Engineering of Collective Adaptive SystemsRoom 1Kim Larsen, Daniele Toller, Max Tschaikowski, Mirco Tribastone, Andrea Vandin, Jaehun Lee, Kyungmin Bae, Peter Olveczky, Oliver Kosak, Philipp Kastenmüller, Constantin Wanninger, Wolfgang Reif
09:00–10:30
Session 1
Formal methods for DIStributed COmputing in future RAILway systemsRoom 2Cimatti, Khandaker, Kifetew, Leone, Prandi, Scaglione, Susi, Turboli, Limbrée, Haxthausen, Gori, Fantechi, Flammini, Marrone, Nardone, Sanwal, Seceleanu, Verde, Vittorini
09:00–10:30
Session 1
Digital Twin EngineeringRoom 3Peter Gorm Larsen, John Fitzgerald
10:30
10:30–11:00
Coffee Break
Global
11:00
11:00–12:30
Analysing Collective Adaptive Systems I
Rigorous Engineering of Collective Adaptive SystemsRoom 1Nicola Del Giudice, Michele Loreti, Michela Quadrini, Aniqa Rehman, Marco Maggesi, Cosimo Perini Brogi, Cinzia Bernadeschi, Giuseppe Lettieri, Federico Rossi
11:00–12:30
Session 2
Formal methods for DIStributed COmputing in future RAILway systemsRoom 2Lecomte, Collart-Dutilleul, Basile, ter Beek, Carnevali, Chiaradonna, Di Giandomenico, Fantechi, Gori
11:00–12:30
Session 2
Digital Twin EngineeringRoom 3
12:30
12:30–14:30
Lunch Break
Global
14:30
14:30–16:00
Analysing Collective Adaptive Systems II
Rigorous Engineering of Collective Adaptive SystemsRoom 1Yehia Abd Alrahman, Shaun Azzopardi, Luca Di Stefano, Nir Piterman, Michele Pasqua, Marino Miculan, Martin Wirsing, Rocco De Nicola, Stefan Jähnichen, Mirco Tribastone
14:30–16:00
Session 3
Formal methods for DIStributed COmputing in future RAILway systemsRoom 2
14:30–16:00
Session 3
Digital Twin EngineeringRoom 3
16:00
16:00–16:30
Coffee Break
Global
16:30
16:30–18:00
Session 4
Digital Twin EngineeringRoom 3
↑Tuesday, 29.10
Room: Room 1
Time
Track
Session
06:30
Greet the Sun - 06:40
07:00
Breakfast
09:00
Rigorous Engineering of Collective Adaptive Systems Colloquium
Opening and Domain-specific Formal Languages
10:30
Coffee Break
11:00
Rigorous Engineering of Collective Adaptive Systems Colloquium
Behavioral Relations
12:30
Lunch Break
14:30
Rigorous Engineering of Collective Adaptive Systems Colloquium
Analysing Quantum Processes and Collective Adaptive Systems
16:00
Coffee Break
16:30
Rigorous Engineering of Collective Adaptive Systems Colloquium
Probability & Inference
20:00
Main Bar: The last round of cards
Main Bar: The last round of cards
Room: Room 2
Time
Track
Session
06:30
Greet the Sun - 06:40
07:00
Breakfast
09:00
Bridging gaps between program specification paradigms
Session 1
10:30
Coffee Break
11:00
Bridging gaps between program specification paradigms
Session 2
12:30
Lunch Break
14:30
Bridging gaps between program specification paradigms
Session 3
16:00
Coffee Break
16:30
Bridging gaps between program specification paradigms
Session 4
20:00
Room: Room 1
Room: Room 3
Time
Track
Session
06:30
Greet the Sun - 06:40
07:00
Breakfast
09:00
Digital Humanities
Session 1
10:30
Coffee Break
11:00
Digital Humanities
Session 2
12:30
Lunch Break
16:00
Coffee Break
20:00
Room: Room 1
06:30
greet the sun - 06:40 " style="background-color: #fff1a0;">
06:30–07:00
Greet the Sun - 06:40
Global
07:00
07:00–09:00
Breakfast
Global
09:00
09:00–10:30
Opening and Domain-specific Formal Languages
Rigorous Engineering of Collective Adaptive Systems ColloquiumRoom 1Martin Wirsing, Mirco Tribastone, Lorenzo Bettini, Gian Luigi Ferrari, Michele Loreti, Rosario Pugliese, Franzesco Tiezzi, Emilio Tuosto, Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Federico Rossi, Andrea Vandin
09:00–10:30
Session 1
Bridging gaps between program specification paradigmsRoom 2George Granberry, Wolfgang Ahrendt, Moa Johansson, Christian Colombo, Gordon Pace, Gerardo Schneider, Carlo A. Furia, Abhishek Tiwari
09:00–10:30
Session 1
Digital HumanitiesRoom 3Tim Riswick, Paulo Teodoro de Matos, Diogo Paiva, João Rocha Gomes
10:30
10:30–11:00
Coffee Break
Global
11:00
11:00–12:30
Behavioral Relations
Rigorous Engineering of Collective Adaptive Systems ColloquiumRoom 1Davide Sangiorgi, Michele Boreale, Luisa Collodi, Roberto Bruni
11:00–12:30
Session 2
Bridging gaps between program specification paradigmsRoom 2Gidon Ernst, Mattias Ulbrich, Wolfram Pfeifer, Marco Scaletta, Reiner Hähnle, Pauline Blohm, Martin Fränzle, Paula Herber, Paul Kröger, Anne Remke
11:00–12:30
Session 2
Digital HumanitiesRoom 3Stefano Ferilli, Marco Krumrey, Daniel Sami Mitwalli, Sebastian Teumert, Tiziana Margaria
12:30
12:30–14:30
Lunch Break
Global
14:30
14:30–16:00
Analysing Quantum Processes and Collective Adaptive Systems
Rigorous Engineering of Collective Adaptive Systems ColloquiumRoom 1Mohammad Reza Mousavi, Kirstin Peters, Anna Schmitt, Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi, Luca Di Stefano, Omar Inverso
14:30–16:00
Session 3
Bridging gaps between program specification paradigmsRoom 2Jesper Amilon, Dilian Gurov, Lorenzo Cappelletti, Roberto Cavada, Alessandro Cimatti, Marco Keppel, Romain Pascaul, Bernhard Beckert, Mattias Ulbrich, Matthias Kirsten, Wolfram Pfeifer
16:00
16:00–16:30
Coffee Break
Global
16:30
16:30–18:00
Probability & Inference
Rigorous Engineering of Collective Adaptive Systems ColloquiumRoom 1Emilio Incerto, Catia Trubiani, Francesco Randone, Romina Doz, Francesca Cairoli, Luca Bortolussi, ter Beek, Fantechi, Stefania Gnesi, Gabriele Lenzini, Marinella Petrocchi, Marco Bernardo
16:30–18:00
Session 4
Bridging gaps between program specification paradigmsRoom 2Tiago Soares, Ion Chirica, Mário Pereira, Nikolai Kosmatov, Pascale Le Gall, Virgile Robles, Virgile Prevosto, Cristina Seceleanu, Predrag Filipovikj, Nesredin Mahmud, Guillermo Rodriguez-Navas, Oscar Ljungkrantz, Henrik Lönn
20:00
20:00–23:00
Main Bar: The last round of cards
Room 1Global
↑Wednesday, 30.10
Room: Room 1
Time
Track
Session
06:30
Greet the Sun - 06:40
07:00
Breakfast
09:00
Keynote: Christel Baier
Verification Meets Causality
Keynote: Christel Baier
Verification Meets Causality
10:00
Holger Hermanns: AI Act
Holger Hermanns: AI Act
10:30
Coffee Break
11:00
Responsible and Trusted AI: An Interdisciplinary Perspective
General Issues I
13:00
Lunch Break
15:00
Outing
Room: Room 2
Time
Track
Session
06:30
Greet the Sun - 06:40
07:00
Breakfast
09:00
Room: Room 1
10:30
Coffee Break
11:00
Rigorous Engineering of Collective Adaptive Systems Colloquium
Collective Adaptive and Multi-agent Systems
12:30
Lunch Break
15:00
Outing
Room: Room 3
Time
Track
Session
06:30
Greet the Sun - 06:40
07:00
Breakfast
09:00
Room: Room 1
10:30
Coffee Break
11:00
Scalable Verification and Validation of Concurrent and Distributed Systems
Session 1
12:30
Lunch Break
15:00
Outing
Room: Room 4
Time
Track
Session
06:30
Greet the Sun - 06:40
07:00
Breakfast
09:00
Room: Room 1
10:30
Coffee Break
11:00
Doctoral Symposium
Human Interaction
12:30
Lunch Break
15:00
Outing
06:30
greet the sun - 06:40 " style="background-color: #fff1a0;">
06:30–07:00
Greet the Sun - 06:40
Global
07:00
07:00–09:00
Breakfast
Global
09:00
09:00–10:00
Keynote: Christel Baier
Verification Meets Causality
Room 1GlobalChristel Baier
10:00
10:00–10:30
Holger Hermanns: AI Act
Room 1
10:30
10:30–11:00
Coffee Break
Global
11:00
11:00–13:00
General Issues I
Responsible and Trusted AI: An Interdisciplinary PerspectiveRoom 1Astrid Schomäcker, Luca Deck, Hanwei Zhang, Lena Kästner, Timo Speith, Thorsten Helfer, Daniele Chiffi, Giacomo Zanotti, Viola Schiaffonati, Andreas Sesing-Wagenpfeil, Paschal Ukpaka
11:00–12:30
Collective Adaptive and Multi-agent Systems
Rigorous Engineering of Collective Adaptive Systems ColloquiumRoom 2Roberto Casaluce, Max Tschaikowski, Andrea Vandin, Cosimo Perini Brogi, Marco Maggesi, Martina De Sanctis, Paola Inverardi
11:00–12:30
Session 1
Scalable Verification and Validation of Concurrent and Distributed SystemsRoom 3Marie Farrell, Matthew Luckcuck, Rosemary Monahan, Conor Reynolds, Oisin Sheridan, Karem Sakallah, Yun-Rong Luo, Aman Goel
11:00–12:30
Human Interaction
Doctoral SymposiumRoom 4Jonas Schuermann, Sonja Niemann, Ursula Coester, Sven Jörges, Salim Saay, Steven Smyth
12:30
12:30–15:00
Lunch Break
Global
15:00
15:00–20:00
Outing
Global
↑Thursday, 31.10
Room: Room 1
Time
Track
Session
06:30
Greet the Sun - 06:41
07:00
Breakfast
09:00
Keynote: Tom Henzinger
Neural Certificates
Keynote: Tom Henzinger
Neural Certificates
10:00
Panel
Panel
10:30
Coffee Break
11:00
Responsible and Trusted AI: An Interdisciplinary Perspective
General Issues II
13:00
Lunch Break
14:30
Scalable Verification and Validation of Concurrent and Distributed Systems
Session 2
16:00
Coffee Break
16:30
Scalable Verification and Validation of Concurrent and Distributed Systems
Session 3
Room: Room 2
Time
Track
Session
06:30
Greet the Sun - 06:41
07:00
Breakfast
09:00
Room: Room 1
10:30
Coffee Break
11:00
Rigorous Engineering of Collective Adaptive Systems Colloquium
Programing and Analysing Collective Adaptive and Multi-agent Systems
12:30
Lunch Break
14:30
Rigorous Engineering of Collective Adaptive Systems Colloquium
Service Orientation and Code Generation
16:00
Coffee Break
16:30
Rigorous Engineering of Collective Adaptive Systems Colloquium
Security & Safety and Closing
Room: Room 3
Time
Track
Session
06:30
Greet the Sun - 06:41
07:00
Breakfast
09:00
Room: Room 1
10:30
Coffee Break
11:00
AI Assisted Programming
Session 1
12:30
Lunch Break
14:30
AI Assisted Programming
Session 2
16:00
Coffee Break
16:30
AI Assisted Programming
Session 3
Room: Room 4
Time
Track
Session
06:30
Greet the Sun - 06:41
07:00
Breakfast
09:00
Room: Room 1
10:30
Coffee Break
11:00
Verification and Learning for Assured Autonomy
Control/Robotics/CPS I
12:30
Lunch Break
14:30
Verification and Learning for Assured Autonomy
ML/AI I
16:00
Coffee Break
16:30
Verification and Learning for Assured Autonomy
FM/Probabilistic Programming I
Room: Room 5
Time
Track
Session
06:30
Greet the Sun - 06:41
07:00
Breakfast
09:00
Room: Room 1
10:30
Coffee Break
11:00
Type- and Logic-Based Methods for System Specification, Synthesis and Analysis
Session 1
12:30
Lunch Break
14:30
Type- and Logic-Based Methods for System Specification, Synthesis and Analysis
Session 2
16:00
Coffee Break
16:30
Type- and Logic-Based Methods for System Specification, Synthesis and Analysis
Session 3
06:30
greet the sun - 06:41 " style="background-color: #fff1a0;">
06:30–07:00
Greet the Sun - 06:41
Global
07:00
07:00–09:00
Breakfast
Global
09:00
09:00–10:00
Keynote: Tom Henzinger
Neural Certificates
Room 1GlobalTom Henzinger
10:00
10:00–10:30
Panel
Room 1
10:30
10:30–11:00
Coffee Break
Global
11:00
11:00–13:00
General Issues II
Responsible and Trusted AI: An Interdisciplinary PerspectiveRoom 1Lena Kästner, Herbert Zech, Johann Cordes, Larissa Schlicht, Holger Hermanns, Philipp Meinel, Anne Lauber-Rönsberg, Sarah Sterz, Hanwei Zhang, Markus Langer, Cedric Faas, Anna M. Feit
11:00–12:30
Programing and Analysing Collective Adaptive and Multi-agent Systems
Rigorous Engineering of Collective Adaptive Systems ColloquiumRoom 2Ezio Bartocci, Luca Aceto, Daniele Gorla, Stian Lybech, Anna Labella, Paolo Bottoni, Giuseppe Perelli, R. Each
11:00–12:30
Session 1
AI Assisted ProgrammingRoom 3Gerhard Stenzel, Kyrill Schmid, Michael Kölle, Philipp Altmann, Marian Lingsch-Rosenfeld, Maximilian Zorn, Tim Bücher, Thomas Gabor, Martin Wirsing, Lenz Belzner, Moez Ben Hajhmida, Edward A. Lee, Minal Suresh Patil, Gustav Ung, Mattias Nyberg
11:00–12:30
Control/Robotics/CPS I
Verification and Learning for Assured AutonomyRoom 4Houssam Abbas, Christian Schilling
11:00–12:30
Session 1
Type- and Logic-Based Methods for System Specification, Synthesis and AnalysisRoom 5Jakob Rehof, Andreas Podelski
12:30
12:30–14:30
Lunch Break
Global
14:30
14:30–16:00
Session 2
Scalable Verification and Validation of Concurrent and Distributed SystemsRoom 1Frédéric Loulerge, Jordan Ischard, Anton Hampus, Mattias Nyberg, Inigo Incer
14:30–16:00
Service Orientation and Code Generation
Rigorous Engineering of Collective Adaptive Systems ColloquiumRoom 2Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro, Franco Barbanera, Mariangiola Dezani-Ciancaglini, Daniel Busch, Steven Smyth, Tim Tegeler, Bernhard Steffen
14:30–16:00
Session 2
AI Assisted ProgrammingRoom 3George Granberry, Wolfgang Ahrendt, Moa Johansson, Amer Tahat, David Hardin, Adam Petz, Perry Alexander, Itay Cohen, Doron Peled
14:30–16:00
ML/AI I
Verification and Learning for Assured AutonomyRoom 4Ashkan Panahi, Chiranjib Bhattacharyya, Mahsa Varshosaz
14:30–16:00
Session 2
Type- and Logic-Based Methods for System Specification, Synthesis and AnalysisRoom 5Aleksy Schubert, Ugo de' Liguoro, Riccardo Treglia, Michael Mendler, Luigi Liquori
16:00
16:00–16:30
Coffee Break
Global
16:30
16:30–18:00
Session 3
Scalable Verification and Validation of Concurrent and Distributed SystemsRoom 1Tom van Dijk, Rik van Spreuwel, Anton Wijs, Rong Gu, Lei Feng, Kim Larsen, Kaige Tan, Anders Holck Høeg-Petersen
16:30–18:00
Security & Safety and Closing
Rigorous Engineering of Collective Adaptive Systems ColloquiumRoom 2Alyzia-Maria Konsta, Gemma Di Federico, Alberto Lluch Lafuente, Andrea Burattin, Stefano Bistarelli, Francesco Santini, Francesco Rubino, Chiara Bodei, Gian Luigi Ferrari, Rocco De Nicola
16:30–18:00
Session 3
AI Assisted ProgrammingRoom 3Bernhard Aichernig, Klaus Havelund, Tom van Dijk, Vadim Zaytsev, Johan Martinson, Thorsten Berger
16:30–18:00
FM/Probabilistic Programming I
Verification and Learning for Assured AutonomyRoom 4Francesca Cairoli, Gordon Pace, Anna Gautier
16:30–18:00
Session 3
Type- and Logic-Based Methods for System Specification, Synthesis and AnalysisRoom 5Jette Petzold, Reinhard von Hanxleden, Christoph Stahl, Andrej Dudenhefner, Felix Laarmann, Morten Heine Sørensen, Mark Hissink Muller
↑Friday, 1.11
Room: Room 1
Time
Track
Session
06:30
Greet the Sun - 06:42
07:00
Breakfast
09:00
Key: Ina Schieferdecker
Is your AI-based System Five Star Sustainable?
Keynote: I.S Schieferdecker
Is your AI-based System Five Star Sustainable?
10:00
Panel
Panel
10:30
Coffee Break
11:00
Responsible and Trusted AI: An Interdisciplinary Perspective
Transparency, XAI and Meaningful Human Oversight I
12:30
Lunch Break
14:30
Responsible and Trusted AI: An Interdisciplinary Perspective
Transparency, XAI and Meaningful Human Oversight II
16:00
Coffee Break
16:30
Responsible and Trusted AI: An Interdisciplinary Perspective
Privacy and Fairness
Room: Room 2
Time
Track
Session
06:30
Greet the Sun - 06:42
07:00
Breakfast
09:00
Room: Room 1
10:30
Coffee Break
11:00
Verification and Learning for Assured Autonomy
FM/Probabilistic Programming II
12:30
Lunch Break
14:30
Verification and Learning for Assured Autonomy
ML/AI II
16:00
Coffee Break
16:30
Verification and Learning for Assured Autonomy
FM/Probabilistic Programming III
Room: Room 3
Time
Track
Session
06:30
Greet the Sun - 06:42
07:00
Breakfast
09:00
Room: Room 1
10:30
Coffee Break
11:00
AI Assisted Programming
Session 4
12:30
Lunch Break
14:30
Health Care - Approaches Using Formal Methods and AI
Session 1
16:00
Coffee Break
16:30
Safe Autonomous Vehicles
Session 1
06:30
greet the sun - 06:42 " style="background-color: #fff1a0;">
06:30–07:00
Greet the Sun - 06:42
Global
07:00
07:00–09:00
Breakfast
Global
09:00
09:00–10:00
Keynote: I.S Schieferdecker
Is your AI-based System Five Star Sustainable?
Key: Ina Schieferdecker
Is your AI-based System Five Star Sustainable?Room 1GlobalIna Schieferdecker
10:00
10:00–10:30
Panel
Room 1
10:30
10:30–11:00
Coffee Break
Global
11:00
11:00–12:30
Transparency, XAI and Meaningful Human Oversight I
Responsible and Trusted AI: An Interdisciplinary PerspectiveRoom 1Deborah Baum, Kevin Baum, Sasha Zamani, Dirk Werth, Christian Bennoit, Giacomo Zanotti, Andrea Apicella, Viola Schiaffonati, Salvatore Giugliano, Roberto Prevete, Guglielmo Tamburrini, Jurriaan van Diggelen, Hussein Abbass, Christine Boshuizen-van Burken
11:00–12:30
FM/Probabilistic Programming II
Verification and Learning for Assured AutonomyRoom 2Maike Schwammberger, Christoph Matheja
11:00–12:30
Session 4
AI Assisted ProgrammingRoom 3Daniel Busch, Maximilian Schlüter, Bernhard Steffen, Ezio Bartocci
12:30
12:30–14:30
Lunch Break
Global
14:30
14:30–16:00
Transparency, XAI and Meaningful Human Oversight II
Responsible and Trusted AI: An Interdisciplinary PerspectiveRoom 1Georg Borges, Sara Mann, Kevin Baum, Eva Schmidt, Maximilian Schlüter, Timo Speith
14:30–16:00
ML/AI II
Verification and Learning for Assured AutonomyRoom 2Wasim Essbai, Agniv Bandyopadhyay, Bettina Konighofer
14:30–16:00
Session 1
Health Care - Approaches Using Formal Methods and AIRoom 3Colm Brandon, Eanna Fennell, Amandeep Singh, Tiziana Margaria, Gunnar Piho
16:00
16:00–16:30
Coffee Break
Global
16:30
16:30–18:00
Privacy and Fairness
Responsible and Trusted AI: An Interdisciplinary PerspectiveRoom 1Nazreen Ismail, Astrid Schomäcker, Luca Deck, Maria De-Arteaga, Jakob Schoeffer, Niklas Kühl
16:30–18:00
FM/Probabilistic Programming III
Verification and Learning for Assured AutonomyRoom 2César Sánchez, Martin Leucker
16:30–18:00
Session 1
Safe Autonomous VehiclesRoom 3Hardi Hungar, Igra Aslam, Abhishek Buragohain, Nour Habib, Andreas Rausch, Meng Zhang, Fin Heuer
↑Saturday, 2.11
Room: Room 1
Time
Track
Session
06:30
Greet the Sun - 06:43
07:00
Breakfast
09:00
Keynote: Edward A. Lee
Certainty vs. Intelligence
Keynote: Edward A. Lee
Certainty vs. Intelligence
10:00
Panel
Panel
10:30
Coffee Break
11:00
Responsible and Trusted AI: An Interdisciplinary Perspective
Trust and Trustworthiness I
12:30
Lunch Break
14:30
Track Plenary 'Are AI Minds Minds?'
Track Plenary 'Are AI Minds Minds?'
16:00
Coffee Break
16:30
Track Plenary 'Are AI Minds Minds?'
Track Plenary 'Are AI Minds Minds?'
18:00
Farewell Cocktail
Room: Room 2
Time
Track
Session
06:30
Greet the Sun - 06:43
07:00
Breakfast
09:00
Room: Room 1
10:30
Coffee Break
11:00
Verification and Learning for Assured Autonomy
Control/Robotics/CPS II
12:30
Lunch Break
14:30
Room: Room 1
16:00
Coffee Break
16:30
Room: Room 1
18:00
Farewell Cocktail
Room: Room 3
Time
Track
Session
06:30
Greet the Sun - 06:43
07:00
Breakfast
09:00
Room: Room 1
10:30
Coffee Break
11:00
Health Care - Approaches Using Formal Methods and AI
Session 2
12:30
Lunch Break
14:30
Room: Room 1
16:00
Coffee Break
16:30
Room: Room 1
18:00
Farewell Cocktail
Room: Room 4
Time
Track
Session
06:30
Greet the Sun - 06:43
07:00
Breakfast
09:00
Room: Room 1
10:30
Coffee Break
11:00
Safe Autonomous Vehicles
Session 2
12:30
Lunch Break
14:30
Room: Room 1
16:00
Coffee Break
16:30
Room: Room 1
18:00
Farewell Cocktail
06:30
greet the sun - 06:43 " style="background-color: #fff1a0;">
06:30–07:00
Greet the Sun - 06:43
Global
07:00
07:00–09:00
Breakfast
Global
09:00
09:00–10:00
Keynote: Edward A. Lee
Certainty vs. Intelligence
Room 1GlobalEdward A. Lee
10:00
10:00–10:30
Panel
Room 1
10:30
10:30–11:00
Coffee Break
Global
11:00
11:00–12:30
Trust and Trustworthiness I
Responsible and Trusted AI: An Interdisciplinary PerspectiveRoom 1Annette Kluge, Christopher Reining, Shrutarv Awasti, Lisa Thomaschewski, Markus Pauly, Sven Franke, Moritz Roidl, Olga Vogel, Benjamin Lange, Kevin Baum, Timo P. Gros, Lena Dargasz, Felix Jahn, Anna-Sophie Ulfert, Eleni Georganta
11:00–12:30
Control/Robotics/CPS II
Verification and Learning for Assured AutonomyRoom 2Jyo Deshmukh
11:00–12:30
Session 2
Health Care - Approaches Using Formal Methods and AIRoom 3Serge Autexier, Markus Bertl
11:00–12:30
Session 2
Safe Autonomous VehiclesRoom 4Sven Hallerbach, Bruno Steffen, A. Rausch, Th. Berger, F. Howar
12:30
12:30–14:30
Lunch Break
Global
14:30
14:30–16:00
Track Plenary 'Are AI Minds Minds?'
Room 1GlobalEva Schmidt, Karina Vold, Jan Broersen, Hans-Johann Glock
16:00
16:00–16:30
Coffee Break
Global
16:30
16:30–18:00
Track Plenary 'Are AI Minds Minds?'
Room 1GlobalKarina Vold, Jan Broersen, Hans-Johann Glock
18:00
18:00–20:00
Farewell Cocktail
Global
↑Sunday, 3.11
Room: Room 1
Time
Track
Session
06:30
Greet the Sun - 06:44
07:00
Breakfast
09:00
Statistical Model Checking
Session 1
10:30
Coffee Break
10:55
Statistical Model Checking
Session 2
12:35
Lunch Break
14:30
Statistical Model Checking
Session 3
16:00
Coffee Break
16:30
Statistical Model Checking
Session 4
Room: Room 2
Time
Track
Session
06:30
Greet the Sun - 06:44
07:00
Breakfast
09:00
Verification for Neuro-Symbolic Artificial Intelligence
Session 1
10:30
Coffee Break
11:00
Verification for Neuro-Symbolic Artificial Intelligence
Session 2
12:30
Lunch Break
14:30
Verification for Neuro-Symbolic Artificial Intelligence
Session 3
16:00
Coffee Break
16:30
Verification for Neuro-Symbolic Artificial Intelligence
Session 4
Room: Room 3
Time
Track
Session
06:30
Greet the Sun - 06:44
07:00
Breakfast
09:00
Models for Trustworthy Autonomous Systems
Session 1
10:30
Coffee Break
11:00
Models for Trustworthy Autonomous Systems
Session 2
12:30
Lunch Break
16:00
Coffee Break
06:30
greet the sun - 06:44 " style="background-color: #fff1a0;">
06:30–07:00
Greet the Sun - 06:44
Global
07:00
07:00–09:00
Breakfast
Global
09:00
09:00–10:30
Session 1
Statistical Model CheckingRoom 1Kim Larsen, Arnd Hartmanns
09:00–10:30
Session 1
Verification for Neuro-Symbolic Artificial IntelligenceRoom 2Daniel Neider, Taylor Johnson, Alvaro Velasquez
09:00–10:30
Session 1
Models for Trustworthy Autonomous SystemsRoom 3
10:30
10:30–11:00
Coffee Break
Global
10:55
10:55–12:35
Session 2
Statistical Model CheckingRoom 1
11:00
11:00–12:30
Session 2
Verification for Neuro-Symbolic Artificial IntelligenceRoom 2Arthur Clavière, Dmitrii Kirov, Mario Gleirscher, Julien Girard-Satabin, Ekaterina Komendantskaya
11:00–12:30
Session 2
Models for Trustworthy Autonomous SystemsRoom 3
12:30
12:30–14:30
Lunch Break
Global
14:30
14:30–15:55
Session 3
Statistical Model CheckingRoom 1
14:30–16:00
Session 3
Verification for Neuro-Symbolic Artificial IntelligenceRoom 2Tim Katzke, Simon Lutz, Emmanuel Müller, Daniel Neider, Timo P. Gros, Nicola J. Müller, Verena Wolf, Mirco Giacobbe
16:00
16:00–16:30
Coffee Break
Global
16:30
16:30–17:45
Session 4
Statistical Model CheckingRoom 1
16:30–18:00
Session 4
Verification for Neuro-Symbolic Artificial IntelligenceRoom 2Daniel Neider, Taylor Johnson, Alvaro Velasquez, Zakaria Chihani
Sunday, 27.10
Swipe for more rooms
Time
Room: Room 1
Room: Room 2
Room: Room 3
Room: Room 4
06:30
greet the sun - 06:38 ">
Greet the Sun - 06:38
greet the sun - 06:38 ">
Greet the Sun - 06:38
greet the sun - 06:38 ">
Greet the Sun - 06:38
greet the sun - 06:38 ">
Greet the Sun - 06:38
07:00
Breakfast
Breakfast
Breakfast
Breakfast
08:00
09:00
Large ensembles and Collective DynamicsRigorous Engineering of Collective Adaptive Systems
Maintainable TestsAutomating Software Re-Engineering
Session 1X-by-Construction Meets AI
Pillar 1: the R@ISE platformR@ISE: Low-Code/No-Code Plattform and Applications
10:00
10:30
Coffee Break
Coffee Break
Coffee Break
Coffee Break
11:00
Knowledge, Consciousness and EmergenceRigorous Engineering of Collective Adaptive Systems
Trusted DistributionAutomating Software Re-Engineering
Session 2X-by-Construction Meets AI
Pillars 2 and 3: Application and EducationR@ISE: Low-Code/No-Code Plattform and Applications
12:00
12:30
Lunch Break
Lunch Break
Lunch Break
Lunch Break
13:00
14:00
14:30
Automated Reasoning for Better InteractionRigorous Engineering of Collective Adaptive Systems
Digital TwinsAutomating Software Re-Engineering
Session 3X-by-Construction Meets AI
Low Code/No CodeDoctoral Symposium
15:00
16:00
Coffee Break
Coffee Break
Coffee Break
Coffee Break
16:30
Modelling and Engineering Collective Adaptive Systems IRigorous Engineering of Collective Adaptive Systems
DiscussionAutomating Software Re-Engineering
Session 4X-by-Construction Meets AI
Model-Driven EngineeringDoctoral Symposium
17:00
18:00
Reception
Reception
Reception
Reception
19:00
Monday, 28.10
Swipe for more rooms
Time
Room: Room 1
Room: Room 2
Room: Room 3
06:30
greet the sun - 06:39 ">
Greet the Sun - 06:39
greet the sun - 06:39 ">
Greet the Sun - 06:39
greet the sun - 06:39 ">
Greet the Sun - 06:39
07:00
Breakfast
Breakfast
Breakfast
08:00
09:00
Modelling and Engineering Collective Adaptive Systems IIRigorous Engineering of Collective Adaptive Systems
Session 1Formal methods for DIStributed COmputing in future RAILway systems
Session 1Digital Twin Engineering
10:00
10:30
Coffee Break
Coffee Break
Coffee Break
11:00
Analysing Collective Adaptive Systems IRigorous Engineering of Collective Adaptive Systems
Session 2Formal methods for DIStributed COmputing in future RAILway systems
Session 2Digital Twin Engineering
12:00
12:30
Lunch Break
Lunch Break
Lunch Break
13:00
14:00
14:30
Analysing Collective Adaptive Systems IIRigorous Engineering of Collective Adaptive Systems
Session 3Formal methods for DIStributed COmputing in future RAILway systems
Session 3Digital Twin Engineering
15:00
16:00
Coffee Break
Coffee Break
Coffee Break
16:30
Session 4Digital Twin Engineering
17:00
Tuesday, 29.10
Swipe for more rooms
Time
Room: Room 1
Room: Room 2
Room: Room 3
06:30
greet the sun - 06:40 ">
Greet the Sun - 06:40
greet the sun - 06:40 ">
Greet the Sun - 06:40
greet the sun - 06:40 ">
Greet the Sun - 06:40
07:00
Breakfast
Breakfast
Breakfast
08:00
09:00
Opening and Domain-specific Formal LanguagesRigorous Engineering of Collective Adaptive Systems Colloquium
Session 1Bridging gaps between program specification paradigms
Session 1Digital Humanities
10:00
10:30
Coffee Break
Coffee Break
Coffee Break
11:00
Behavioral RelationsRigorous Engineering of Collective Adaptive Systems Colloquium
Session 2Bridging gaps between program specification paradigms
Session 2Digital Humanities
12:00
12:30
Lunch Break
Lunch Break
Lunch Break
13:00
14:00
14:30
Analysing Quantum Processes and Collective Adaptive SystemsRigorous Engineering of Collective Adaptive Systems Colloquium
Session 3Bridging gaps between program specification paradigms
15:00
16:00
Coffee Break
Coffee Break
Coffee Break
16:30
Probability & InferenceRigorous Engineering of Collective Adaptive Systems Colloquium
Session 4Bridging gaps between program specification paradigms
17:00
18:00
19:00
20:00
Main Bar: The last round of cards
Room: Room 1
Room: Room 1
21:00
22:00
Wednesday, 30.10
Swipe for more rooms
Time
Room: Room 1
Room: Room 2
Room: Room 3
Room: Room 4
06:30
greet the sun - 06:40 ">
Greet the Sun - 06:40
greet the sun - 06:40 ">
Greet the Sun - 06:40
greet the sun - 06:40 ">
Greet the Sun - 06:40
greet the sun - 06:40 ">
Greet the Sun - 06:40
07:00
Breakfast
Breakfast
Breakfast
Breakfast
08:00
09:00
Keynote: Christel Baier
Verification Meets Causality
Room: Room 1
Room: Room 1
Room: Room 1
10:00
Holger Hermanns: AI Act
10:30
Coffee Break
Coffee Break
Coffee Break
Coffee Break
11:00
General Issues IResponsible and Trusted AI: An Interdisciplinary Perspective
Collective Adaptive and Multi-agent SystemsRigorous Engineering of Collective Adaptive Systems Colloquium
Session 1Scalable Verification and Validation of Concurrent and Distributed Systems
Human InteractionDoctoral Symposium
12:00
12:30
Lunch Break
Lunch Break
Lunch Break
13:00
Lunch Break
14:00
15:00
Outing
Outing
Outing
Outing
16:00
17:00
18:00
19:00
Thursday, 31.10
Swipe for more rooms
Time
Room: Room 1
Room: Room 2
Room: Room 3
Room: Room 4
Room: Room 5
06:30
greet the sun - 06:41 ">
Greet the Sun - 06:41
greet the sun - 06:41 ">
Greet the Sun - 06:41
greet the sun - 06:41 ">
Greet the Sun - 06:41
greet the sun - 06:41 ">
Greet the Sun - 06:41
greet the sun - 06:41 ">
Greet the Sun - 06:41
07:00
Breakfast
Breakfast
Breakfast
Breakfast
Breakfast
08:00
09:00
Keynote: Tom Henzinger
Neural Certificates
Room: Room 1
Room: Room 1
Room: Room 1
Room: Room 1
10:00
Panel
10:30
Coffee Break
Coffee Break
Coffee Break
Coffee Break
Coffee Break
11:00
General Issues IIResponsible and Trusted AI: An Interdisciplinary Perspective
Programing and Analysing Collective Adaptive and Multi-agent SystemsRigorous Engineering of Collective Adaptive Systems Colloquium
Session 1AI Assisted Programming
Control/Robotics/CPS IVerification and Learning for Assured Autonomy
Session 1Type- and Logic-Based Methods for System Specification, Synthesis and Analysis
12:00
12:30
Lunch Break
Lunch Break
Lunch Break
Lunch Break
13:00
Lunch Break
14:00
14:30
Session 2Scalable Verification and Validation of Concurrent and Distributed Systems
Service Orientation and Code GenerationRigorous Engineering of Collective Adaptive Systems Colloquium
Session 2AI Assisted Programming
ML/AI IVerification and Learning for Assured Autonomy
Session 2Type- and Logic-Based Methods for System Specification, Synthesis and Analysis
15:00
16:00
Coffee Break
Coffee Break
Coffee Break
Coffee Break
Coffee Break
16:30
Session 3Scalable Verification and Validation of Concurrent and Distributed Systems
Security & Safety and ClosingRigorous Engineering of Collective Adaptive Systems Colloquium
Session 3AI Assisted Programming
FM/Probabilistic Programming IVerification and Learning for Assured Autonomy
Session 3Type- and Logic-Based Methods for System Specification, Synthesis and Analysis
17:00
Friday, 1.11
Swipe for more rooms
Time
Room: Room 1
Room: Room 2
Room: Room 3
06:30
greet the sun - 06:42 ">
Greet the Sun - 06:42
greet the sun - 06:42 ">
Greet the Sun - 06:42
greet the sun - 06:42 ">
Greet the Sun - 06:42
07:00
Breakfast
Breakfast
Breakfast
08:00
09:00
Keynote: I.S Schieferdecker
Is your AI-based System Five Star Sustainable?Key: Ina Schieferdecker
Is your AI-based System Five Star Sustainable?
Room: Room 1
Room: Room 1
10:00
Panel
10:30
Coffee Break
Coffee Break
Coffee Break
11:00
Transparency, XAI and Meaningful Human Oversight IResponsible and Trusted AI: An Interdisciplinary Perspective
FM/Probabilistic Programming IIVerification and Learning for Assured Autonomy
Session 4AI Assisted Programming
12:00
12:30
Lunch Break
Lunch Break
Lunch Break
13:00
14:00
14:30
Transparency, XAI and Meaningful Human Oversight IIResponsible and Trusted AI: An Interdisciplinary Perspective
ML/AI IIVerification and Learning for Assured Autonomy
Session 1Health Care - Approaches Using Formal Methods and AI
15:00
16:00
Coffee Break
Coffee Break
Coffee Break
16:30
Privacy and FairnessResponsible and Trusted AI: An Interdisciplinary Perspective
FM/Probabilistic Programming IIIVerification and Learning for Assured Autonomy
Session 1Safe Autonomous Vehicles
17:00
Saturday, 2.11
Swipe for more rooms
Time
Room: Room 1
Room: Room 2
Room: Room 3
Room: Room 4
06:30
greet the sun - 06:43 ">
Greet the Sun - 06:43
greet the sun - 06:43 ">
Greet the Sun - 06:43
greet the sun - 06:43 ">
Greet the Sun - 06:43
greet the sun - 06:43 ">
Greet the Sun - 06:43
07:00
Breakfast
Breakfast
Breakfast
Breakfast
08:00
09:00
Keynote: Edward A. Lee
Certainty vs. Intelligence
Room: Room 1
Room: Room 1
Room: Room 1
10:00
Panel
10:30
Coffee Break
Coffee Break
Coffee Break
Coffee Break
11:00
Trust and Trustworthiness IResponsible and Trusted AI: An Interdisciplinary Perspective
Control/Robotics/CPS IIVerification and Learning for Assured Autonomy
Session 2Health Care - Approaches Using Formal Methods and AI
Session 2Safe Autonomous Vehicles
12:00
12:30
Lunch Break
Lunch Break
Lunch Break
Lunch Break
13:00
14:00
14:30
Track Plenary 'Are AI Minds Minds?'
Room: Room 1
Room: Room 1
Room: Room 1
15:00
16:00
Coffee Break
Coffee Break
Coffee Break
Coffee Break
16:30
Track Plenary 'Are AI Minds Minds?'
Room: Room 1
Room: Room 1
Room: Room 1
17:00
18:00
Farewell Cocktail
Farewell Cocktail
Farewell Cocktail
Farewell Cocktail
19:00
Sunday, 3.11
Swipe for more rooms
Time
Room: Room 1
Room: Room 2
Room: Room 3
06:30
greet the sun - 06:44 ">
Greet the Sun - 06:44
greet the sun - 06:44 ">
Greet the Sun - 06:44
greet the sun - 06:44 ">
Greet the Sun - 06:44
07:00
Breakfast
Breakfast
Breakfast
08:00
09:00
Session 1Statistical Model Checking
Session 1Verification for Neuro-Symbolic Artificial Intelligence
Session 1Models for Trustworthy Autonomous Systems
10:00
10:30
Coffee Break
Coffee Break
Coffee Break
10:55
Session 2Statistical Model Checking
11:00
Session 2Verification for Neuro-Symbolic Artificial Intelligence
Session 2Models for Trustworthy Autonomous Systems
12:00
12:30
Lunch Break
Lunch Break
12:35
Lunch Break
13:00
14:00
14:30
Session 3Statistical Model Checking
Session 3Verification for Neuro-Symbolic Artificial Intelligence
15:00
16:00
Coffee Break
Coffee Break
Coffee Break
16:30
Session 4Statistical Model Checking
Session 4Verification for Neuro-Symbolic Artificial Intelligence
17:00