Universiteit van Amsterdam


Institute for Logic, Language and Computation

25 August 2017, Workshop on Logic and Automata Theory in memory of Zoltán Ésik, Stockholm, Sweden

Date: Friday 25 August 2017
Location: Stockholm, Sweden

Zoltán Ésik was an automata theorist of high calibre from the Institute of Informatics, University of Szeged, Hungary. Among his many contributions to the subject, perhaps the most important is the study of equational properties of fixed point operators, constituting Iteration Theories (a book he co-authored with Stephen Bloom). This one-day workshop, a satellite event of CSL 2017, is intended as a tribute to Zoltán Ésik, constituting a discussion of topics that lie at the intersection of automata theory, logic and algebra. The workshop mainly consists of invited talks but also has room for the sharing of memories.