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/2003/newsitem/451/22-2
 3-September-2003-METHODS-FOR-MODALITIES-3-M4M-3-Na
 ncy-France
DTSTAMP:20030612T000000
SUMMARY:METHODS FOR MODALITIES 3 (M4M-3), Nancy, F
 rance
DTSTART;VALUE=DATE:20030922
DTEND;VALUE=DATE:20030923
LOCATION:Nancy, France
DESCRIPTION:The workshop Methods for Modalities' (
 M4M) aims to bring together researchers interested
  in developing proof tools and reasoning methods f
 or modal logic broadly conceived, including descri
 ption logic, hybrid logics, feature logic, tempora
 l logic, etc.   For more information, see the conf
 erence website at http://www.science.uva.nl/~m4m/.
   We are inviting submissions of short, focussed p
 resentations aimed at highlighting new development
 s and applications, and submissions of system demo
 nstrations. Deadline for submissions: 7 July 2003
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>The w
 orkshop Methods for Modalities' (M4M) aims to brin
 g\n        together researchers interested in deve
 loping proof tools and\n        reasoning methods 
 for modal logic broadly conceived, including\n    
     description logic, hybrid logics, feature logi
 c, temporal logic,\n        etc.\n      </p>\n    
   \n    \n      <p>For more information, see the c
 onference website at \n        <a target="_blank" 
 href="http://www.science.uva.nl/~m4m/">http://www.
 science.uva.nl/~m4m/</a>.</p>\n    </div><div>\n  
     <p>We are inviting submissions of short, focus
 sed\n        presentations aimed at highlighting n
 ew developments and\n        applications, and sub
 missions of system demonstrations.\n        Deadli
 ne for submissions: 7 July 2003</p>\n      </div>
URL:/NewsandEvents/Archives/2003/newsitem/451/22-2
 3-September-2003-METHODS-FOR-MODALITIES-3-M4M-3-Na
 ncy-France
END:VEVENT
END:VCALENDAR