Dagstuhl-Seminar — Artificial Intelligence and Formal Methods Join Forces for Reliable Autonomy
Please note that the event you are currently viewing has already passed and is now considered archived.
| Dates | September 1-6, 2024 |
|---|---|
| Location | Schloss Dagstuhl, Germany |
| Organizer | Schloss Dagstuhl - Leibniz-Zentrum fur Informatik |
| Topics | |
| AI is a disruptive force. With growing applications in fields like healthcare, transportation, game playing, finance, or robotics in general, AI systems and methods are entering our everyday lives. Such tight interaction with AI requires serious safety, correctness, and reliability considerations. Recently, the field of safety in AI has triggered a vast amount of research. Via a diverse program with ample space for open yet guided discussion, we aim to address a number of key challenges that range across all fields. | |
