This workshop aims to bring together a group of researchers interested in the foundations of computer science, but attendance is open for anyone.
There will be 5 invited speakers from Edinburgh, Liverpool, LSE, Oxford, Warwick and 7 local speakers.
Date: 29-30 January 2024
Venue: Lecture Theatre 2 of the Broad Lane Block (BROAD LT2)
Booking: There is no need to book a place! Please just turn up. If you have any questions about the event please click the link below.
Programme
Monday 29.01.
| 10:30 – 10:40 | Welcome | |
| 10:40 – 11:30 | Rob van Glabbeek (University of Edinburgh) | |
| 11:30 – 12:20 | Title TBC | Sagnik Mukhopadhyay (University of ºù«Ӱҵ) |
| 12:20 – 14:00 | Lunch | |
| 14:00 – 14:50 | Title TBC | Rahul Santhanam (University of Oxford) |
| 14:50 – 15:40 | Andrei Popescu (University of ºù«Ӱҵ) |
|
| 15:40 – 16:10 | Coffee | |
| 16:10 – 17:00 | Harsh Beohar (University of ºù«Ӱҵ) |
|
| 17:00 – 17:50 | Charles Grellois (University of ºù«Ӱҵ) |
|
| 18:00 – 19:00 | Pub | (optional) |
| 19:00 – | Dinner at Maveli |
Tuesday 30.01.
| 9:00 – 9:50 | Frank Wolter (University of Liverpool) |
|
| 9:50 – 10:40 | Jonni Virtema (University of ºù«Ӱҵ) |
|
| 10:40 – 11:10 | Coffee | |
| 11:10 – 12:00 | Oleg Pikhurko (University of Warwick) |
|
| 12:00 – 13:40 | Lunch | |
| 13:40 – 14:30 | László Végh (London School of Economics) |
|
| 14:30 – 15:20 | Joachim Spoerhase (University of ºù«Ӱҵ) |
|
| 15:20 – 15:50 | Coffee | |
| 15:50 – 16:40 | Chelsea Edmonds (University of ºù«Ӱҵ) |