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