Roma

Submission guidelines

Authors are invited to submit research contributions representing original, previously unpublished work as well as proposals for short papers presenting work at an early stage but with a potential for stimulating discussion during the workshop.
Full research papers should not exceed 12 pages, formatted according to the LNCS format.

Submitted papers will be carefully evaluated based on originality, significance, technical soundness, and clarity.

Papers accepted by the Program Committee must be presented at the workshop by one of the authors.

The title page must contain: title and author(s), physical and e-mail addresses, identification of the corresponding author, and an abstract of no more than 200 words.

Papers should be submitted in pdf format by February 20, 2008 through the submission site:

https://cmt.research.microsoft.com/LID2008

LID 2008 will have informal proceedings that will be distributed at the workshop. Selected top papers from the workshop will be invited for publication in a special issue of the Journal of Applied Logic.