Intuitionistic
Modal Logics and Applications

(IMLA
'11)

July, 2011

Nancy,
France

A 14th Congress of Logic,
Methdology and Philosophy of Science affiliated
workshop

Constructive modal logics and type theories are of increasing
foundational and practical relevance in computer science and in logic.
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.

The workshop continues a series of previous
workshops, which were held as part of FLoC1999,
Trento,
Italy,
of FLoC2002,
Copenhagen, Denmark, part of LiCS2005, Chicago, USA
and LiCS2008,
Pittsburgh,
USA.

Publication
Plans

It
is planned to publish workshop proceedings as Electronic Notes in
Theoretical Computer Science (ENTCS) or in CEURS, to be decided.
Authors please use the generic ENTCS macro package at
http://www.math.tulane.edu/~entcs.
We
strongly
prefer papers under 10 pages long, excluding
appendices.