Call for papers

IMLA 2013  aims to be a forum for presenting and discussing work in progress, and therefore to provide feedback to authors on their preliminary research.


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. The papers should be prepared
in latex using EPTCS style. The submission should be in the form of a PDF file uploaded to IMLA 2013 page at Easychair

until the submission deadline in December 1st, by midnight, Central European Standard Time (GMT+1).

The workshop pre-proceedings will be handed-out at workshop registration.

At least one of the authors should register at the conference.

The paper presentation should be in English.

Important Dates

Paper submission deadline: December 1st, 2012
Author notification: January 15th, 2013

Scientific and Organizing Committee

* Valeria de Paiva (School of Computer Science, University of Birmingham, UK)
* Mario Benevides (COPPE-IM, UFRJ)
* Elaine Pimentel (DMAT, UFMG)
* Vivek Nigam (DI, UFPb)
* Natasha Alechina (School of Computer Science, University of Nottingham)

The workshop occurs within the scope of the Marie Curie IRSES project GeTFun ("Generalizations of Truth-Functionality").