Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

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

Date: Thursday 10 December 2015
Location: 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 .

Please note that this newsitem has been archived, and may contain outdated information or links.