Keynotes
Special Sessions
Program
Tracks
A1) The Nature of AI-based Systems
B1) Responsible and Trustworthy AI
B2) Democracy in the Digital Era
B3) Digital Humanities
B4) Research and Education
C1) Safety Verification of DNNs
C2) Verification meets Learning and Statistics
D1) Health Care
D2) AI Assisted Programming
D3) Publishing
D4) Safe AI in the Automotive Domain
Contribute
Venue
Committee
Registration
Keynotes
Special Sessions
Program
Tracks
A1) The Nature of AI-based Systems
B1) Responsible and Trustworthy AI
B2) Democracy in the Digital Era
B3) Digital Humanities
B4) Research and Education
C1) Safety Verification of DNNs
C2) Verification meets Learning and Statistics
D1) Health Care
D2) AI Assisted Programming
D3) Publishing
D4) Safe AI in the Automotive Domain
Contribute
Venue
Committee
Registration
D3) Publishing
Tracks
TBA
🔗
Track Organizers
🔗
Name
Institution
Martin Leucker
University of Lübeck, DE