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:
The works hop "Methods for Modalities" (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" is conceived broadly, incl uding description logic, guarded fragments, condit ional logic, temporal and hybrid logic, dynamic lo gic, etc.
\n\nM4M 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.
Authors are invited to submit papers presenting original and u npublished research in proof methods, verification methods, algorithms and tools based on modal logi cs. We strongly encourage young researchers and st udents to submit papers, especially for experiment al and prototypical software tools which are relat ed to modal logics. Submission deadline: September 2, 2016.