\n

Construct ive modal logics and type theories are of increasi ng foundational and practical relevance in compute r science. Applications of constructive modal logi cs in type disciplines for programming languages, meta-logics for reasoning about a variety of compu tational phenomena and explanatory frameworks in p hilosophical logic are everywhere.

\n\nThe workshop aims at developing and explaining theore tical and methodological issues around the questio n of how the proof-theoretic strengths of construc tive logics can best be combined with the model-th eoretic strengths of modal logics. Practical issue s center around the question of which modal connec tives with associated laws or proof rules capture computational phenomena accurately and at the righ t level of abstraction.

\n\nIn its seventh edition, the Workshop on Intuitionistic Modal Log ic and Applications will take place in Toulouse Fr ance, in conjunction with the 29th ESSLLI.

\n\n

URL:https://sites.google.com/site/imla2017toulouse
/
END:VEVENT
END:VCALENDAR
Topics of interest to this forum i nclude, but are not limited to: Modal Logics * Log ical frameworks * Proof theory * Type theory * Aut omated deduction * Formal semantics of languages a nd systems * Applications.

\n\nContributio ns should be written in English and submitted in t he form of full papers (with a maximum of 12 pages ) or short papers (with a maximum of 6 pages). The y must be unpublished and not submitted simultaneo usly for publication elsewhere. Paper submission d eadline: March 1st, 2017.

\n