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 Sheffield) |
| 12:20 β 14:00 | Lunch | |
| 14:00 β 14:50 | Title TBC | Rahul Santhanam (University of Oxford) |
| 14:50 β 15:40 | Andrei Popescu (University of Sheffield) |
|
| 15:40 β 16:10 | Coffee | |
| 16:10 β 17:00 | Harsh Beohar (University of Sheffield) |
|
| 17:00 β 17:50 | Charles Grellois (University of Sheffield) |
|
| 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 Sheffield) |
|
| 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 Sheffield) |
|
| 15:20 β 15:50 | Coffee | |
| 15:50 β 16:40 | Chelsea Edmonds (University of Sheffield) |