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/4710/3-7
 -April-2013-6th-Workshop-on-Intuitionistic-Modal-L
 ogic-and-Applications-IMLA-2013-Rio-de-Janeiro-Bra
 zil
DTSTAMP:20121028T000000
SUMMARY:6th Workshop on Intuitionistic Modal Logic
  and Applications (IMLA 2013), Rio de Janeiro, Bra
 zil
DTSTART;VALUE=DATE:20130403
DTEND;VALUE=DATE:20130407
LOCATION:Rio de Janeiro, Brazil
DESCRIPTION:Constructive modal logics and type the
 ories are of increasing foundational and practical
  relevance in computer science. Applications of co
 nstructive modal logics are in type disciplines fo
 r programming languages, meta-logics for reasoning
  about a variety of computational phenomena and ex
 planatory frameworks in philosophical logic.   The
  workshop aims at developing and explaining theore
 tical and methodological issues centered around th
 e question of how the proof-theoretic strengths of
  constructive logics can best be combined with the
  model-theoretic strengths of modal logics. Practi
 cal issues center around the question of which mod
 al connectives with associated laws or proof rules
  capture computational phenomena accurately and at
  the right level of abstraction. The workshop will
  be held in association with Unilog2013.   For mor
 e information, see https://sites.google.com/site/i
 modallogic2013/  Contributions should be written i
 n English and submitted in the form of full papers
  (with a maximum of 12 pages) or short papers (wit
 h a maximum of 6 pages). They must be unpublished 
 and not submitted simultaneously for publication e
 lsewhere. Paper submission deadline: December 1st,
  2012.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>Const
 ructive modal logics and type theories are of incr
 easing\n      foundational and practical relevance
  in computer\n      science. Applications of const
 ructive modal logics are in type\n      discipline
 s for programming languages, meta-logics for reaso
 ning\n      about a variety of computational pheno
 mena and explanatory\n      frameworks in philosop
 hical logic.\n      </p>\n      <p>The workshop ai
 ms at developing and explaining theoretical\n     
  and methodological issues centered around the que
 stion of how\n      the proof-theoretic strengths 
 of constructive logics can best be\n      combined
  with the model-theoretic strengths of modal\n    
   logics. Practical issues center around the quest
 ion of which\n      modal connectives with associa
 ted laws or proof rules capture\n      computation
 al phenomena accurately and at the right level of\
 n      abstraction. The workshop will be held in a
 ssociation with Unilog2013.\n      </p>\n    \n   
    \n      <p>For more information, see\n        <
 a target="_blank" href="https://sites.google.com/s
 ite/imodallogic2013/">https://sites.google.com/sit
 e/imodallogic2013/</a>\n      </p>\n    </div><div
 >\n      <p>Contributions should be written in Eng
 lish and submitted in the form\n        of full pa
 pers (with a maximum of 12 pages) or short papers 
 (with\n        a maximum of 6 pages). They must be
  unpublished and not submitted\n        simultaneo
 usly for publication elsewhere. Paper submission d
 eadline: December 1st, 2012.\n      </p>\n      </
 div>
URL:/NewsandEvents/Archives/2013/newsitem/4710/3-7
 -April-2013-6th-Workshop-on-Intuitionistic-Modal-L
 ogic-and-Applications-IMLA-2013-Rio-de-Janeiro-Bra
 zil
END:VEVENT
END:VCALENDAR