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/2007/newsitem/1879/29-
 30-November-2007-5th-Workshop-on-Methods-for-Modal
 ities-M4M-5-Cachan-France
DTSTAMP:20070607T000000
SUMMARY:5th Workshop on "Methods for Modalities" (
 M4M-5), Cachan, France
DTSTART;VALUE=DATE:20071129
DTEND;VALUE=DATE:20071130
LOCATION:Cachan, France
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.   For more information, see
  http://m4m.loria.fr/M4M5   The Programme Committe
 e cordially invites all researchers to submit thei
 r papers for presentation. We strongly encourage y
 oung researchers and students to submit papers and
  posters, especially for experimental and prototyp
 ical software tools which are related to modal log
 ics. Submission deadline is September 7th, 2007.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>The w
 orkshop &quot;Methods for Modalities&quot; (M4M) a
 ims to\n      bring together researchers intereste
 d in developing algorithms,\n      verification me
 thods and tools based on modal logics. Here the\n 
      term &quot;modal logics&quot; is conceived br
 oadly, including\n      temporal logic, descriptio
 n logic, guarded fragments,\n      conditional log
 ic, temporal and hybrid logic, etc.\n      </p>\n 
      <p>To stimulate interaction and transfer of e
 xpertise, M4M will\n      feature a number of invi
 ted talks by leading scientists,\n      research p
 resentations aimed at highlighting new development
 s,\n      and submissions of system demonstrations
 .\n      </p>\n    \n      \n      <p>For more inf
 ormation, see\n        <a target="_blank" href="ht
 tp://m4m.loria.fr/M4M5">http://m4m.loria.fr/M4M5</
 a>\n      </p>\n    </div><div>\n      <p>\n      
   The Programme Committee cordially invites all re
 searchers to\n        submit their papers for pres
 entation.  We strongly encourage\n        young re
 searchers and students to submit papers and poster
 s,\n        especially for experimental and protot
 ypical software tools\n        which are related t
 o modal logics.  Submission deadline is\n        S
 eptember 7th, 2007.\n      </p>\n      </div>
URL:/NewsandEvents/Archives/2007/newsitem/1879/29-
 30-November-2007-5th-Workshop-on-Methods-for-Modal
 ities-M4M-5-Cachan-France
END:VEVENT
END:VCALENDAR