Program

Monday 23rd 🔗

TimeRoom 1Room 2
07:30Greet the Sun
09:00B1
Responsible and Trustworthy AI
(Risks and Privacy)		C2
Verification meets Learning and Statistics
09:30
10:00
Coffee Break
11:00B1
Responsible and Trustworthy AI
(Risks and Privacy)		C2
Verification meets Learning and Statistics
11:30
12:00
Lunch
14:30Opening
15:00B2
Democracy in the Digital Era
(Keynote Moshe Y. Vardi: Technology and Democracy)
15:30
Coffee Break
16:30B2
Democracy in the Digital Era
(Panel: Technology and Democracy, moderated by Edward A. Lee)
17:00
17:30
18:00Reception

Tuesday 24th 🔗

TimeRoom 1Room 2
07:30Greet the Sun
09:00B1
Responsible and Trustworthy AI
(Trustworthiness and Explainability)		C2
Verification meets Learning and Statistics
09:30
10:00
Coffee Break
11:00B1
Responsible and Trustworthy AI
(Trustworthiness and Explainability)		C2
Verification meets Learning and Statistics
11:30
12:00
Lunch
14:30A1
The Nature of AI-based Systems
(Keynote Edward A. Lee: Deep Neural Networks, Explanations, and Rationality)
15:00
Coffee Break
16:15B4
Research and Education
(Keynote Nele McElvany: Education and AI – Current Status, Opportunities and Challenges)
16:45
Coffee Break
17:30B4
Research and Education
(Panel: Beyond Chat-GPT: The Impact of AI on Academic Research, moderated by Viola Schiaffonati)
18:30

Wednesday 25th 🔗

TimeRoom 1Room 2
07:30Greet the Sun
09:00B1
Responsible and Trustworthy AI
(Regulating AI)		C2
Verification meets Learning and Statistics
09:30
10:00
Coffee Break
11:00B1
Responsible and Trustworthy AI
(Regulating AI)		C2
Verification meets Learning and Statistics
11:30
12:00
Lunch
14:30
15:00
15:30Outing and Symposium Dinner
16:00
16:30
17:00
17:30
18:00
18:30

Thursday 26th 🔗

TimeRoom 1Room 2Room 3
07:30Greet the Sun
09:00B1
Responsible and Trustworthy AI
(Explainability, Responsibility and Liability)		C2
Verification meets Learning and Statistics		B3
Digital Humanities
09:30
10:00
Coffee Break
11:00B1
Responsible and Trustworthy AI
(Explainability, Responsibility and Liability)		C2
Verification meets Learning and Statistics		B3
Digital Humanities
11:30
12:00
Lunch
14:30C1
Safety Verification of DNNs
(Verification)		D4
Safe AI in the Automotive Domain		R@ISE
AI
15:00
15:30
Coffee Break
16:30C1
Safety Verification of DNNs
(Verification / Autonomy)		D4
Safe AI in the Automotive Domain		R@ISE
MC and teaching / education
17:00
17:30

Friday 27th 🔗

TimeRoom 1Room 2
07:30Greet the Sun
09:00A1
The Nature of AI-based Systems
(Keynote David Harel: Human or Machine: Reflections on Turing-Inspired Testing for the Everyday)
09:30
10:00A1
The Nature of AI-based Systems
(Panel: What would Turing say?, moderated by Mike Hinchey)
Coffee Break
11:00B1
Responsible and Trustworthy AI
(Fairness of AI systems)		C1
Safety Verification of DNNs
(Benchmark 1)
11:30
12:00
Lunch
14:30D2
AI Assisted Programming		C1
Safety Verification of DNNs
(Benchmark 2)
15:00
15:30
Coffee Break
16:30D2
AI Assisted Programming		D3
Publishing
17:00
17:30

Saturday 28th 🔗

TimeRoom 1Room 2Room 3
07:30Greet the Sun
09:00A1
The Nature of AI-based Systems
(Keynote Matthias Fey: Graph Neural Networks: Everything is Connected)		B1
Responsible and Trustworthy AI
(The impact of (creative) AI on democracy)
09:30
10:00A1
The Nature of AI-based Systems
(Panel: Technological Trends, moderated by Bernhard Steffen)
Coffee Break
11:00D2
AI Assisted Programming		D1
Health Care		B1
Responsible and Trustworthy AI
(The impact of (creative) AI on democracy)
11:30
12:00
Lunch
14:30D2
AI Assisted Programming
(Award Ceremony)		D1
Health Care
15:00
15:30
Coffee Break
16:30D2
AI Assisted Programming		D1
Health Care
17:00Closing