Program Committee:


Natasha Alechina (Nottingham, UK)
Nick Benton (Microsoft, UK)
Didier Galmiche(Nancy, FR)
Hermann Hausler (PUC-RJ, BR)
Valeria de Paiva (Birmingham, UK)

Contact Information:

Dr. Valeria de Paiva
Email: valeria.depaiva@gmail.com

Dr.  Natasha Alechina
 Email: nza@cs.nott.ac.uk

Important Dates:

Paper submission: December 15, 2010
Notification: January 15, 2011
Early registration deadline: April 30, 2011

Workshop Date:
TBA

14th Congress of Logic, Methodology and Philosophy of Science Dates:
19-26 July 2011

Registration will be open in December!

Registration is  handled centrally for all associated workshops/symposia.

  • The deadline for early registration is  April 30 2011.

Links: Online registration,  hotels


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.

Please submit  using EasyChair:
http://www.easychair.org/conferences?conf=imla11
   
Back to the 14th CLMPS web page