Workshop Topic and Aims
Coalgebra is a unifying theory of state-based systems. It has emerged in the last two decades as the right mathematical framework for reasoning about infinite objects and non-well-founded structures, encompassing and abstracting fundamental concepts such as bisimilarity, coinduction and modal logic. This area has now reached a level of maturity; the aim of the workshop is to provide an overview of the state-of-the art and perspectives for future research as well as to explore connections between coalgebra and other fields in theoretical computer science. The workshop will consist of invited talks by leading coalgebra researchers as well as prominent researchers whose work has often crossed paths with the coalgebra community. The workshop will also be a chance for a wider audience, such as the one attending FLOC, to be introduced to coalgebra theory by some of the founders of the field.
Date: Sunday 8 July 2018 (Pre-FLoC)
Location: Seminar Room 3, Blavatnik School of Government, Radcliffe Observatory Quarter, Woodstock Road, Oxford, OX2 6GG, https://goo.gl/maps/7HDqoYSAf7A2
Speakers
- Samson Abramsky, University of Oxford, UK
- Corina Cirstea, University of Southampton, UK
- Ichiro Hasuo, National Institute of Informatics, Japan
- Bart Jacobs, Radboud University Nijmegen, The Netherlands
- Ekaterina Komendantskaya, Heriot-Watt University, UK
- Dexter Kozen, Cornell University, USA
- Jan Rutten, CWI Amsterdam and Radboud University Nijmegen, The Netherlands
- Ana Sokolova, University of Salzburg, Austria
Attendance
Everyone is welcome to attend. Registration is required. Please register via the FLOC 2018 webpage.
Dinner
After the workshop, we have a dinner at Brasserie Blanc, 71-72 Walton Street (4 mins walk from the workshop venue). If you would like to join and have not yet signed up for the dinner, please send an email to Helle (h.h.hansen@tudelft.nl) as soon as possible.
Travel
Important: There are train disruptions to and from Oxford in the period around 8 July. Please see the FLoC Travel webpage for details.
Support
We gratefully acknowledge financial support from the British Logic Colloquium and CALCO for registrations of our speakers. We encourage workshop participants to become members of the BLC.