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
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
\nDeadline for submissions: 12 october 2001
\n \nFor more information, see the conferen ce website at \n http://staff.scie nce.uva.nl/~m4m.
URL:/NewsandEvents/Archives/2001/newsitem/18/29-30 -November-2001-METHODS-FOR-MODALITIES-2-M4M-2-Amst erdam END:VEVENT END:VCALENDAR