Fixed-point Logics and Reasoning about Trees (FLiRT)
08-12-2010, Amsterdam
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, Room P.020).

View Larger Map
More about FLiRT
The FLiRT workshop will coincide with the public PhD defenses of Gaëlle Fontaine and Amélie Gheerbrant, whose theses are both in the field of computational logic. More specifically, both theses focus on the phenomenon of recursion, which is prominent in computer science, mathematics, logic and other areas such as game theory and linguistics. Fixed-point logics are a modern tool to give a logical formalization of recursion and have considerable applications in computer science. Both theses study proof-theoretical and model-theoretical aspects, such as completeness or definability, of particular fixed-point logics, including μ-calculus and fixed-point extensions of first-order logic. The techniques used emphasize the strong link with other areas. The purpose of this workshop is to bring together researchers from all these different areas. For instance, automata theory has given a very insightful understanding of fixed-point formulas. This connection has also found many applications in the field of verification. Majority of industrial strength verification packages are based on translation of logical formulas to automata. Game theory provides another major area for recursion, as recursive procedures play a crucial role in game theory. Fixed-point logics are also very important in complexity theory and for the foundations of database theory and XML. In the context of XML, there is a particular focus on trees, which serve as the standard theoretical abstraction of XML documents. Fixed-point logics have also been extended to the setting of coalgebras, which generalize the notion of state-based evolving systems, such as words and trees. The workshop aims to provide a forum for discussing current developments in the area.
Provisional Schedule
Gaëlle Fontaine and Amélie Gheerbrant
(FLiRT is funded by the NWO)