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/2001/newsitem/18/29-30
 -November-2001-METHODS-FOR-MODALITIES-2-M4M-2-Amst
 erdam
DTSTAMP:20010901T000000
SUMMARY:METHODS FOR MODALITIES 2 (M4M-2), Amsterda
 m
DTSTART;VALUE=DATE:20011129
DTEND;VALUE=DATE:20011130
LOCATION:Amsterdam
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.   Deadline for submissions: 12 octob
 er 2001  For more information, see the conference 
 website at http://staff.science.uva.nl/~m4m.
X-ALT-DESC;FMTTYPE=text/html:\n      <p>The worksh
 op Methods for Modalities' (M4M) aims to bring\n  
       together researchers interested in developin
 g proof tools and\n        reasoning methods for m
 odal logic broadly conceived, including\n        d
 escription logic, hybrid logics, feature logic, te
 mporal logic,\n        etc.\n      </p>\n      <p>
 Deadline for submissions: 12 october 2001</p>\n   
  \n      <p>For more information, see the conferen
 ce website at \n        <a target="_blank" href="h
 ttp://staff.science.uva.nl/~m4m">http://staff.scie
 nce.uva.nl/~m4m</a>.</p>\n    
URL:/NewsandEvents/Archives/2001/newsitem/18/29-30
 -November-2001-METHODS-FOR-MODALITIES-2-M4M-2-Amst
 erdam
END:VEVENT
END:VCALENDAR