[apologies for multiple posting]

======================= CALL FOR PAPERS =============================

                        ICTCS 2014

Fifteenth Italian Conference on Theoretical Computer Science Perugia, Italy, September 17-19, 2014 http://www.dmi.unipg.it/ictcs2014

Conference proceedings on  CEUR Workshop Proceedings Series
 Post-conference selection on Theoretical Computer Science

ICTCS-2014, the 2014 Italian Conference on Theoretical Computer Science, is the 15th conference of the Italian Chapter of EATCS. It will be held in Perugia, September 17-19 2014 at the Department of Mathematics and Computer Science.

The scope of the meeting is fostering the cross-fertilisation 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. 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
   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

The event is open to both Italian and foreign researchers, which are welcome to submit papers and attend the Conference.

Invited speakers:

 Rocco De Nicola. IMT - Institute for Advanced Studies, Lucca
 Giuseppe Liotta. Department of Engineering, University of Perugia

Program co-chairs:

 Stefano Bistarelli (Univ. di Perugia)
 Andrea Formisano (Univ. di Perugia)

Program committee:

 Paolo Baldan (Univ. di Padova)
 Giampaolo Bella (Univ. di Catania)
 Marco Bernardo (Univ. di Urbino)
 Davide Bilo (Univ. di Sassari)
 Stefano Bistarelli (Univ. di Perugia)
 Michele Boreale (Univ. di Firenze)
 Tiziana Calamoneri (Sapienza Univ. di Roma)
 Antonio Caruso (Univ. del Salento)
 Ferdinando Cicalese (Univ. di Salerno)
 Flavio Corradini (Univ. di Camerino)
 Giorgio Delzanno (Univ. di Genova)
 Mariangiola Dezani (Univ. di Torino)
 Eugenio Di Sciascio (Politecnico di Bari)
 Agostino Dovier (Univ. di Udine)
 Marco Faella (Univ. di Napoli "Federico II")
 Michele Flammini (Univ. di L'Aquila)
 Andrea Formisano (Univ. di Perugia)
 Maurizio Gabbrielli (Univ. di Bologna)
 Fabio Gadducci (Univ. di Pisa)
 Raffaella Gentilini (Univ. di Perugia)
 Laura Giordano (Univ. del Piemonte Orientale)
 Giuseppe F. Italiano (Univ. di Roma "Tor Vergata")
 Sabrina Mantaci (Univ. di Palermo)
 Isabella Mastroeni (Univ. di Verona)
 Manuela Montangero (Univ. di Modena e Reggio Emilia)
 Maurizio Proietti (IASI-CNR)
 Antonino Salibra (Univ. Ca'Foscari Venezia)
 Francesco Santini (IIT-CNR, Univ. di Perugia)
 Marinella Sciortino (Univ. di Palermo)
 Maurice ter Beek (ISTI-CNR)

Venue:

Dipartimento di Matematica e Informatica Universita` degli Studi di Perugia via Vanvitelli, 1 I-06123 Perugia, Italy

Local contacts:

Conference Chairs: Stefano Bistarelli & Andrea Formisano E-mail: ictcs2014(a)dmi.unipg.it Conference web-site: http://www.dmi.unipg.it/ictcs2014

Important dates:

Submission deadline: 27 May 2014 Notification of acceptance: 15 July 2014 Final version: 10 August 2014 Conference: 17-19 September 2014

Submissions:

Two types of contributions are solicited:

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 rewiewing 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 furhter material in their evaluation.

For each accepted contribution, at least one of the authors is required to attend at the conference and present the paper. All accepted contribution (communications and regular papers), presented at the conference, will appear in a number of CEUR Workshop Proceedings (http://ceur-ws.org/).

Articles must be written in English and formatted using the Springer LNCS style (see the details on the conference web site).

Submission page:

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

https://www.easychair.org/conferences/?conf=ictcs2014

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.