posted by user: michele_loreti || 2034 views || tracked by 9 users: [display]

ICTCS 2015 : Sixteenth Italian Conference on Theoretical Computer Science


Conference Series : Italian Conference on Theoretical Computer Science
When Sep 9, 2015 - Sep 11, 2015
Where Firenze
Abstract Registration Due May 25, 2015
Submission Deadline Jun 1, 2015
Notification Due Jul 10, 2015
Final Version Due Aug 31, 2015
Categories    computer science   theoretical computer science

Call For Papers

ICTCS 2015
Sixteenth Italian Conference on Theoretical Computer Science
Firenze, Italy, September 9-11, 2015

ICTCS-2015, the 2015 Italian Conference on Theoretical Computer Science,
is the 16th conference of the Italian Chapter of EATCS. It will be held
in Firenze, September 9-11 2015 at University of Firenze. 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.
The event is open to both Italian and foreign researchers, which are welcome
to submit papers and attend the Conference.

Invited speakers
* Luca Aceto, University of Reykjavik (Iceland).
* Silvio Micali, Massachusetts Institute of Technology, Cambridge (USA).

Program co-chairs
* Pierluigi Crescenzi (Univ. Firenze)
* Michele Loreti (Univ. Firenze)

Program committee
* Davide Ancona (Univ. Genova)
* Stefano Bistarelli (Univ. Perugia)
* Silvia Crafa (Univ. Padova)
* Ugo Dal Lago (Univ. Bologna)
* Andrea Formisano (Univ. Perugia)
* Flaminia Luccio (Univ. Ca’ Foscari Venezia)
* Marino Miculan (Univ. Udine)
* Luca Moscardelli (Univ. Chieti-Pescara)
* Luca Padovani (Univ. Torino)
* Paolo Penna (LIAFA and Univ. Paris Diderot)
* Nadia Pisanti (Univ. Pisa)
* Alfredo Pulvirenti (Univ. Catania)
* Francesco Tiezzi (Univ. Camerino)
* Ivan Visconti (Univ. Salerno)

Local contacts
* Pierluigi Crescenzi
* Michele Loreti
* Betti Venneri

Important dates
* Submission of Abstracts: 25 May 2015
* Submission of Papers: 1 June 2015
* Notification of acceptance: 10 July 2015
* Final version: 31 August 2015
* Conference: 9-11 September 2015

Two types of contributions are solicited.
* Regular papers: up to 15 pages in ENTCS style. Full original papers, presenting
novel results, not appeared or submitted elsewhere.

* Communications: up to 5 pages in ENTCS 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 regular papers, presented at the conference,
will appear in a number of Electronic Notes in Theoretical Computer Science (ENTCS).

Publication of a selection of the papers in a special issue of a journal is under

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

Related Resources

ICML 2017   34th International Conference on Machine Learning
ICCV 2017   International Conference on Computer Vision
IJE 2016   International Journal of Education
IEEE ICECCT 2017   2017 IEEE International Conference on Electrical, Computer and Communication Technologies
DCFS 2017   19th International Conference on Descriptional Complexity of Formal Systems
ICINCO 2017   International Conference on Informatics in Control, Automation and Robotics
ICTCS 2016
DSAA 2017   The 4th IEEE International Conference on Data Science and Advanced Analytics 2017
ISMIS 2017   23rd International Symposium on Methodologies for Intelligent Systems