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.

3-7 April 2013, 6th Workshop on Intuitionistic Modal Logic and Applications (IMLA 2013), Rio de Janeiro, Brazil

Date: 3-7 April 2013
Location: Rio de Janeiro, Brazil
Deadline: 1 December 2012

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

The workshop aims at developing and explaining theoretical and methodological issues centered 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 of which modal 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 more information, see https://sites.google.com/site/imodallogic2013/

Contributions should be written in English and submitted in the form of full papers (with a maximum of 12 pages) or short papers (with a maximum of 6 pages). They must be unpublished and not submitted simultaneously for publication elsewhere. Paper submission deadline: December 1st, 2012.

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