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:
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
\nTheoretical 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
\nThis 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
For more information, see\n http://www.cs.bham. ac.uk/~vdp/IMLA08.html\n
We solicit submissions on work in progre ss and on more mature results.Deadline for abstrac t submission: April 25, 2008.\n
\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