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:<div>\n        <p>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.</p>\n        <p>C
 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).</p>\n    \n      \n      
   <p>For more information, see <a target="_blank" 
 href="http://personal.us.es/hvd/m4m/">http://perso
 nal.us.es/hvd/m4m/</a>.</p>\n    </div><div>\n    
      <p>Authors are invited to submit regular pape
 rs, system descriptions and/or presentation-only p
 apers. Deadline for submissions: July 15, 2011.</p
 >\n      </div>
URL:/NewsandEvents/Archives/2011/newsitem/3334/9-1
 2-November-2011-7th-workshop-Methods-for-Modalitie
 s-M4M-7-Osuna-Spain
END:VEVENT
END:VCALENDAR