VeTSS Summer School 2025 Programme

08:30 – 09:00
09:00 – 10:30
10:30  – 11:00
11:00  – 12:30
12:30 – 14:00
14:00  – 15:30
15:30 – 16:00
16:00  – 17:30
17:30 – 18:00
18:00
Monday 11th August Tuesday 12th August Wednesday 13th August Thursday 14th August
Breakfast at ARC Breakfast at ARC Breakfast at ARC
Arrival in Glasgow and check-in at the accommodation Lean tutorial Introduction to Program Synthesis Talk – Session 1
Morning break Morning break Morning break
Lean tutorial Introduction to Program Synthesis Talk – Session 2
Lunch Lunch Lunch Lunch / end of the school
Talk Algebraic Effects Talk Travel back
Afternoon break Afternoon break Afternoon break
Lightning Talks Algebraic Effects Talk
End of day End of day End of day
Pizza dinner Social Social