PROTECT 2024
The Current and Future Roles of AI in Protecting Critical Infrastructures
The workshop focuses on the current and future roles of AI in improving the methods for protecting critical infrastructures. The workshop brings together researchers and practitioners in the field and provides an informal platform for exchanging ideas and initiating new collaborations.
Date: November 15, 2024
Place: KYPO, Faculty of Informatics, Masaryk University, Botanická 68a, 60200 Brno, CZ
Contact: Antonín Kučera (FI MUNI), Vojtěch Řehák (FI MUNI)
The Program includes invited presentations reporting the use/advantages/bottlenecks of formal methods in industrial practice and tool demos. Coffee, light snacks, and lunch are provided by the organizers, and there is enough space for informal communication.
| 8:40 - 9:00 | Registration |
| 9:00 - 9:10 | Opening |
| 9:10 - 10:30 |
Talks I |
| 10:30 - 11:00 | Coffee Break |
| 11:00 - 12:00 | Talks II |
| 12:00 - 13:00 | Lunch (preceded by a group photo) |
| 13:00 - 14:15 | Talks III |
| 14:15 - 14:45 | Coffee Break |
| 14:45 - 16:00 |
Panel |
| 16:00 | Closing |
The event is funded by the European Union under the Grant Agreement No. 101087529.