|
S_SESSIONS_BROWSE_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) S_SESSIONS_BROWSE_CHAIR: Alla Stolyarevska |
VSP 1.04 | |
11:00am - 1:00pm | Curriculum: Curriculum (general topic) S_SESSIONS_BROWSE_CHAIR: Csaba Sárvári |
VSP 1.03 | |
11:00am - 1:00pm | Reasoning: Reasoning and Proving with Tool Support (working group) S_SESSIONS_BROWSE_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 |