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/2012/newsitem/4000/22-
 25-August-2012-9th-International-Conference-on-Adv
 anced-in-Modal-Logic-AiML-2012-Copenhagen-Denmark
DTSTAMP:20110703T000000
SUMMARY:9th International Conference on Advanced i
 n Modal Logic (AiML-2012), Copenhagen, Denmark
DTSTART;VALUE=DATE:20120822
DTEND;VALUE=DATE:20120825
LOCATION:Copenhagen, Denmark
DESCRIPTION:Advances in Modal Logic is an initiati
 ve aimed at presenting the state of the art in mod
 al logic and its various applications. The initiat
 ive consists of a conference series together with 
 volumes based on the conferences. Information abou
 t the AiML series can be obtained at http://www.ai
 ml.net. AiML-2012 is the ninth conference in the s
 eries.   There will be a special session of AiML d
 evoted to papers on hybrid logic, an extension of 
 modal logic which allows us to refer explicitly to
  states of the model in the syntax of formulas. Th
 e scope of the special session is standard hybrid-
 logical machinery like nominals, satisfaction oper
 ators, and the downarrow binder, but also other ex
 tensions of modal logic can be considered.   For m
 ore information, see http://hylocore.ruc.dk/aiml20
 12/  We invite submission on all aspects of modal 
 logic. Papers on related subjects will also be con
 sidered. There will be two types of submissions to
  AiML-2012  (1) Full papers for publication in the
  proceedings and presentation at the conference (s
 ubmission deadline: 16 March 2012)  (2) Abstracts 
 for short presentation only (submission deadline: 
 1 June, 2012).
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>Advan
 ces in Modal Logic is an initiative aimed at prese
 nting\n      the state of the art in modal logic a
 nd its various\n      applications. The initiative
  consists of a conference series\n      together w
 ith volumes based on the conferences. Information\
 n      about the AiML series can be obtained at\n 
      <a target="_blank" href="http://www.aiml.net"
 >http://www.aiml.net</a>. AiML-2012 is the ninth\n
       conference in the series.\n      </p>\n     
  <p>There will be a special session of AiML devote
 d to papers on\n      hybrid logic, an extension o
 f modal logic which allows us to\n      refer expl
 icitly to states of the model in the syntax of\n  
     formulas. The scope of the special session is 
 standard\n      hybrid-logical machinery like nomi
 nals, satisfaction operators,\n      and the downa
 rrow binder, but also other extensions of modal\n 
      logic can be considered.\n      </p>\n    \n 
      \n      <p>For more information, see\n       
  <a target="_blank" href="http://hylocore.ruc.dk/a
 iml2012/">http://hylocore.ruc.dk/aiml2012/</a>\n  
     </p>\n    </div><div>\n      <p>We invite subm
 ission on all aspects of modal logic.\n        Pap
 ers on related subjects will also be considered.\n
         There will be two types of submissions to 
 AiML-2012<br/>\n        (1) Full papers for public
 ation in the proceedings and presentation at\n    
     the\n        conference (submission deadline: 
 16 March 2012)<br/>\n        (2) Abstracts for sho
 rt presentation only (submission deadline: 1 June,
  2012).</p>\n      </div>
URL:/NewsandEvents/Archives/2012/newsitem/4000/22-
 25-August-2012-9th-International-Conference-on-Adv
 anced-in-Modal-Logic-AiML-2012-Copenhagen-Denmark
END:VEVENT
END:VCALENDAR