The Summer School will take place over three days, Tuesday 13th  to Thursday 15th August 2024. We will expect all participants to arrive on Monday 12th August, and we will organise a welcome event that evening.

Talks will start at 9:00, with breakfast from 8:30 in the registration area (tea, coffee, juice and pastries). There will be morning and afternoon and lunch breaks; and each day will end at 17:30. On Tuesday talks will start slightly earlier at 8:45 and delegates will be able to take their drinks and food into the lecture theatre.

Monday 12th August

Arrival, Social from 18:00

Tuesday 13th August

Morning session: Fantastic Morphisms and Where to Find Them, Nicolas Wu, Imperial College London
Afternoon session: Synthesis and Verification of CHERI Memory Managers, Jeremy Singer, University of Glasgow and Lightning Talks, short presentations of current research work.

Wednesday 14th August

Morning session: A Pyramid Of (Formal) Software Verification, Martin Nyx Brain, City, University Of London
Afternoon session: Relaxed memory concurrency semantics and reasoning, Mark Batty, University of Kent

Thursday 15th August

Morning session: Formal Verification of Privacy in Cryptographic Protocols: Theory and Practice, Ioana Boureanu, University of Surrey
Afternoon session: Whole Systems Energy Transparency, Kerstin Eder, University of Bristol

Session starts and ends	Monday 12th	Tuesday 13th	Wednesday 14th	Thursday 15th
08:30 – 09:00		Breakfast	Breakfast	Breakfast
08:45 – 09:00		Introduction and Welcome	Breakfast	Breakfast
09:00 – 10:30		Nicolas Wu	Martin Brain	Ioana Boureanu
10:30 – 11:00		Morning break	Morning break	Morning break
11:00 – 12:30		Nicolas Wu	Martin Brain	Ioana Boureanu
12:30 – 14:00		Lunch	Lunch	Lunch
14:00 – 15:30		Jeremy Singer	Mark Batty	Kerstin Eder
15:30 – 16:00		Afternoon break	Afternoon break	Afternoon break
16:00 – 17:30	Arrival	Lightning Talks	Mark Batty	Kerstin Eder
17:30 – 18:00		End of day	End of day	School ends
	Social from 18:00	Free evening	Free evening	Departure