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/2005/newsitem/944/1-2-
 December-2005-METHODS-FOR-MODALITIES-4-M4M-4-Berli
 n---Adlershof-Germany
DTSTAMP:20050620T000000
SUMMARY:METHODS FOR MODALITIES 4 (M4M-4), Berlin -
  Adlershof, Germany
DTSTART;VALUE=DATE:20051201
DTEND;VALUE=DATE:20051202
LOCATION:Berlin - Adlershof, Germany
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 descrip
 tion logic, guarded fragments, conditional logic, 
 temporal and hybrid logic, etc.   For more informa
 tion and registration information, see the M4M hom
 epage at http://m4m.loria.fr/  To stimulate intera
 ction and transfer of expertise, M4M will feature 
 a number of invited talks by leading scientists, r
 esearch presentations aimed at highlighting new de
 velopments, and submissions of system demonstratio
 ns. We strongly encourage young researchers and st
 udents to submit papers and posters, especially fo
 r experimental and prototypical software tools whi
 ch are related to modal logics. Deadline for submi
 ssions: September 1st, 2005
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>The w
 orkshop "Methods for Modalities" (M4M) aims to bri
 ng together\nresearchers interested in developing 
 algorithms, verification methods and\ntools based 
 on modal logics. Here the term "modal logics" is c
 onceived\nbroadly, including description logic, gu
 arded fragments, conditional logic,\ntemporal and 
 hybrid logic, etc.</p>\n      \n    \n      <p>\nF
 or more information and registration information, 
 see the M4M homepage at\n  <a target="_blank" href
 ="http://m4m.loria.fr/">http://m4m.loria.fr/</a>\n
       </p>\n    </div><div>\n      <p>To stimulate
  interaction and transfer of expertise, M4M will f
 eature a\nnumber of invited talks by leading scien
 tists, research presentations aimed\nat highlighti
 ng new developments, and submissions of system dem
 onstrations.\nWe strongly encourage young research
 ers and students to submit papers and\nposters, es
 pecially for experimental and prototypical softwar
 e tools which\nare related to modal logics. Deadli
 ne for submissions: September 1st, 2005</p>\n     
  </div>
URL:/NewsandEvents/Archives/2005/newsitem/944/1-2-
 December-2005-METHODS-FOR-MODALITIES-4-M4M-4-Berli
 n---Adlershof-Germany
END:VEVENT
END:VCALENDAR