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/2009/newsitem/2684/12- 14-November-2009-6th-Workshop-on-Methods-for-Modal ities-M4M-6-Copenhagen-Denmark DTSTAMP:20090824T000000 SUMMARY:6th Workshop on "Methods for Modalities" ( M4M-6), Copenhagen, Denmark DTSTART;VALUE=DATE:20091112 DTEND;VALUE=DATE:20091114 LOCATION:Copenhagen, Denmark 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. M4M-6 will be preceded by a two-day mini-course aimed at preparing PhD studen ts and other researchers for participation in the workshop. The mini-course is associated with the F IRST research school (http://first.dk). For more information, see http://m4m.loria.fr/M4M6 The P rogramme Committee cordially invites all researche rs to submit their papers for presentation. We str ongly encourage young researchers and students to submit papers, especially for experimental and pro totypical software tools which are related to moda l logics. Submission deadline (extended) is Septem ber 1st, 2009. X-ALT-DESC;FMTTYPE=text/html:
\n The workshop "Methods for Modalities&quo t; (M4M) aims to bring together\n researche rs interested in developing algorithms, verificati on methods\n and tools based on modal logic s. Here the term "modal logics" is\n conceived broadly, including temporal logic, d escription logic,\n guarded fragments, cond itional logic, temporal and hybrid logic, etc.\n
\nTo stimulate interaction and tr ansfer of expertise, M4M will feature\n a n umber of invited talks by leading scientists, rese arch\n presentations aimed at highlighting new developments, and submissions\n of syst em demonstrations.\n M4M-6 will be preceded by a two-day mini-course aimed at preparing\n PhD students and other researchers for partici pation in the workshop.\n The mini-course i s associated with the FIRST research school\n (http ://first.dk).\n
\n \n \nFor more information, see\n http://m4m .loria.fr/M4M6\n