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/8427/17-
 --28-July-2017-7th-Workshop-on-Intuitionistic-Moda
 l-Logic-and-Applications-IMLA-2017-Toulouse-France
DTSTAMP:20161205T134538
SUMMARY:7th Workshop on Intuitionistic Modal Logic
  and Applications (IMLA 2017), Toulouse, France
DTSTART;VALUE=DATE:20170717
DTEND;VALUE=DATE:20170728
LOCATION:Toulouse, France
DESCRIPTION:Constructive modal logics and type the
 ories are of increasing foundational and practical
  relevance in computer science. Applications of co
 nstructive modal logics in type disciplines for pr
 ogramming languages, meta-logics for reasoning abo
 ut a variety of computational phenomena and explan
 atory frameworks in philosophical logic are everyw
 here.  The workshop aims at developing and explain
 ing theoretical and methodological issues around t
 he question of how the proof-theoretic strengths o
 f constructive logics can best be combined with th
 e model-theoretic strengths of modal logics. Pract
 ical issues center around the question of which mo
 dal connectives with associated laws or proof rule
 s capture computational phenomena accurately and a
 t the right level of abstraction.  In its seventh 
 edition, the Workshop on Intuitionistic Modal Logi
 c and Applications will take place in Toulouse Fra
 nce, in conjunction with the 29th ESSLLI.  Topics 
 of interest to this forum include, but are not lim
 ited to: Modal Logics * Logical frameworks * Proof
  theory * Type theory * Automated deduction * Form
 al semantics of languages and systems * Applicatio
 ns.  Contributions should be written in English an
 d submitted in the form of full papers (with a max
 imum of 12 pages) or short papers (with a maximum 
 of 6 pages). They must be unpublished and not subm
 itted simultaneously for publication elsewhere. Pa
 per submission deadline: March 1st, 2017.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>Construct
 ive modal logics and type theories are of increasi
 ng foundational and practical relevance in compute
 r science. Applications of constructive modal logi
 cs in type disciplines for programming languages, 
 meta-logics for reasoning about a variety of compu
 tational phenomena and explanatory frameworks in p
 hilosophical logic are everywhere.</p>\n\n  <p>The
  workshop aims at developing and explaining theore
 tical and methodological issues around the questio
 n of how the proof-theoretic strengths of construc
 tive logics can best be combined with the model-th
 eoretic strengths of modal logics. Practical issue
 s center around the question of which modal connec
 tives with associated laws or proof rules capture 
 computational phenomena accurately and at the righ
 t level of abstraction.</p>\n\n  <p>In its seventh
  edition, the Workshop on Intuitionistic Modal Log
 ic and Applications will take place in Toulouse Fr
 ance, in conjunction with the 29th ESSLLI.</p>\n</
 div><div>\n  <p>Topics of interest to this forum i
 nclude, but are not limited to: Modal Logics * Log
 ical frameworks * Proof theory * Type theory * Aut
 omated deduction * Formal semantics of languages a
 nd systems * Applications.</p>\n\n  <p>Contributio
 ns should be written in English and submitted in t
 he form of full papers (with a maximum of 12 pages
 ) or short papers (with a maximum of 6 pages). The
 y must be unpublished and not submitted simultaneo
 usly for publication elsewhere. Paper submission d
 eadline: March 1st, 2017.</p>\n</div>
URL:https://sites.google.com/site/imla2017toulouse
 /
END:VEVENT
END:VCALENDAR