ictcs 2014

15th Italian Conference on Theoretical Computer Science
the conference of the italian chapter of the EATCS
To be held in Perugia, Italy, September 17-19th 2014
City of Perugia, Italy


Typical but not exclusive topics of interest include:
  automata theory
  automated theorem proving
  complexity theory
  computational logic
  computational social choice
  distributed computing
  dynamical systems
  formal methods
  game theory
  graph theory
  knowledge representation
  model checking
  process algebras
  quantum computing
  rewriting systems
  security and trust
  specification and verification
  systems biology

Types of contributions

Communications: up to 5 pages in llncs style. Suitable for extended abstracts of papers already appeared, or submitted, or to be submitted, elsewhere; papers reporting on ongoing researches on which the authors wish to get feedback at ICTCS and possibly intended to be included in future publications; overviews of PhD-theses, research projects, etc...

Regular papers: up to 12 pages in llncs style. Full original papers, presenting novel results, not appeared or submitted elsewhere.

In case of need, to ease the reviewing process, the authors of regular papers may add an appendix containing further material (or indicate a web site containing longer version of the paper). In any case the reviewers are not required to consider such further material in their evaluation.

Articles must be written in English and formatted using the Springer LNCS style (LaTeX package and documentation: llncs2e.zip).

For each accepted paper at least one of the authors is required to attend at the conference and present the paper.

Submission page

Authors are invited to submit their manuscripts in PDF via the EasyChair system at the link:


Formatting style files can be downloaded here: llncs2e.zip.

Conference Proceedings

All accepted contributions (communications and regular papers) will appear in a number of CEUR Workshop Proceedings (http://ceur-ws.org/).

Post-conference issue on Theoretical Computer Science

Selected papers from ICTCS-2014 will be invited to a special issue of the journal Theoretical Computer Science.
The authors of a selection of the regular papers presented at the conference will be asked to submit an improved version of their papers. The selection will be determined by considering the outcome of the conference reviewing phase.
The papers submitted for the journal issue should have been significantly revised and extended with respect to the conference versions.
A second reviewing process, meeting the high standard of quality of the international journal will select the papers to be accepted for the special issue, among the invited ones.