Logic and Computation Courses
Coalgebraic Methods for Automata (CoMA),
Filippo Bonchi (University of Pisa, Italy), Marcello Bonsangue (Leiden University, The Netherlands) and Jurriaan Rot (Radboud University, Nijmegen, The Netherlands)
Week 2, 9:00 – 10:30, Room 292, Floor 4
Coinduction, the dual of induction, is a mathematical principle for reasoning about infinite and circular structures. Originally studied in the field of concurrency theory, by now it is evident that coinductive techniques are ubiquitous in computer science, mathematics and logic. In particular, coinduction has led to a new foundation of automata theory, in turn leading to novel algorithms and methods for various kinds of automata. These applications are driven by the modelling of automata as coalgebras, an abstract framework for the uniform study of dynamical systems. This course provides a gentle introduction to coinduction and coalgebras, using automata as a motivating example.
A preliminary draft of the lecture notes can be found here
And here are the slides of the lectures (appearing during the course):