Welcome 10:00 -10:10
10:10 - 10:40
"Supporting students' proof comprehension"
10:40 - 11:10
"TBA"
Coffee break 11:10 - 11:40
11:40 - 12:10
"TBA"
11:10 - 12:40
"TBA"
Lunch 12:40 - 13:40
13:40 - 14:10
"TBA"
14:10 - 14:40
"TBA"
Coffee Break 14:40 - 15:10
15:10 - 16:00