\n

Modal fixpoint logics constitute a research field of co nsiderable\n interest, not only because of their many applications, but also\n because of their rich logical/mathematical theory. System s such as\n LTL, PDL, CTL, and the modal mu -calculus, originate from computer\n scienc e, and are for instance applied in the theory of p rogram\n specification and verification. Th e richness of their theory stems\n from the deep connections with various fields in logic, ma thematics,\n and theoretical computer scien ce, such as lattices and universal\n (co-)a lgebra, modal logic, automata, and game theory.\n

\nThe aim of the workshop is to bring together researchers from various\n b ackgrounds, in particular, computer scientists and pure logicians,\n who share an interest in the area. The invited talks together will\n represent an overview of the richness of the the ory of modal fixpoint\n logics.\n

\n \n \nFor more information, see \n http://staff.science.uva.nl /~yde/mfl\n

\n\n

URL:/NewsandEvents/Events/Upcoming-Events/newsitem
/2135/25-27-March-2008-Workshop-on-Modal-Fixpoint-
Logics-Amsterdam-The-Netherlands
END:VEVENT
END:VCALENDAR
Researchers interested in giving a contributed talk should send by\n February 1, 2008 a sh ort abstract (one page at most, in pdf format)\n describing the content of their contribution to Luigi Santocanale\n (l uigi.santocanale at lif.un iv-mrs.fr). Acceptance of presentations\n will be notified by February 11, 2008.\n < /p>\n