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:
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 http://www.aiml.net. AiML-2012 is the ninth\n conference in the series.\n
\nThere 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
\n \n \nFor more information, see\n http://hylocore.ruc.dk/aiml2012/\n
We invite submission
on all aspects of modal logic.\n Papers on
related subjects will also be considered.\n
There will be two types of submissions to AiML-2
012
\n (1) Full papers for publication
in the proceedings and presentation at\n th
e\n conference (submission deadline: 16 Mar
ch 2012)
\n (2) Abstracts for short pre
sentation only (submission deadline: 1 June, 2012)
.