10 December 2015, Workshop on Fixpoint Logics, Automata and Expressiveness, Room 1.90, Building J/K, Valckeniersstraat 65-67, 1018 XE Amsterdam

Invited Speakers:
- Martin Otto (TU Darmstadt)
- Igor Walukiewicz (LABRI, Université Bordeaux-I)
- Sebastian Enqvist (University of Amsterdam)
- Alessandro Facchini (IDSIA)
- Yde Venema (University of Amsterdam)

International experts will give talks on topics related to fixpoint logics, automata, bisimulation and second-order logics. More information on the workshop can be found on the webpage at http://fcarreiro.github.io/workshop.html, or contact f.m.carreiro at uva.nl.