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:<div>\n      <p>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 
      </p>\n      <p>The 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      </p>
 \n    \n      \n      <p>For more information, see
 \n        <a target="_blank" href="http://staff.sc
 ience.uva.nl/~yde/mfl">http://staff.science.uva.nl
 /~yde/mfl</a>\n      </p>\n    </div><div>\n      
 <p>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        (<a class="email">l
 uigi.santocanale <span class="at">at</span> lif.un
 iv-mrs.fr</a>). Acceptance of presentations\n     
    will be notified by February 11, 2008.\n      <
 /p>\n      </div>
URL:/NewsandEvents/Archives/2008/newsitem/2135/25-
 27-March-2008-Workshop-on-Modal-Fixpoint-Logics-Am
 sterdam-The-Netherlands
END:VEVENT
END:VCALENDAR