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:
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
\n \n \nFor more information, see the c onference website at \n http://www. science.uva.nl/~m4m/.
We are inviting submissions of short, focussed\n presentations aimed at highlighting new dev elopments and\n applications, and submissio ns of system demonstrations.\n Deadline for submissions: 7 July 2003
\n