Tuesday 22nd August:
- Morning session: Algebraic Semantics and Verification, Georg Struth, University of Sheffield
- Afternoon session: Build your Own Scalable Static Analysis with the Infer Platform, Jules Villard, Meta
Wednesday 23rd August:
- Morning session: Neural Network Verification with Vehicle, Ekaterina Komendantskaya, Southampton University and Luca Arnaboldi, University of Birmingham.
- Afternoon session: Inductive and coinductive theorem proving in Isabelle, Andrei Popescu, University of Sheffield.
Thursday 24th August:
- Morning session: C Bounded Model Checker (CBMC), Bounded Model Checking for Software, Daniel Kroening, Amazon Web Services
- Afternoon session: Lightning Talks, short presentations of current research work
| Start and finish of the sessions | Monday 21st | Tuesday 22nd | Wednesday 23rd | Thursday 24th |
| 08:45 – 09:00 | Welcome/Introduction | |||
| 09:00 – 10:30 | Algebraic Semantics and Verification | Neural Network Verification with Vehicle | C Bounded Model Checker (CBMC) | |
| 10:30 – 11:00 | Tea and coffee break | Tea and coffee break | Tea and coffee break | |
| 11:00 – 12:30 | Algebraic Semantics and Verification | Neural Network Verification with Vehicle | C Bounded Model Checker (CBMC) | |
| 12:30 – 14:00 | Lunch break | Lunch break | Lunch break |
|
| 14:00 – 15:30 | Arrival and check in | Build your Own Scalable Static Analysis with the Infer Platform | Inductive and coinductive theorem proving in Isabelle | Lightning Talks |
| 15:30 – 16:00 | Tea and coffee break | Tea and coffee break | Tea and coffee break | |
| 16:00 – 17:30 | Build your Own Scalable Static Analysis with the Infer Platform | Inductive and coinductive theorem proving in Isabelle | Lightning Talks/ Closing Remarks |
|
| 18:00 | Welcome picnic by the lake | Free afternoon | School ends |