Please note that this newsitem has been archived, and may contain outdated information or links.
25-27 March 2008, Workshop on "Modal Fixpoint Logics", Amsterdam, The Netherlands
Modal fixpoint logics constitute a research field of considerable interest, not only because of their many applications, but also because of their rich logical/mathematical theory. Systems such as LTL, PDL, CTL, and the modal mu-calculus, originate from computer science, and are for instance applied in the theory of program specification and verification. The richness of their theory stems from the deep connections with various fields in logic, mathematics, and theoretical computer science, such as lattices and universal (co-)algebra, modal logic, automata, and game theory.
The aim of the workshop is to bring together researchers from various backgrounds, in particular, computer scientists and pure logicians, who share an interest in the area. The invited talks together will represent an overview of the richness of the theory of modal fixpoint logics.
For more information, see http://staff.science.uva.nl/~yde/mfl
Researchers interested in giving a contributed talk should send by February 1, 2008 a short abstract (one page at most, in pdf format) describing the content of their contribution to Luigi Santocanale (luigi.santocanale at lif.univ-mrs.fr). Acceptance of presentations will be notified by February 11, 2008.
Please note that this newsitem has been archived, and may contain outdated information or links.