Timetable
| Title | Type | Location | Serial | Start | End | All Day | |
|---|---|---|---|---|---|---|---|
| Kick-off meeting | Seminar meeting | Zoom (https://cispa-de.zoom.us/j/99463683910?pwd=VnRpaE8wcWd2TkVvVktFRGF0MGFmZz09) | 05.11.20 | 05.11.20 | No |
Formal Methods for AI Safety
Rayna Dimitrova