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 | Mutual Exclusion: Possibilities and Impossibilities | 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 | Nominal Recursors as Epi-Recursors | Andrei Popescu (University of Sheffield) |
| 15:40 – 16:10 | Coffee | |
| 16:10 – 17:00 | Expressive Quantale-valued Logics for Coalgebras: an Adjunction-based Approach | Harsh Beohar (University of Sheffield) |
| 17:00 – 17:50 | Termination of Higher-Order Probabilistic Programs | Charles Grellois (University of Sheffield) |
| 18:00 – 19:00 | Pub | (optional) |
| 19:00 – | Dinner at Maveli |
Tuesday 30.01.
| 9:00 – 9:50 | Craig Interpolants without Craig Interpolation | Frank Wolter (University of Liverpool) |
| 9:50 – 10:40 | Logics and Complexity Theory on Reals with Connections to Neural Networks | Jonni Virtema (University of Sheffield) |
| 10:40 – 11:10 | Coffee | |
| 11:10 – 12:00 | Moser-Tardos Algorithm with Small Number of Random Bits | Oleg Pikhurko (University of Warwick) |
| 12:00 – 13:40 | Lunch | |
| 13:40 – 14:30 | A Strongly Polynomial Algorithm for the Minimum-Cost Generalized Flow Problem | László Végh (London School of Economics) |
| 14:30 – 15:20 | Parameterized Approximation Schemes for Clustering with General Norm Objectives | Joachim Spoerhase (University of Sheffield) |
| 15:20 – 15:50 | Coffee | |
| 15:50 – 16:40 | Probabilistic Methods for Combinatorial Structures in Isabelle/HOL | Chelsea Edmonds (University of Sheffield) |