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.

8 December 2010, FLiRT workshop: Fixed-point LogIcs and Reasoning about Trees

Date: Wednesday 8 December 2010
Location: Plantage Muidergracht 24, Amsterdam
Costs: free

The FLiRT workshop will coincide with the public PhD defenses of Gaëlle Fontaine and Amélie Gheerbrant which will both take place on the 9th of December. The workshop will gather young researchers and world top experts in various areas of theoretical computer science related to fixed-point logics. These areas include automata theory, game theory, web languages and coalgebras.

The event will be hosted by the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam (UvA) and will take place in the Euclides building (Plantage Muidergracht 24).

For more information, see http://homepages.inf.ed.ac.uk/agheerbr/flirt.html

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