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/2017/newsitem/7518/8-1
 0-January-2017-9th-Methods-for-Modalities-Workshop
 -M4M-9-IIT-Kanpur-India
DTSTAMP:20160721T000000
SUMMARY:9th Methods for Modalities Workshop (M4M-9
 ), IIT Kanpur, India
DTSTART;VALUE=DATE:20170108
DTEND;VALUE=DATE:20170110
LOCATION:IIT Kanpur, India
DESCRIPTION:The workshop "Methods for Modalities" 
 (M4M) aims to bring together researchers intereste
 d in developing proof methods, verification method
 s, algorithms and tools based on modal logic. Here
  the term "modal logics" is conceived broadly, inc
 luding description logic, guarded fragments, condi
 tional logic, temporal and hybrid logic, dynamic l
 ogic, etc.  M4M resumes after a short break, but w
 ill continue to be an important avenue for discuss
 ions of research in modal logics, especially on pr
 oof methods and decision procedures, and linkages 
 of modal formalisms to computer science. In M4M-9 
 we hope to have a substantial part of the meeting 
 devoted to tutorial lectures to increase the instr
 uctional content of the event. M4M-9 will be co-lo
 cated with the Indian Conference on Logic and its 
 Applications (ICLA) to be held during January 5-7,
  2017.  Authors are invited to submit papers prese
 nting original and unpublished research in proof m
 ethods, verification methods, algorithms and tools
  based on modal logics. We strongly encourage youn
 g researchers and students to submit papers, espec
 ially for experimental and prototypical software t
 ools which are related to modal logics. Submission
  deadline: September 2, 2016.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>The works
 hop &quot;Methods for Modalities&quot; (M4M) aims 
 to bring together researchers interested in develo
 ping proof methods, verification methods, algorith
 ms and tools based on modal logic. Here the term &
 quot;modal logics&quot; is conceived broadly, incl
 uding description logic, guarded fragments, condit
 ional logic, temporal and hybrid logic, dynamic lo
 gic, etc.</p>\n\n  <p>M4M resumes after a short br
 eak, but will continue to be an important avenue f
 or discussions of research in modal logics, especi
 ally on proof methods and decision procedures, and
  linkages of modal formalisms to computer science.
  In M4M-9 we hope to have a substantial part of th
 e meeting devoted to tutorial lectures to increase
  the instructional content of the event. M4M-9 wil
 l be co-located with the Indian Conference on Logi
 c and its Applications (ICLA) to be held during Ja
 nuary 5-7, 2017.</p>\n</div><div>\n  <p>Authors ar
 e invited to submit papers presenting original and
  unpublished research in proof methods, verificati
 on methods, algorithms and tools based on modal lo
 gics. We strongly encourage young researchers and 
 students to submit papers, especially for experime
 ntal and prototypical software tools which are rel
 ated to modal logics. Submission deadline: Septemb
 er 2, 2016.</p>\n</div>
URL:http://www.cse.iitk.ac.in/users/icla/M4M/
CONTACT:m4m9.iitk at gmail.com
END:VEVENT
END:VCALENDAR