Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] CFP ICTCS 2021 - 22th Italian Conference on Th...

view this post on Zulip Email Gateway (Mar 26 2021 at 10:56):

From: Claudio Sacerdoti Coen <>
ICTCS 2021 - 22th Italian Conference on Theoretical Computer Science

13-15 September 2021, Bologna, Italy




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


Two types of contributions, written in English and formatted
accordingto 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 regula 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

Authors are invited to submit their manuscripts in PDF format via

All accepted original contributions (regular papers and communications)
will be published on

For each accepted contribution, at least one of the authors is required
to attend the conference and present the paper.

TCS Special Issue

Following the tradition, the authors of the very best papers presented
at the conference will be invited to submit an extended version of
their work in a special issue of Theoretical Computer Science journal.
Invitations will be sent out after the workshop. The target is to
publish the special issue by the end of the year 2022.


Abstract submission: 17 May 2021
Paper submission: 24 May 2021
Notification: 30 June 2021
Revised version for pre-proceedings: 19 July 2021
Conference: 13-15 September 2021
Final version for CEUR-WS proceedings: 31 October 2021 (tentative)


Luca Padovani (Università di Torino)
Nadia Pisanti (Università di Pisa)


Program Committee:
Claudio Sacerdoti Coen (co-chair) (University of Bologna, Italy)
Ivano Salvo (co-chair) (University of Roma “Sapienza”, Italy)
Franco Barbanera (University of Catania, Italy)
Davide Bilò (University of Sassari, Italy)
Stefano Bistarelli (University of Perugia, Italy)
Davide Bresolin (University of Padua, Italy)
Mattia D’Emidio (University of L’Aquila; Gran Sasso Science
Institute, Italy)
Miriam Di Ianni (University of Rome "Tor Vergata", Italy)
Diodato Ferraioli (University of Salerno, Italy)
Roberta Gori (University of Pisa, Italy)
Ruggero Lanotte (University of Insubria, Italy)
Andrea Marino (University of Florence, Italy)
Isabella Mastroeni (University of Verona, Italy)
Marino Miculan (DMIF, University of Udine, Italy)
Fabio Mogavero (University of Naples Federico II, Italy)
Manuela Montangero (University of Modena e Reggio Emilia, Italy)
Luca Roversi (University of Torino, Italy)
Marinella Sciortino (University of Palermo, Italy)
Francesca Scozzari (University of Chieti-Pescara, Italy)
Elena Zucca (DIBRIS – University of Genova, Italy)
Roberto Zunino (University of Trento, Italy)

Last updated: Dec 05 2021 at 23:19 UTC