Formal methods in Mathematical proof

Monday 23rd June, Peter Chalk Centre Newman Collaborative

15:10 – 16:10 Bhavik Mehta (Imperial)
16:10 – 17:10 Athina Thoma (Southampton)

Tuesday 24th June, Peter Chalk Centre Newman Collaborative

15:40 – 16:40 Chris Birkbeck (East Anglia)
16:40 – 17:40 Yaël Dillies (Stockholm)

Wednesday 25th June, Peter Chalk Centre Newman Red

Contributed talks