| layout | home_original |
|---|
Schedule: July 17, 9:00-15:30 CEST{:target="_blank"}
| 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 |
| Topic | Speaker | Role |
|---|---|---|
| Artificial Intelligence | Alessio Lomuscio{:target="_blank"} | Keynote |
| Synthesis | Nathanaël Fijalkow{:target="_blank"} | Host |
| Safe Reinforcement Learning | Nils Jansen{:target="_blank"} | Host |
| Shielding | Bettina Könighofer{:target="_blank"} | Host |
| Neuro-Symbolic Verification | Daniel Neider{:target="_blank"} | Host |