8 Dec 2010
Amsterdam, The Netherlands
8 December 2010, FLiRT workshop: Fixed-point Logics and Reasoning about Trees Location: Plantage Muidergracht 24, Amsterdam Costs: free The FLiRT workshop will coincide with the public PhD defenses of Gaelle Fontaine and Amelie 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