AISoLA 2025

Bridging the Gap Between AI and Reality • Rhodes, Greece

↑Saturday, 1.11

Room: Room A

Time	Track	Session
06:30	Greet the Sun - 06:30
07:00	Breakfast
09:00	Maximilian Kiener	Maximilian Kiener
10:30	Coffee 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:30	Lunch Break
14:30	Edward Lee	Edward Lee
16:00	Coffee Break
16:30	Let's Talk AI	Let's Talk AI
18:00	Reception

Room: Room B

Time	Track	Session
06:30	Greet the Sun - 06:30
07:00	Breakfast

10:30	Coffee Break
11:00	Small Data Challenges in AI for Materials Science	SDC Session 1
12:30	Lunch Break

16:00	Coffee Break

18:00	Reception

Room: Room C

Time	Track	Session
06:30	Greet the Sun - 06:30
07:00	Breakfast

10:30	Coffee Break
11:00	Formal Approaches in Intelligence for Transforming Healthcare	FAITH
12:30	Lunch Break

16:00	Coffee Break

18:00	Reception

↑Sunday, 2.11

Room: Room A

Time	Track	Session
06:30	Greet the Sun - 06:31
07:00	Breakfast
09:00	Responsible and Trusted AI: An Interdisciplinary Perspective	RTAI Session 2: Explainable AI (2)
10:30	Coffee Break
11:00	Responsible and Trusted AI: An Interdisciplinary Perspective	RTAI Session 3: Compliance and Liability
12:30	Lunch Break
14:30	Doctoral Symposium	DocSym Session 1 - Digital Humanities
16:00	Coffee Break
16:30	Doctoral Symposium	DocSym Session 2 - Low Code/No Code and AI

Room: Room B

Time	Track	Session
06:30	Greet the Sun - 06:31
07:00	Breakfast
09:00	Formal Methods for Intersymbolic AI	FMIAI Session 1
10:30	Coffee Break
11:00	Formal Methods for Intersymbolic AI	FMIAI Session 2
12:30	Lunch Break
14:30	Formal Methods for Intersymbolic AI	FMIAI Session 3
16:00	Coffee Break
16:30	Formal Methods for Intersymbolic AI	FMIAI Session 4

Room: Room C

Time	Track	Session
06:30	Greet the Sun - 06:31
07:00	Breakfast
09:00	30 Years of UPPAAL	30 Session 1
10:30	Coffee Break
11:00	30 Years of UPPAAL	30 Session 2
12:30	Lunch Break
14:30	30 Years of UPPAAL	30 Session 3
16:00	Coffee Break
16:30	30 Years of UPPAAL	30 Session 4

↑Monday, 3.11

Room: Room A

Time	Track	Session
06:30	Greet the Sun - 06:32
07:00	Breakfast
09:00	Alvaro Velasquez	Alvaro Velasquez
10:30	Coffee 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:30	Lunch Break

15:20	Outing

Room: Room B

Time	Track	Session
06:30	Greet the Sun - 06:32
07:00	Breakfast

10:10	Formal Methods for Intersymbolic AI	FMIAI Session 5
10:30	Coffee Break
11:00	Formal Methods for Intersymbolic AI	FMIAI Session 6
12:30	Lunch Break

15:20	Outing

Room: Room C

Time	Track	Session
06:30	Greet the Sun - 06:32
07:00	Breakfast

10:30	Coffee Break
11:00	Low-Code/No-Code Approaches to Application Development: Challenges and Opportunities	LCNC Session 1: LCNC Platforms
12:30	Lunch Break

15:20	Outing

↑Tuesday, 4.11

Room: Room A

Time	Track	Session
06:30	Greet the Sun - 06:33
07:00	Breakfast
09:00	Responsible and Trusted AI: An Interdisciplinary Perspective	RTAI Session 5: Trust and Trustworthiness
10:30	Coffee Break
11:00	Responsible and Trusted AI: An Interdisciplinary Perspective	RTAI Session 6: Deepfakes
12:30	Lunch Break

16:00	Coffee Break
16:30	Doctoral Symposium	DocSym Session 3 - Low Code/No Code and AI

Room: Room B

Time	Track	Session
06:30	Greet the Sun - 06:33
07:00	Breakfast
09:00	AI Assisted Programming	AIAP Session 1
10:30	Coffee Break
11:00	AI Assisted Programming	AIAP Session 2
12:30	Lunch Break
14:30	AI Assisted Programming	AIAP Session 3
16:00	Coffee Break
16:30	AI Assisted Programming	AIAP Session 4

Room: Room C

Time	Track	Session
06:30	Greet the Sun - 06:33
07:00	Breakfast
09:00	Use of AI in the Industrial Sector	IndDay Session 1
10:30	Coffee Break
11:00	Use of AI in the Industrial Sector	IndDay Session 2
12:30	Lunch Break
14:30	Use of AI in the Industrial Sector	IndDay Session 3
16:00	Coffee Break
16:30	Use of AI in the Industrial Sector	IndDay Session 4

↑Wednesday, 5.11

Room: Room A

Time	Track	Session
06:30	Greet the Sun - 06:34
07:00	Breakfast

10:30	Coffee 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:30	Lunch Break
14:30	Let's Talk AI	Let's Talk AI
16:00	Coffee Break

Room: Room B

Time	Track	Session
06:30	Greet the Sun - 06:34
07:00	Breakfast
09:00	AI Assisted Programming	AIAP Session 5
10:30	Coffee Break
11:00	AI Assisted Programming	AIAP Session 6
12:30	Lunch Break

16:00	Coffee Break

Room: Room C

Time	Track	Session
06:30	Greet the Sun - 06:34
07:00	Breakfast
09:00	Low-Code/No-Code Approaches to Application Development: Challenges and Opportunities	LCNC Session 2: Case Studies
10:30	Coffee Break
11:00	Digital Humanities	DigHum Session 1
12:30	Lunch Break
14:30	Digital Humanities	DigHum Session 2
16:00	Coffee Break