Welcome 10:00 -10:10
10:10 - 10:40
"Supporting students' proof comprehension"
10:40 - 11:10
"Opportunities for AI in education: case studies"
Coffee break 11:10 - 11:40
Lunch 12:40 - 13:40
Coffee Break 14:40 - 15:10
15:10 - 16:00
"Starting in teaching: hiring insights and preapring your first lecture"