28-29 May 2008
Lausanne, Switzerland
************ CALL FOR PARTICIPATION AutoMathA Brainstorming and Cooperation Days on Mu-Calculus 28-29 May 2008 Lausanne, Switzerland http://www2.unil.ch/logique/ABCDmu-calculus08/ Registration deadline: May 20, 2008 As a mathematical framework to reason about fixpoints in modal logic, the modal -calculus constitutes a meta formal system for many logics used in computer science. It is indeed weaker than second order logics, but sustains enough expressibility for many applications, in particular in program synthesis and verification. It is strongly connected with the theory of automata, since modal -calculus is in fact equivalent to alternating tree automata. Modal -calculus forms a research field of considerable interest, because of the richness of its powerful, although simple, mathematical theory which establishes deep connections with logic, algebra, automata, and game theory. If the connection with the theory of automata and games, has been intensively studied, many questions remain open. For instance the precise complexity - or even the understanding - of modal -calculus formulas is in many cases a total mystery. Not to mention that most decidability questions related to alternating tree automata are unanswered yet. The aim of this scientific meeting is to bring together researchers from various countries and background to work together for 2 days on -calculus and automata. Plenary Speakers: Luca Alberucci (Bern) Dietmar Berwanger (Aachen) Jacques Duparc (Lausanne) Gaelle Fontaine (Amsterdam) Tom Henzinger (Lausanne) Marcin Jurdzinski (Warwick) Feliz Klaedtke (Zrich) Clemens Kupke (Amsterdam) Martin Lange (Mnchen) Giacomo Lenzi (Pisa) Filip Murlak (Warsaw) Luigi Santocanale (Marseille) Thomas Studer (Bern) Local Organizers: Jacques Duparc, Alessandro Facchini, Christian W. Bach Further Informations: Information about ABCD on Mu-Calculus can be obtained at http://www2.unil.ch/logique/ABCDmu-calculus08/. E-mail enquiries about this mini-workshop should be directed to alessandro.facchini [at] unil.ch