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/2011/newsitem/3334/9-1 2-November-2011-7th-workshop-Methods-for-Modalitie s-M4M-7-Osuna-Spain DTSTAMP:20110206T000000 SUMMARY:7th workshop Methods for Modalities (M4M-7 ), Osuna, Spain DTSTART;VALUE=DATE:20111109 DTEND;VALUE=DATE:20111112 LOCATION:Osuna, Spain DESCRIPTION:The 7th Methods for Modalities worksho p will take place in Osuna, Spain. M4M will be pre ceded by a one-day graduate course on 9 November 2 011. M4M aims to bring together researchers intere sted in developing algorithms, verification method s and tools based on modal logics. The proceedings will appear as a volume in the Electronic Notes i n Theoretical Computer Science (ENTCS) series. Co nfirmed invited speakers for the workshop are Melv ing Fitting (CU New York), David Gabelaia (AS Geor gia), Andreas Herzig (IRIT Toulouse) and Thomas Sc hwentick (TU Dortmund). For more information, see http://personal.us.es/hvd/m4m/. Authors are invi ted to submit regular papers, system descriptions and/or presentation-only papers. Deadline for subm issions: July 15, 2011. X-ALT-DESC;FMTTYPE=text/html:
The 7th Methods for Modalities workshop will take pla ce in Osuna, Spain. M4M will be preceded by a one- day graduate course on 9 November 2011. M4M aims t o bring together researchers interested in develo ping algorithms, verification methods and tools ba sed on modal logics. The proceedings will appear a s a volume in the Electronic Notes in Theoretical Computer Science (ENTCS) series.
\nC onfirmed invited speakers for the workshop are Mel ving Fitting (CU New York), David Gabelaia (AS Geo rgia), Andreas Herzig (IRIT Toulouse) and Thomas S chwentick (TU Dortmund).
\n \n \nFor more information, see http://perso nal.us.es/hvd/m4m/.