17 - 28 July 2017, 7th Workshop on Intuitionistic Modal Logic and Applications (IMLA 2017), Toulouse, France
Constructive modal logics and type theories are of increasing foundational and practical relevance in computer science. Applications of constructive modal logics in type disciplines for programming languages, meta-logics for reasoning about a variety of computational phenomena and explanatory frameworks in philosophical logic are everywhere.
The workshop aims at developing and explaining theoretical and methodological issues 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.
In its seventh edition, the Workshop on Intuitionistic Modal Logic and Applications will take place in Toulouse France, in conjunction with the 29th ESSLLI.
Topics of interest to this forum include, but are not limited to: Modal Logics * Logical frameworks * Proof theory * Type theory * Automated deduction * Formal semantics of languages and systems * Applications.
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: March 1st, 2017.