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/2009/newsitem/3028/10-
 11-November-2009-PhD-Autumn-School-on-Modal-Logic-
 Copenhagen-Denmark
DTSTAMP:20091005T000000
SUMMARY:PhD Autumn School on Modal Logic, Copenhag
 en, Denmark
DTSTART;VALUE=DATE:20091110
DTEND;VALUE=DATE:20091111
LOCATION:Copenhagen, Denmark
DESCRIPTION:The goal of the Autumn School on Modal
  Logic is to prepare PhD students and other resear
 chers for participation in the sixth workshop Meth
 ods for Modalities (M4M-6) which takes place Novem
 ber 12-14 2009 in Copenhagen. The workshop Methods
  for Modalities aims to bring together researchers
  interested in developing proof tools and decision
  methods based on modal logics. Here the term "mod
 al logics" is conceived broadly, including descrip
 tion logic, guarded fragments, conditional logic, 
 temporal and hybrid logic, etc. The first M4M work
 shop took place in Amsterdam in 1999. Since then, 
 M4M workshops have taken place in 2001 (Amsterdam)
 , 2003 (Nancy), 2005 (Berlin), and 2007 (Paris).  
  The Autumn School on Modal Logic is open to anyon
 e interested. The intended participants will have 
 a general background in theoretical computer scien
 ce, but wish to obtain more concrete knowledge on 
 modal logic and its computational aspects. Besides
  a working knowledge of English, prerequisites are
  a basic knowledge of logic and mathematics that i
 s usually covered in undergraduate classes on disc
 rete mathematics.   The registration deadline for 
 the Autumn school is Friday, October 23 2009. For 
 more information, see http://hylocore.ruc.dk/m4m6s
 chool.html. See http://m4m.loria.fr/ for more info
 rmation on the workshop series.
X-ALT-DESC;FMTTYPE=text/html:\n      <p>The goal o
 f the Autumn School on Modal Logic is to prepare P
 hD\n        students and other researchers for par
 ticipation in the sixth workshop\n        Methods 
 for Modalities (M4M-6) which takes place November 
 12-14 2009\n        in Copenhagen. The workshop Me
 thods for Modalities aims to bring\n        togeth
 er researchers interested in developing proof tool
 s and decision\n        methods based on modal log
 ics. Here the term &quot;modal logics&quot; is\n  
       conceived broadly, including description log
 ic, guarded fragments,\n        conditional logic,
  temporal and hybrid logic, etc. The first M4M\n  
       workshop took place in Amsterdam in 1999. Si
 nce then, M4M workshops\n        have taken place 
 in 2001 (Amsterdam), 2003 (Nancy), 2005 (Berlin), 
 and\n        2007 (Paris).\n      </p>\n      <p>T
 he Autumn School on Modal Logic is open to anyone 
 interested. The\n        intended participants wil
 l have a general background in theoretical\n      
   computer science, but wish to obtain more concre
 te knowledge on modal\n        logic and its compu
 tational aspects. Besides a working knowledge of\n
         English, prerequisites are a basic knowled
 ge of logic and mathematics\n        that is usual
 ly covered in undergraduate classes on discrete\n 
        mathematics.\n      </p>\n    \n      <p>Th
 e registration deadline for the Autumn school is\n
         Friday, October 23 2009.\n        For more
  information, see\n        <a target="_blank" href
 ="http://hylocore.ruc.dk/m4m6school.html">http://h
 ylocore.ruc.dk/m4m6school.html</a>.\n        See <
 a target="_blank" href="http://m4m.loria.fr/">http
 ://m4m.loria.fr/</a> \n        for more informatio
 n on the workshop series.\n      </p>\n    
URL:/NewsandEvents/Archives/2009/newsitem/3028/10-
 11-November-2009-PhD-Autumn-School-on-Modal-Logic-
 Copenhagen-Denmark
END:VEVENT
END:VCALENDAR