TbiLLC 2015: Eleventh International Tbilisi Symposium
on Language, Logic and Computation

Workshop on Logic and Computation

Workshop on Automata and Coalgebra.



Helle Hansen  (Delft University of Technology) and Alexandra Silva (Radboud University Nijmegen).


15:00-16:00   Bartek Klin
16:00-16:20   Break / Discussion
16:20-17:20   Stefan Milius
17:20-17:40   Coffee Break
17:40-18:40   Clemens Kupke


Automata and coalgebra are closely related in at least two ways.
On the one hand, automata are the archetypical examples of systems that can be modelled as coalgebras. These include deterministic, nondeterministic, weighted, probabilistic, and push-down automata that run on finite words, as well as Muller automata that run on infinite words, various types of transducers, and Turing machines. Coalgebra has provided a unifying perspective on these different types of automata, as well as algorithms and coinductive methods for specifying and constructing such automata, and reasoning about their semantics.
On the other hand, automata that run on coalgebras generalise automata that run on infinite words and the latter’s close relationship with modal fixpoint logics. As such, they are a valuable tool in understanding the expressiveness of and obtaining decision procedures for coalgebraic fixpoint logics.
In this workshop, four leading researchers in the area of coalgebra and automata will give invited talks. The aim is to discuss current research on automata and coalgebra, and lay some ideas for the future.

Invited Speakers:

  1. Bartek Klin (Warsaw University)
  2. Clemens Kupke (University of Strathclyde)
  3. Stefan Milius (Friedrich-Alexander-Universität Erlangen-Nürnberg)
  4. Barbara Koenig (Universität Duisburg-Essen)