AISoLA 2025

Bridging the Gap Between AI and Reality • Rhodes, Greece

About this conference

↑Saturday, 1.11
Room: Room A
TimeTrackSession
06:30Greet the Sun - 06:30
07:00Breakfast
09:00
Maximilian Kiener
Maximilian Kiener
10:30Coffee Break
11:00
Responsible and Trusted AI: An Interdisciplinary Perspective
RTAI Session 1.1: AI and Human Self-Determination
12:00
Responsible and Trusted AI: An Interdisciplinary Perspective
RTAI Session 1.2: Explainable AI (1)
12:30Lunch Break
14:30
Edward Lee
Edward Lee
16:00Coffee Break
16:30
Let's Talk AI
Let's Talk AI
18:00Reception
Room: Room B
TimeTrackSession
06:30Greet the Sun - 06:30
07:00Breakfast
10:30Coffee Break
11:00
Small Data Challenges in AI for Materials Science
SDC Session 1
12:30Lunch Break
16:00Coffee Break
18:00Reception
Room: Room C
TimeTrackSession
06:30Greet the Sun - 06:30
07:00Breakfast
10:30Coffee Break
11:00
Formal Approaches in Intelligence for Transforming Healthcare
FAITH
12:30Lunch Break
16:00Coffee Break
18:00Reception
06:30
greet the sun - 06:30 " style="background-color: #f2e598;">
06:30–07:00
Greet the Sun - 06:30
Global
07:00
07:00–09:00
Breakfast
Global
09:00
09:00–10:30
Maximilian Kiener
Room A
10:30
10:30–11:00
Coffee Break
Global
11:00
11:00–12:00
RTAI Session 1.1: AI and Human Self-Determination
Responsible and Trusted AI: An Interdisciplinary PerspectiveRoom AKevin Baum, Thorsten Helfer, Sophie Kerstan, Markus Langer, Katsunori Miyahara, Eva Schmidt, Astrid Schomäcker, Andreas Sesing-Wagenpfeil, Timo Speith
11:00–12:30
SDC Session 1
Small Data Challenges in AI for Materials ScienceRoom BLars Kotthoff, Kyriakos Kourousis, Tiziana Margaria, Stephen Ryan, Amandeep Singh
11:00–12:30
FAITH
Formal Approaches in Intelligence for Transforming HealthcareRoom C
12:00
12:00–12:30
RTAI Session 1.2: Explainable AI (1)
Responsible and Trusted AI: An Interdisciplinary PerspectiveRoom ATobias Rieger
12:30
12:30–14:30
Lunch Break
Global
14:30
14:30–16:00
Edward Lee
Room AEdward Lee
16:00
16:00–16:30
Coffee Break
Global
16:30
16:30–18:00
Let's Talk AI
Room A
18:00
18:00–20:00
Reception
Global
↑Sunday, 2.11
Room: Room A
TimeTrackSession
06:30Greet the Sun - 06:31
07:00Breakfast
09:00
Responsible and Trusted AI: An Interdisciplinary Perspective
RTAI Session 2: Explainable AI (2)
10:30Coffee Break
11:00
Responsible and Trusted AI: An Interdisciplinary Perspective
RTAI Session 3: Compliance and Liability
12:30Lunch Break
14:30
Doctoral Symposium
DocSym Session 1 - Digital Humanities
16:00Coffee Break
16:30
Doctoral Symposium
DocSym Session 2 - Low Code/No Code and AI
Room: Room B
TimeTrackSession
06:30Greet the Sun - 06:31
07:00Breakfast
09:00
Formal Methods for Intersymbolic AI
FMIAI Session 1
10:30Coffee Break
11:00
Formal Methods for Intersymbolic AI
FMIAI Session 2
12:30Lunch Break
14:30
Formal Methods for Intersymbolic AI
FMIAI Session 3
16:00Coffee Break
16:30
Formal Methods for Intersymbolic AI
FMIAI Session 4
Room: Room C
TimeTrackSession
06:30Greet the Sun - 06:31
07:00Breakfast
09:00
30 Years of UPPAAL
30 Session 1
10:30Coffee Break
11:00
30 Years of UPPAAL
30 Session 2
12:30Lunch Break
14:30
30 Years of UPPAAL
30 Session 3
16:00Coffee Break
16:30
30 Years of UPPAAL
30 Session 4
06:30
greet the sun - 06:31 " style="background-color: #f2e598;">
06:30–07:00
Greet the Sun - 06:31
Global
07:00
07:00–09:00
Breakfast
Global
09:00
09:00–10:30
RTAI Session 2: Explainable AI (2)
Responsible and Trusted AI: An Interdisciplinary PerspectiveRoom AAkhila Bairy, Sara Mann, Maike Schwammberger, Hanwei Zhang
09:00–10:30
FMIAI Session 1
Formal Methods for Intersymbolic AIRoom BEzio Bartocci, Milan Ceska
09:00–10:30
30 Session 1
30 Years of UPPAALRoom CBernhard Aichernig, Martin Leucker, Florian Lorber, Paul Pettersson, Sibylle Schupp, Jiří Srba, Cheng Wang
10:30
10:30–11:00
Coffee Break
Global
11:00
11:00–12:30
RTAI Session 3: Compliance and Liability
Responsible and Trusted AI: An Interdisciplinary PerspectiveRoom AKevin Baum, Rüdiger Ehlers, Loich Kamdoum Deameni, Markus Langer, Veronika Lazar, Nikita Maslov, Günter Reiner
11:00–12:30
FMIAI Session 2
Formal Methods for Intersymbolic AIRoom BAlessandro Cimatti, Holger Hermanns, Sabine Rieder, Martin Sachenbacher
11:00–12:30
30 Session 2
30 Years of UPPAALRoom CMartin Fränzle, Mehrnoush Hajnorouzi , Nicolaj Ø. Jensen, Peter G. Jensen, Kim G. Larsen, Marius Mikucionis, Ernst Reudiger Olderog, Jiří Srba
12:30
12:30–14:30
Lunch Break
Global
14:30
14:30–16:00
DocSym Session 1 - Digital Humanities
Doctoral SymposiumRoom ACiara Breathnach, Omayma El Haji, Sven Jörges, Laura Lowry Bennis, Christina Morin, Catherine Porter, Stephen Ryan, Salim Saay, Julien Santos de Mello
14:30–16:00
FMIAI Session 3
Formal Methods for Intersymbolic AIRoom BArthur Conrado Veiga Bosquetti, Alberto Lluch Lafuente, Dejan Nickovic, Maike Schwammberger, Vincenzo Scotti, Adrian Zvizdenco
14:30–16:00
30 Session 3
30 Years of UPPAALRoom CRong Gu, Edward Lee, Muhammad Naeem, Cristina Seceleanu, Bernhard Steffen, Wang Yi
16:00
16:00–16:30
Coffee Break
Global
16:30
16:30–18:00
DocSym Session 2 - Low Code/No Code and AI
Doctoral SymposiumRoom AJude Vivek Joseph Arokiarajan, Ciara Breathnach, Lawrence Idonije, Sven Jörges, Daniel Sami Mitwalli, Christina Morin, Thamizhinyan Natarajan, Salim Saay
16:30–18:00
FMIAI Session 4
Formal Methods for Intersymbolic AIRoom BDavide Corsi, Thomas Hildebrandt, Samuel Teuber, Daniel Wiedenmann
16:30–18:00
30 Session 4
30 Years of UPPAALRoom CAnsgar Fehnker, Holger Hermanns, Kim G. Larsen, Joel Woodhouse
↑Monday, 3.11
Room: Room A
TimeTrackSession
06:30Greet the Sun - 06:32
07:00Breakfast
09:00
Alvaro Velasquez
Alvaro Velasquez
10:30Coffee Break
11:00
Responsible and Trusted AI: An Interdisciplinary Perspective
RTAI Session 4.1: AI Education (1)
11:30
Responsible and Trusted AI: An Interdisciplinary Perspective
RTAI Session 4.2: Nature of AI
12:00
Responsible and Trusted AI: An Interdisciplinary Perspective
RTAI Session 4.3: AI Education (2)
12:30Lunch Break
15:20Outing
Room: Room B
TimeTrackSession
06:30Greet the Sun - 06:32
07:00Breakfast
10:10
Formal Methods for Intersymbolic AI
FMIAI Session 5
10:30Coffee Break
11:00
Formal Methods for Intersymbolic AI
FMIAI Session 6
12:30Lunch Break
15:20Outing
Room: Room C
TimeTrackSession
06:30Greet the Sun - 06:32
07:00Breakfast
10:30Coffee Break
11:00
Low-Code/No-Code Approaches to Application Development: Challenges and Opportunities
LCNC Session 1: LCNC Platforms
12:30Lunch Break
15:20Outing
06:30
greet the sun - 06:32 " style="background-color: #f2e598;">
06:30–07:00
Greet the Sun - 06:32
Global
07:00
07:00–09:00
Breakfast
Global
09:00
09:00–10:30
Alvaro Velasquez
Room AAlvaro Velasquez
10:10
10:10–10:30
FMIAI Session 5
Formal Methods for Intersymbolic AIRoom BJoao Marques-Silva
10:30
10:30–11:00
Coffee Break
Global
11:00
11:00–11:30
RTAI Session 4.1: AI Education (1)
Responsible and Trusted AI: An Interdisciplinary PerspectiveRoom ARichard Bergs, Sophie Kerstan, Markus Langer
11:00–12:30
FMIAI Session 6
Formal Methods for Intersymbolic AIRoom BJulius Adelt, Carlos E. Budde, Vincenzo Ciancia, Lisa Willemsen
11:00–12:30
LCNC Session 1: LCNC Platforms
Low-Code/No-Code Approaches to Application Development: Challenges and OpportunitiesRoom CKyriakos Kourousis, Tiziana Margaria, Daniel Sami Mitwalli, Stephen Ryan, Amandeep Singh, Sebastian Teumert
11:30
11:30–12:00
RTAI Session 4.2: Nature of AI
Responsible and Trusted AI: An Interdisciplinary PerspectiveRoom AFlorian J. Boge
12:00
12:00–12:30
RTAI Session 4.3: AI Education (2)
Responsible and Trusted AI: An Interdisciplinary PerspectiveRoom ASarah Sterz
12:30
12:30–14:30
Lunch Break
Global
15:20
15:20–20:00
Outing
Global
↑Tuesday, 4.11
Room: Room A
TimeTrackSession
06:30Greet the Sun - 06:33
07:00Breakfast
09:00
Responsible and Trusted AI: An Interdisciplinary Perspective
RTAI Session 5: Trust and Trustworthiness
10:30Coffee Break
11:00
Responsible and Trusted AI: An Interdisciplinary Perspective
RTAI Session 6: Deepfakes
12:30Lunch Break
16:00Coffee Break
16:30
Doctoral Symposium
DocSym Session 3 - Low Code/No Code and AI
Room: Room B
TimeTrackSession
06:30Greet the Sun - 06:33
07:00Breakfast
09:00
AI Assisted Programming
AIAP Session 1
10:30Coffee Break
11:00
AI Assisted Programming
AIAP Session 2
12:30Lunch Break
14:30
AI Assisted Programming
AIAP Session 3
16:00Coffee Break
16:30
AI Assisted Programming
AIAP Session 4
Room: Room C
TimeTrackSession
06:30Greet the Sun - 06:33
07:00Breakfast
09:00
Use of AI in the Industrial Sector
IndDay Session 1
10:30Coffee Break
11:00
Use of AI in the Industrial Sector
IndDay Session 2
12:30Lunch Break
14:30
Use of AI in the Industrial Sector
IndDay Session 3
16:00Coffee Break
16:30
Use of AI in the Industrial Sector
IndDay Session 4
06:30
greet the sun - 06:33 " style="background-color: #f2e598;">
06:30–07:00
Greet the Sun - 06:33
Global
07:00
07:00–09:00
Breakfast
Global
09:00
09:00–10:30
RTAI Session 5: Trust and Trustworthiness
Responsible and Trusted AI: An Interdisciplinary PerspectiveRoom AJan Corazza, Eleni Georganta, Tim Katzke, Sara Mann, Eva Schmidt, Anna-Sophie Ulfert, Alfio Ventura, Mustafa Yalciner
09:00–10:30
AIAP Session 1
AI Assisted ProgrammingRoom BWolfgang Ahrendt, Bernhard Aichernig, Lenz Belzner, Moez Ben Hajhmida, Itay Cohen, Thomas Gabor, Klaus Havelund, Edward Lee, Doron Peled, Martin Wirsing
09:00–10:30
IndDay Session 1
Use of AI in the Industrial SectorRoom CStefan Brock, Barbara Steffen
10:30
10:30–11:00
Coffee Break
Global
11:00
11:00–12:30
RTAI Session 6: Deepfakes
Responsible and Trusted AI: An Interdisciplinary PerspectiveRoom ALena Kästner, Niklas Kühl, Lorenz Meinen, Christian Rückert, Astrid Schomäcker, Timo Speith, Maximilian Volland, Stefanie Wiedemann
11:00–12:30
AIAP Session 2
AI Assisted ProgrammingRoom BEzio Bartocci, Thies de Graaff, Khashayar Etemadi, Radu Grosu, Jie He, Mahshid Helali Moghadam, Vincent Theo Willem Kenbeek, Eike Möhlmann, Julian Müller, Dejan Ničković, Paul Pettersson, Meixun Qu, Marjan Sirjan, Per Strandberg, Zhantao Yang
11:00–12:30
IndDay Session 2
Use of AI in the Industrial SectorRoom CDenis Dowling, Sascha Feldmann, Thomas Hilbig, Cathal Hoare, Tiziana Margaria, Johannes Neubauer
12:30
12:30–14:30
Lunch Break
Global
14:30
14:30–16:00
AIAP Session 3
AI Assisted ProgrammingRoom BBernhard Aichernig, Isaac Amundson, Pei-Wei Chen, Darren Cofer, Adwait Godbole, David Hardin, Edward Lee, Shaokai Lin, Florian Lorber, Edi Muškardin, Elizabeth Polgreen, Sanjit Seshia, Ramneet Singh, Amer Tahat, Cheng Wang
14:30–16:00
IndDay Session 3
Use of AI in the Industrial SectorRoom CCathal Hoare, Elena Hoemann, Hardi Hungar, Tiziana Margaria
16:00
16:00–16:30
Coffee Break
Global
16:30
16:30–18:00
DocSym Session 3 - Low Code/No Code and AI
Doctoral SymposiumRoom ACiara Breathnach, Cailean Finn, Sven Jörges, Marco Krumrey, Thamizhinyan Natarajan, Nora O'Murchú, Salim Saay, Sebastian Teumert
16:30–18:00
AIAP Session 4
AI Assisted ProgrammingRoom BDaniel Busch, Joao Ferreira, Marco Krumrey, Alexandra Mendes, Bernhard Steffen
16:30–18:00
IndDay Session 4
Use of AI in the Industrial SectorRoom CFalk Howar
↑Wednesday, 5.11
Room: Room A
TimeTrackSession
06:30Greet the Sun - 06:34
07:00Breakfast
10:30Coffee Break
11:00
Responsible and Trusted AI: An Interdisciplinary Perspective
RTAI Session 7.1: AI and Moral Uncertainty
12:00
Responsible and Trusted AI: An Interdisciplinary Perspective
RTAI Session 7.2: AI Education (3)
12:30Lunch Break
14:30
Let's Talk AI
Let's Talk AI
16:00Coffee Break
Room: Room B
TimeTrackSession
06:30Greet the Sun - 06:34
07:00Breakfast
09:00
AI Assisted Programming
AIAP Session 5
10:30Coffee Break
11:00
AI Assisted Programming
AIAP Session 6
12:30Lunch Break
16:00Coffee Break
Room: Room C
TimeTrackSession
06:30Greet the Sun - 06:34
07:00Breakfast
09:00
Low-Code/No-Code Approaches to Application Development: Challenges and Opportunities
LCNC Session 2: Case Studies
10:30Coffee Break
11:00
Digital Humanities
DigHum Session 1
12:30Lunch Break
14:30
Digital Humanities
DigHum Session 2
16:00Coffee Break
06:30
greet the sun - 06:34 " style="background-color: #f2e598;">
06:30–07:00
Greet the Sun - 06:34
Global
07:00
07:00–09:00
Breakfast
Global
09:00
09:00–10:30
AIAP Session 5
AI Assisted ProgrammingRoom BBernhard Beckert, Lucas Cordeiro, Klaus Havelund, Niclas Hertzberg, Liv Kåreborn, Natalia Lobakhina, Anna Lokrantz, Alessandro Pinto, Jonas Schiffl, Merlijn Sevenhuijsen, Shivkumar Shivaji, Samuel Teuber
09:00–10:30
LCNC Session 2: Case Studies
Low-Code/No-Code Approaches to Application Development: Challenges and OpportunitiesRoom COmayma El Haji, Tiziana Margaria, Thamizhinyan Natarajan, Stephen Ryan
10:30
10:30–11:00
Coffee Break
Global
11:00
11:00–12:00
RTAI Session 7.1: AI and Moral Uncertainty
Responsible and Trusted AI: An Interdisciplinary PerspectiveRoom ARon Aboodi, Kevin Baum, Andre Steingrüber
11:00–12:30
AIAP Session 6
AI Assisted ProgrammingRoom BCarsten Burchardt, Lennart Landt, Martin Leucker
11:00–12:30
DigHum Session 1
Digital HumanitiesRoom CEleonora Bernasconi, Stefano Ferilli, Cailean Finn, Domenico Redavid, Salim Saay
12:00
12:00–12:30
RTAI Session 7.2: AI Education (3)
Responsible and Trusted AI: An Interdisciplinary PerspectiveRoom AKevin Baum, Julius Gabelmann, Felix Jahn, Sophie van Rossum, Verena Wolf, Emely Wuenscher
12:30
12:30–14:30
Lunch Break
Global
14:30
14:30–16:00
Let's Talk AI
Room A
14:30–16:00
DigHum Session 2
Digital HumanitiesRoom CCiara Breathnach, Stuart Clancy, Tiziana Margaria, Rachel Murphy, Catherine Porter, Julien Santos de Mello, Oonagh Walsh
16:00
16:00–16:30
Coffee Break
Global