Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

23 June 2008, Intuitionistic Modal Logic and Applications (IMLA'08), Pittsburgh PA, U.S.A.

Date: 23 June 2008
Location: Pittsburgh PA, U.S.A.
Deadline: 25 April 2008

Constructive modal logics and type theories are of increasing foundational and practical relevance in computer science. Applications are in type disciplines for programming languages, and meta-logics for reasoning about a variety of computational phenomena.

Theoretical and methodological issues center around the question of how the proof-theoretic strengths of constructive logics can best be combined with the model-theoretic strengths of modal logics. Practical issues center around the question which modal connectives with associated laws or proof rules capture computational phenomena accurately and at the right level of abstraction.

This LICS'08 affiliated workshop will bring together designers, implementers, and users to discuss all aspects of intuitionistic modal logics and type theories.

For more information, see http://www.cs.bham.ac.uk/~vdp/IMLA08.html

We solicit submissions on work in progress and on more mature results.Deadline for abstract submission: April 25, 2008.

Please note that this newsitem has been archived, and may contain outdated information or links.