8 July 2018, Coalgebra, Now, Oxford (UK)

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)

SpeakersSamson Abramsky, University of Oxford, UKCorina Cirstea, University of Southampton, UKIchiro Hasuo, National Institute of Informatics, JapanBart Jacobs, Radboud University Nijmegen, The NetherlandsEkaterina Komendantskaya, Heriot-Watt University, UKDexter Kozen, Cornell University, USAJan Rutten, CWI Amsterdam and Radboud University Nijmegen, The NetherlandsAna Sokolova, University of Salzburg, AustriaProvisional Programme
9:00-10:30

Jan Rutten, CWI Amsterdam and Radboud University Nijmegen, NL
“The Method of Coalgebra: exercises in coinduction”

Ana Sokolova, University of Salzburg, Austria
“Coalgebra meets Convexity in Probabilistic Systems”

11:00-12:30

Ekaterina Komendantskaya, Heriot-Watt University, UK
“Coalgebra and Automated Reasoning”

Dexter Kozen, Cornell University, USA
"Coalgebraic Tools for Randomness-Conserving Protocols"

14:00-15:30

Bart Jacobs, Radboud University Nijmegen, The Netherlands
“Coalgebras and Kleisli maps for probability”

Corina Cirstea, University of Southampton, UK
"Coalgebraic logics: from branching to linear time"

16:00-17:30

Ichiro Hasuo, National Institute of Informatics, Japan
"Martingale-Based Methods for Reachability Probabilities: Excitements
and Afterthoughts about Coalgebras"

Samson Abramsky, University of Oxford, UK
"Coalgebra Dreams"

Attendance

Everyone is welcome to attend. Registration is required. Please register via the FLOC 2018 webpage.

Support

We gratefully acknowledge financial support from the British Logic Colloquium. We encourage workshop participants to become members of the BLC.

OrganisersHelle Hvid Hansen, Delft University of TechnologyFabio Zanasi, University College London