Sunday, February 9, 2020

[DMANET] ICTCS 2020 @ ISCHIA - call for papers

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

ICTCS 2020 - 21st Italian Conference on Theoretical Computer Science

14-16 September 2020, Ischia, Italy

http://ictcs-2020.di.unisa.it


================
SCOPE AND TOPICS
================

The Italian Conference on Theoretical Computer Science (ICTCS) is the
conference of the Italian Chapter of the European Association for
Theoretical Computer Science.

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.

================
PAPER SUBMISSION
================

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:
https://easychair.org/conferences/?conf=ictcs2020

For each accepted contribution, at least one of the authors is required to
attend the conference and present the paper.
All accepted original contributions (regular papers and communications)
will be published on CEUR-WS.org.

============================
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.

===============
IMPORTANT DATES
===============

Abstract submission: 18 May 2020
Paper submission: 25 May 2020
Notification: 03 July 2020
Revised version for pre-proceedings: 20 July 2020
Conference: 14-16 September 2020
Final version for proceedings: 30 September 2020

==================
INVITED SPEAKERS
==================

Paolo Boldi (Università di Milano)
Paolo Ferragina (Università di Pisa)

====================
PROGRAM COMMITTEE
====================

Gennaro Cordasco (Co-chair, Università della Campania "Luigi
Vanvitelli", Italy)
Luisa Gargano (Co-chair, Università di Salerno, Italy)
Adele Rescigno (Co-chair, Università di Salerno, Italy)
Mario Alviano (Università della Calabria, Italy)
Davide Ancona (Università di Genova, Italy)
Marco Bernardo (Università di Urbino, Italy)
Davide Bilò (Università di Sassari, Italy)
Vittorio Bilò (Università del Salento, Italy)
Stefano Bistarelli (Università di Perugia, Italy)
Luca Bortolussi (Università di Trieste, Italy)
Luca Breveglieri (Politecnico di Milano, Italy)
Tiziana Calamoneri (Università di Roma "Sapienza", Italy)
Domenico Cantone (Università di Catania, Italy)
Ferruccio Damiani (Università di Torino, Italy)
Rocco De Nicola (IMT - School for Advanced Studies Lucca, Italy)
Gabriele Fici (Università di Palermo, Italy)
Michele Flammini (Gran Sasso Science Institute & University of L'Aquila,
Italy)
Luciano Gualà (Università di Tor Vergata, Italy)
Ivan Lanese (Università di Bologna, Italy)
Zsuzsanna Liptak (Università di Verona, Italy)
Michele Loreti (Università di Camerino, Italy)
Flaminia Luccio (Università di Venezia "Ca' Foscari", Italy)
Giovanni Manzini (Università del Piemonte Orientale, Italy)
Manuela Montangero (Università di Modena e Reggio Emilia, Italy)
Nadia Pisanti (Università di Pisa, Italy)
Guido Proietti (Università dell'Aquila, Italy)
Geppino Pucci (Università di Padova, Italy)
Fabrizio Riguzzi (Università di Ferrara, Italy)
Simone Tini (Università dell'Insubria, Italy)
Paola Vocca (Università della Tuscia, Italy)
Enea Zaffanella (Università di Parma, Italy)

--
Gennaro Cordasco
Universita' degli Studi della Campania "Luigi Vanvitelli"
Viale Ellittico, 81100 Caserta ITALY
e-mail: gennaro.cordasco[@]unicampania.it
https://sites.google.com/site/cordasco/

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************