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
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 "modal logics" 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
\nT 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
\n \nTh e registration deadline for the Autumn school is\n Friday, October 23 2009.\n For more information, see\n http://h ylocore.ruc.dk/m4m6school.html.\n See < a target="_blank" href="http://m4m.loria.fr/">http ://m4m.loria.fr/ \n for more informatio n on the workshop series.\n
URL:/NewsandEvents/Archives/2009/newsitem/3028/10- 11-November-2009-PhD-Autumn-School-on-Modal-Logic- Copenhagen-Denmark END:VEVENT END:VCALENDAR