 Show Presentations |  List View |
|
|
Session Overview |
|
| |||
| 9:30am - 10:30am |
Keynote V: Keynote (Predrag Janičić) Location: Jacob-Volhard-Hörsaal |
||
| 10:30am - 11:00am |
Coffee Mo AM: Coffee break and Poster presentation Location: Georg-Cantor-Haus |
||
| 11:00am - 1:00pm |
Assessment: Assessment (general topic) Location: VSP 1.04 Chair: Alla Stolyarevska |
Curriculum: Curriculum (general topic) Location: VSP 1.03 Chair: Csaba Sárvári |
Reasoning: Reasoning and Proving with Tool Support (working group) Location: VSP 1.02 Chair: Walther Neuper |
| 1:00pm - 1:30pm |
Closing: Closing ceremony Location: Jacob-Volhard-Hörsaal |
||
| 1:30pm - 2:45pm |
Lunch IV: Lunch Location: Georg-Cantor-Haus |
||