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/2684/12-
 14-November-2009-6th-Workshop-on-Methods-for-Modal
 ities-M4M-6-Copenhagen-Denmark
DTSTAMP:20090824T000000
SUMMARY:6th Workshop on "Methods for Modalities" (
 M4M-6), Copenhagen, Denmark
DTSTART;VALUE=DATE:20091112
DTEND;VALUE=DATE:20091114
LOCATION:Copenhagen, Denmark
DESCRIPTION:The workshop "Methods for Modalities" 
 (M4M) aims to bring together researchers intereste
 d in developing algorithms, verification methods a
 nd tools based on modal logics. Here the term "mod
 al logics" is conceived broadly, including tempora
 l logic, description logic, guarded fragments, con
 ditional logic, temporal and hybrid logic, etc.   
 To stimulate interaction and transfer of expertise
 , M4M will feature a number of invited talks by le
 ading scientists, research presentations aimed at 
 highlighting new developments, and submissions of 
 system demonstrations. M4M-6 will be preceded by a
  two-day mini-course aimed at preparing PhD studen
 ts and other researchers for participation in the 
 workshop. The mini-course is associated with the F
 IRST research school (http://first.dk).   For more
  information, see http://m4m.loria.fr/M4M6   The P
 rogramme Committee cordially invites all researche
 rs to submit their papers for presentation. We str
 ongly encourage young researchers and students to 
 submit papers, especially for experimental and pro
 totypical software tools which are related to moda
 l logics. Submission deadline (extended) is Septem
 ber 1st, 2009.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>\n   
      The workshop &quot;Methods for Modalities&quo
 t; (M4M) aims to bring together\n        researche
 rs interested in developing algorithms, verificati
 on methods\n        and tools based on modal logic
 s. Here the term &quot;modal logics&quot; is\n    
     conceived broadly, including temporal logic, d
 escription logic,\n        guarded fragments, cond
 itional logic, temporal and hybrid logic, etc.\n  
     </p>\n      <p>To stimulate interaction and tr
 ansfer of expertise, M4M will feature\n        a n
 umber of invited talks by leading scientists, rese
 arch\n        presentations aimed at highlighting 
 new developments, and submissions\n        of syst
 em demonstrations.\n        M4M-6 will be preceded
  by a two-day mini-course aimed at preparing\n    
     PhD students and other researchers for partici
 pation in the workshop.\n        The mini-course i
 s associated with the FIRST research school\n     
    (<a target="_blank" href="http://first.dk">http
 ://first.dk</a>).\n      </p>\n    \n      \n     
  <p>For more information, see\n        <a target="
 _blank" href="http://m4m.loria.fr/M4M6">http://m4m
 .loria.fr/M4M6</a>\n      </p>\n    </div><div>\n 
      <p>\n        The Programme Committee cordiall
 y invites all researchers to\n        submit their
  papers for presentation.  We strongly encourage\n
         young researchers and students to submit p
 apers, especially\n        for experimental and pr
 ototypical software tools which are\n        relat
 ed to modal logics.  Submission deadline (extended
 ) is\n        September 1st, 2009.\n      </p>\n  
     </div>
URL:/NewsandEvents/Archives/2009/newsitem/2684/12-
 14-November-2009-6th-Workshop-on-Methods-for-Modal
 ities-M4M-6-Copenhagen-Denmark
END:VEVENT
END:VCALENDAR