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/2013/newsitem/4899/10-
 June-2013-8th-workshop-on-Methods-for-Modalities-M
 4M-8-Lake-Placid-NY-U-S-A-
DTSTAMP:20130220T000000
SUMMARY:8th workshop on Methods for Modalities (M4
 M-8), Lake Placid NY, U.S.A.
DTSTART;VALUE=DATE:20130610
DTEND;VALUE=DATE:20130610
LOCATION:Lake Placid NY, U.S.A.
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.   For more information, see
  http://www.cs.famaf.unc.edu.ar/~careces/M4M/M4M8/
   Authors are invited to submit papers in the foll
 owing three categories: regular papers, system des
 criptions, or presentation-only papers. We strongl
 y encourage young researchers and students to subm
 it papers and posters, especially for experimental
  and prototypical software tools which are related
  to modal logics. Abstract submission deadline: Ap
 ril 12th, 2013.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>The w
 orkshop 'Methods for Modalities' (M4M) aims to bri
 ng together\n        researchers interested in dev
 eloping algorithms, verification methods\n        
 and tools based on modal logics. Here the term 'mo
 dal logics' is\n        conceived broadly, includi
 ng temporal logic, description logic,\n        gua
 rded fragments, conditional logic, temporal and hy
 brid logic, etc.\n      </p>\n      <p>To stimulat
 e interaction and transfer of expertise, M4M will 
 feature a\n        number of invited talks by lead
 ing scientists, research presentations\n        ai
 med at highlighting new developments, and submissi
 ons of\n        system demonstrations.\n      </p>
 \n    \n      \n      <p>For more information, see
 \n        <a target="_blank" href="http://www.cs.f
 amaf.unc.edu.ar/~careces/M4M/M4M8/">http://www.cs.
 famaf.unc.edu.ar/~careces/M4M/M4M8/</a>\n      </p
 >\n    </div><div>\n      <p>Authors are invited t
 o submit papers in the following three categories:
  regular papers, system descriptions, or presentat
 ion-only papers.\n        We strongly encourage yo
 ung researchers and students to submit papers\n   
      and posters, especially for experimental and 
 prototypical software tools\n        which are rel
 ated to modal logics.\n        Abstract submission
  deadline: April 12th, 2013.\n      </p>\n      </
 div>
URL:/NewsandEvents/Archives/2013/newsitem/4899/10-
 June-2013-8th-workshop-on-Methods-for-Modalities-M
 4M-8-Lake-Placid-NY-U-S-A-
END:VEVENT
END:VCALENDAR