The purpose of the Italian Conference on Theoretical Computer Science (ICTCS) is to foster the cross-fertilization of ideas stemming from different areas of theoretical computer science. In particular, ICTCS provides an ideal environment where junior researchers and PhD students can meet senior researchers.
Contributions in any area of theoretical computer science are warmly invited from researchers of all nationalities.
The topics of interest include, but are not limited to, the following: agents, algorithms, argumentation, automata theory, complexity theory, computational logic, computational social choice, concurrency theory, 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, theorem proving, type theory.
Two types of contributions, written in English and formatted according to Springer LNCS style, are solicited.
Regular papers: up to 12 pages PLUS bibliography, presenting original results not appeared or submitted elsewhere. To ease the reviewing process, the authors of regular papers may add an appendix, although reviewers are not required to consider it in their evaluation.
Communications: up to 5 pages PLUS bibliography, suitable for extended abstracts of papers already appeared/submitted or to be submitted elsewhere, as well as papers reporting ongoing research on which the authors wish to get feedback and overviews of PhD theses or research projects.
Authors are invited to submit their manuscripts in PDF format via EasyChair (tba).
For each accepted contribution, at least one of the authors is required to register for the conference and present the paper.
All accepted original contributions (regular papers and communications) will be published on CEUR Workshop Proceedings.
TCS Special Issue
Following recent tradition, we will invite the authors of a selection of paper to submit an extended version of their work to a special issue of Theoretical Computer Science journal.