Organization

Valeria de Paiva, Nuance Communications

Sergei Artemov, CUNY

For questions regarding the workshop,

please contact Valeria de Paiva, valeria.depaiva (at) gmail.com.

Program Committee:

Natasha Alechina, Nottingham, UK

Sergei Artemov, CUNY, USA (co-chair)

Mario Benevides, UFRJ, BR

Valeria de Paiva, Nuance, USA (co-chair)

Rosalie Iemhoff, Utrecht, NE

Elaine Pimentel, UFRN, BR

Tudor Protopopescu, Higher School of Economics, RU

Giuseppe Primiero, Middlesex, UK

History of IMLA

Previous workshops were held at:

• 1. FLoC1999, Trento, Italy, (a program can be found here)

  2. FLoC2002, Copenhagen, Denmark, (a program can be found here)

  3. LiCS2005, Chicago, USA, (a program can be found here)

  4. LiCS2008, Pittsburgh, US, (a program can be found here)

  5. 14th Congress of Logic, Methodology and Philosophy of Science, Nancy, France, (a program can be found here)

  6. Unilog 2013, Rio de Janeiro, Brazil, (a program can be found here)

Previous Special Issues:

(in mostly reverse order)

1. Charles Stewart, Valeria de Paiva, Natasha Alechina: Special Issue of J Logic Computation, Intuitionistic Modal Logic and Applications (IMLA2011) exv042.

DOI:https://doi.org/10.1093/logcom/exv042, June 2015

2. Proceedings 6th Workshop on Intuitionistic Modal Logic and Applications (IMLA2013) by Valeria de Paiva, Mario Benevides, Vivek Nigam and Elaine Pimentel, ENTCS 300, 2014

3.Valeria de Paiva, Brigitte Pientka: Intuitionistic Modal Logic and Applications (IMLA 2008). Inf. Comput. 209(12): 1435-1436 (2011).

4. Intuitionistic Modal Logic and Application (Special Issue) Journal of Logic and Computation, volume 14, number 4, August 2004. Guest Editors: Valeria de Paiva, Rajeev Gore' and Michael Mendler.

5. M. Fairtlough, M. Mendler, E. Moggi: Modalities in Type Theory. Editorial in Special Issue of Mathematical Structures in Computer Science, Vol. 11, No. 4, August 2001