BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2008/newsitem/2135/25- 27-March-2008-Workshop-on-Modal-Fixpoint-Logics-Am sterdam-The-Netherlands DTSTAMP:20071213T000000 SUMMARY:Workshop on "Modal Fixpoint Logics", Amste rdam, The Netherlands DTSTART;VALUE=DATE:20080325 DTEND;VALUE=DATE:20080327 LOCATION:Amsterdam, The Netherlands DESCRIPTION:Modal fixpoint logics constitute a res earch field of considerable interest, not only bec ause 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 inst ance applied in the theory of program specificatio n and verification. The richness of their theory s tems from the deep connections with various fields in logic, mathematics, and theoretical computer s cience, such as lattices and universal (co-)algebr a, modal logic, automata, and game theory. The a im of the workshop is to bring together researcher s from various backgrounds, in particular, compute r scientists and pure logicians, who share an inte rest in the area. The invited talks together will represent an overview of the richness of the theor y of modal fixpoint logics. For more information , see http://staff.science.uva.nl/~yde/mfl Resear chers interested in giving a contributed talk shou ld send by February 1, 2008 a short abstract (one page at most, in pdf format) describing the conten t of their contribution to Luigi Santocanale (luig i.santocanale at lif.univ-mrs.fr). Acceptance of p resentations will be notified by February 11, 2008 . X-ALT-DESC;FMTTYPE=text/html:
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
Res earchers interested in giving a contributed talk s hould send by\n February 1, 2008 a short ab stract (one page at most, in pdf format)\n describing the content of their contribution to Lu igi Santocanale\n (luigi.s antocanale at lif.univ-mrs .fr). Acceptance of presentations\n wil l be notified by February 11, 2008.\n
\n