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/2008/newsitem/2247/23-
 June-2008-Intuitionistic-Modal-Logic-and-Applicati
 ons-IMLA-08-Pittsburgh-PA-U-S-A-
DTSTAMP:20080217T000000
SUMMARY:Intuitionistic Modal Logic and Application
 s (IMLA'08), Pittsburgh PA, U.S.A.
DTSTART;VALUE=DATE:20080623
DTEND;VALUE=DATE:20080623
LOCATION:Pittsburgh PA, U.S.A.
DESCRIPTION:Constructive modal logics and type the
 ories are of increasing foundational and practical
  relevance in computer science. Applications are i
 n type disciplines for programming languages, and 
 meta-logics for reasoning about a variety of compu
 tational phenomena.   Theoretical and methodologic
 al issues center around the question of how the pr
 oof-theoretic strengths of constructive logics can
  best be combined with the model-theoretic strengt
 hs of modal logics. Practical issues center around
  the question which modal connectives with associa
 ted laws or proof rules capture computational phen
 omena accurately and at the right level of abstrac
 tion.   This LICS'08 affiliated workshop will brin
 g together designers, implementers, and users to d
 iscuss all aspects of intuitionistic modal logics 
 and type theories.   For more information, see htt
 p://www.cs.bham.ac.uk/~vdp/IMLA08.html  We solicit
  submissions on work in progress and on more matur
 e results.Deadline for abstract submission: April 
 25, 2008.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>Const
 ructive modal logics and type theories are of incr
 easing foundational and practical relevance in com
 puter science. Applications are in type discipline
 s for programming languages, and meta-logics for r
 easoning about a variety of computational phenomen
 a.\n      </p>\n      <p>Theoretical and methodolo
 gical issues center around the question of how the
  proof-theoretic strengths of constructive logics 
 can best be combined with the model-theoretic stre
 ngths of modal logics. Practical issues center aro
 und the question which modal connectives with asso
 ciated laws or proof rules capture computational p
 henomena accurately and at the right level of abst
 raction.\n      </p>\n      <p>This LICS'08 affili
 ated workshop will bring together designers, imple
 menters, and users to discuss all aspects of intui
 tionistic modal logics and type theories.\n      <
 /p>\n    \n      \n      <p>For more information, 
 see\n        <a target="_blank" href="http://www.c
 s.bham.ac.uk/~vdp/IMLA08.html">http://www.cs.bham.
 ac.uk/~vdp/IMLA08.html</a>\n      </p>\n    </div>
 <div>\n      <p>We solicit submissions on work in 
 progress and on more mature results.Deadline for a
 bstract submission: April 25, 2008.\n      </p>\n 
      </div>
URL:/NewsandEvents/Archives/2008/newsitem/2247/23-
 June-2008-Intuitionistic-Modal-Logic-and-Applicati
 ons-IMLA-08-Pittsburgh-PA-U-S-A-
END:VEVENT
END:VCALENDAR