(txt) (pdf)

17th Italian Conference on
Theoretical Computer Science

(ICTCS 2016) —

Lecce, Italy, September 7-9, 2016

ICTCS 2016, the 2016 Italian Conference on Theoretical Computer Science is the 17th conference of the Italian Chapter of EATCS. It will be held in Lecce, September 7-9 2016 at University of Salento.

The scope of the meeting is fostering the cross-fertilization of ideas stemming from different areas of Theoretical Computer Science. Hence, the Italian Conference on Theoretical Computer Science represents an occasion for meeting and exchanging ideas and for sharing experiences between researchers. It also provides the ideal environment where junior researchers and PhD students can meet senior researchers.

Contributions in any area of theoretical computer science are warmly solicited. The event is open to both Italian and foreign researchers, which are welcome to submit papers and attend the Conference.

Typical, but not exclusive, topics of interest include:

agents, algorithms, argumentation, automata theory, automated theorem proving, complexity theory
computational logic, computational social choice, concurrency, cryptography, discrete mathematics,
distributed computing, dynamical systems, formal methods, game theory, graph theory, knowledge representation languages, model checking, process algebras, quantum computing, rewriting systems, security and trust, semantics, specification and verification, systems biology, types.

Program co-chairs:

Vittorio Bilò (Università del Salento)
Antonio Caruso (Università del Salento)

Program committee:

Luca Aceto (University of Reykjavik)
Stefano Bistarelli (Università di Perugia)
Chiara Bodei (Università di Pisa)
Andrea Clementi (Università di Tor Vergata)
Pierluigi Crescenzi (Università di Firenze)
Rocco De Nicola (IMT Lucca)
Mariangiola Dezani (Università di Torino)
Michele Flammini (Università di L’Aquila)
Michele Loreti (Università di Firenze)
Giovanni Pighizzini (Università di Milano)
Geppino Pucci (Università di Padova)
Paola Vocca (Università della Tuscia)

Important dates:

Submission of Abstracts:           25 May 2016 – not mandatory
Abstract and Papers Submission:    8 June 2016 – new deadline: 18 June 2016
Notification of acceptance:        18 July 2016
Final version:                     31 August 2016
Conference:                       7-9 September 2016


Two types of contributions are solicited:

  • Regular papers: up to 12 pages in LNCS style. Full original papers, presenting novel results, not appeared or submitted elsewhere.
  • Communications: up to 5 pages in LNCS 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…

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. All contributions must be written in English.

For each accepted contribution, at least one of the authors is required to attend at the conference and present the paper. All accepted contributions (communications and regular papers) will appear in a number of CEUR Workshop Proceedings.

Post-conference issue on Theoretical Computer Science:

Selected papers from ICTCS-2016 will be invited to a special issue of the journal  Theoretical Computer Science, Elsevier. 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.

Submission page:

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