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, Sebastian Ullrich and Joachim Breitner | Introduction to Program Synthesis, Elizabeth Polgreen | Session Types, Asynchronous Communication, and Subtyping, Laura Bocchi |
| 10:30 – 11:00 | Morning break | Morning break | Morning break | |
| 11:00 – 12:30 | The Lean Programming Language and Theorem Prover, Sebastian Ullrich and Joachim Breitner | Introduction to Program Synthesis, Elizabeth Polgreen | Session Types, Asynchronous Communication, and Subtyping, Laura Bocchi | |
| 12:30 – 14:00 | Lunch | Lunch | Lunch / end of the school | |
| 14:00 – 15:30 | Talk by Ross Horne, University of Strathclyde, Glasgow | Algebraic Effects, Nicolas Wu | PRISM verification tool, Gethin Norman and Dave Parker | Travel back |
| 15:30 – 16:00 | Afternoon break | Afternoon break | Afternoon break | |
| 16:00 – 17:30 | Lightning Talks | Algebraic Effects, Nicolas Wu | PRISM verification tool, Gethin Norman and Dave Parker | |
| 17:30 – 18:00 | End of day | End of day | End of day | |
| 18:00 | Welcome Pizza dinner | Social event | Social event |
by