AISoLA 2025

Bridging the Gap Between AI and Reality • Rhodes, Greece

Saturday, 1.11
Time
06:30
07:00
07:30
08:00
08:30
09:00
09:30
10:00
10:30
11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
17:30
18:00
18:30
19:00
19:30
Room: Room A
Greet the Sun - 06:30
Breakfast
Maximilian Kiener
Coffee Break
Responsible and Trusted AI: An Interdisciplinary Perspective
Responsible and Trusted AI: An Interdisciplinary Perspective
Lunch Break
Edward Lee
Coffee Break
Let's Talk AI
Reception
Room: Room B
Greet the Sun - 06:30
Breakfast
Coffee Break
Small Data Challenges in AI for Materials Science
Lunch Break
Coffee Break
Reception
Room: Room C
Greet the Sun - 06:30
Breakfast
Coffee Break
Formal Approaches in Intelligence for Transforming Healthcare
Lunch Break
Coffee Break
Reception
Sunday, 2.11
Time
06:30
07:00
07:30
08:00
08:30
09:00
09:30
10:00
10:30
11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
17:30
Room: Room A
Greet the Sun - 06:31
Breakfast
Responsible and Trusted AI: An Interdisciplinary Perspective
Coffee Break
Responsible and Trusted AI: An Interdisciplinary Perspective
Lunch Break
Doctoral Symposium
Coffee Break
Doctoral Symposium
Room: Room B
Greet the Sun - 06:31
Breakfast
Formal Methods for Intersymbolic AI
Coffee Break
Formal Methods for Intersymbolic AI
Lunch Break
Formal Methods for Intersymbolic AI
Coffee Break
Formal Methods for Intersymbolic AI
Room: Room C
Greet the Sun - 06:31
Breakfast
30 Years of UPPAAL
Coffee Break
30 Years of UPPAAL
Lunch Break
30 Years of UPPAAL
Coffee Break
30 Years of UPPAAL
Monday, 3.11
Time
06:30
07:00
07:30
08:00
08:30
09:00
09:30
10:00
10:30
11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
17:30
18:00
18:30
19:00
19:30
Room: Room A
Greet the Sun - 06:32
Breakfast
Alvaro Velasquez
Coffee Break
Responsible and Trusted AI: An Interdisciplinary Perspective
Responsible and Trusted AI: An Interdisciplinary Perspective
Responsible and Trusted AI: An Interdisciplinary Perspective
Lunch Break
Outing
Room: Room B
Greet the Sun - 06:32
Breakfast
Formal Methods for Intersymbolic AI
Coffee Break
Formal Methods for Intersymbolic AI
Lunch Break
Outing
Room: Room C
Greet the Sun - 06:32
Breakfast
Coffee Break
Low-Code/No-Code Approaches to Application Development: Challenges and Opportunities
Lunch Break
Outing
Tuesday, 4.11
Time
06:30
07:00
07:30
08:00
08:30
09:00
09:30
10:00
10:30
11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
17:30
Room: Room A
Greet the Sun - 06:33
Breakfast
Responsible and Trusted AI: An Interdisciplinary Perspective
Coffee Break
Responsible and Trusted AI: An Interdisciplinary Perspective
Lunch Break
Coffee Break
Doctoral Symposium
Room: Room B
Greet the Sun - 06:33
Breakfast
AI Assisted Programming
Coffee Break
AI Assisted Programming
Lunch Break
AI Assisted Programming
Coffee Break
AI Assisted Programming
Room: Room C
Greet the Sun - 06:33
Breakfast
Use of AI in the Industrial Sector
Coffee Break
Use of AI in the Industrial Sector
Lunch Break
Use of AI in the Industrial Sector
Coffee Break
Use of AI in the Industrial Sector
Wednesday, 5.11
Time
06:30
07:00
07:30
08:00
08:30
09:00
09:30
10:00
10:30
11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00
15:30
16:00
Room: Room A
Greet the Sun - 06:34
Breakfast
Coffee Break
Responsible and Trusted AI: An Interdisciplinary Perspective
Responsible and Trusted AI: An Interdisciplinary Perspective
Lunch Break
Let's Talk AI
Coffee Break
Room: Room B
Greet the Sun - 06:34
Breakfast
AI Assisted Programming
Coffee Break
AI Assisted Programming
Lunch Break
Coffee Break
Room: Room C
Greet the Sun - 06:34
Breakfast
Low-Code/No-Code Approaches to Application Development: Challenges and Opportunities
Coffee Break
Digital Humanities
Lunch Break
Digital Humanities
Coffee Break