Interactive Program
Schedule: July 17, 9:00-15:30 CEST
| Type | Time | Activity |
|---|---|---|
| 9:00-10:00 | keynote (Alessio Lomuscio) | |
| 10:00-10:30 | invited talk (Nathanaël Fijalkow) | |
| 10:30-11:00 | break / networking / posters | |
| 11:00-11:30 | invited talk (Nils Jansen) | |
| 11:30-12:00 | round-table discussions | |
| 12:00-14:00 | lunch / networking / posters | |
| 14:00-14:30 | invited talk (Bettina Könighofer) | |
| 14:30-15:00 | invited talk (Daniel Neider) | |
| 15:00-15:30 | round-table discussions |
Topics & Round-Table Hosts
| Topic | Speaker | Role |
|---|---|---|
| Artificial Intelligence | Alessio Lomuscio | Keynote |
| Synthesis | Nathanaël Fijalkow | Host |
| Safe Reinforcement Learning | Nils Jansen | Host |
| Shielding | Bettina Könighofer | Host |
| Neuro-Symbolic Verification | Daniel Neider | Host |