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: FLoC Venue at University of Oxford (exact location TBD)
- 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
Everyone is welcome to attend. Registration is required. Please register via the FLOC 2018 webpage.
We gratefully acknowledge financial support from the British Logic Colloquium. We encourage workshop participants to become members of the BLC.