VeTSS Summer School 2025 Programme
| Monday 11th August | Tuesday 12th August | Wednesday 13th August | Thursday 14th August | |
| 08:30 – 09:00 | Breakfast at ARC | Breakfast at ARC | Breakfast at ARC | |
| 09:00 – 10:30 | Arrival in Glasgow and check-in at the accommodation | The Lean Programming Language and Theorem Prover | Introduction to Program Synthesis, Elizabeth Polgreen | Talk – Session 1 |
| 10:30 – 11:00 | Morning break | Morning break | Morning break | |
| 11:00 – 12:30 | The Lean Programming Language and Theorem Prover | Introduction to Program Synthesis, Elizabeth Polgreen | Talk – Session 2 | |
| 12:30 – 14:00 | Lunch | Lunch | Lunch / end of the school | |
| 14:00 – 15:30 | Talk: | Algebraic Effects | Talk | Travel back |
| 15:30 – 16:00 | Afternoon break | Afternoon break | Afternoon break | |
| 16:00 – 17:30 | Lightning Talks | Algebraic Effects | Talk | |
| 17:30 – 18:00 | End of day | End of day | End of day | |
| 18:00 | Welcome Pizza dinner | Social event | Social event |
by