ICTCS 2014 -- Call-for-Papers

[ICTCS2014]

[apologies for multiple posting]

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

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



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 committee:
==================

     Paolo Baldan (Univ. di Padova)
     Giampaolo Bella (Univ. di Catania)
     Marco Bernardo (Univ. di Urbino)
     Davide Bilo (Univ. di Sassari)
     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)
     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)

Program co-chairs:
==================
     Stefano Bistarelli (Univ. di Perugia)
     Andrea Formisano (Univ. di Perugia)



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



Local contacts:
===============
Stefano Bistarelli & Andrea Formisano
E-mail: ictcs2014 at 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:

Short papers: 5 pages in llncs style.
     Suitable for extended abstracts of papers already appeared or
     submitted elsewhere; reports on ongoing researches on which the
     authors wish to get feedback at ICTCS; overviews of PhD-theses; etc...

Long papers: 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 long
papers may add an appendix containing further material (or indicate
a web site containing longher version of the paper). In any case the
reviewers are not required to consider such furhter material in their
evaluation.  Reviewing will be non-blind.


For each accepted paper at least one of the authors is required to
attend at the conference and present the paper.
All accepted contribution (short and long), 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 proceedings:
============================

The organizing committee is considering the publication of a post-conference
special issue of an international journal, including a selection of the
long contributions presented at the conference.
The interested authors will be asked to submit an improved version of
their long papers. The paper submitted for the journal issue should be
significantly revised and extended with respect to the conference version.
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.



=====================================================