[Event at CIG] ICTCS 2025 - Call for Papers

[Francesca Scozzari]

ICTCS 2025 – 26th Italian Conference on Theoretical Computer Science
September 10-12, 2025, Pescara, Italy
https://ictcs2025.unich.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 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:
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, multiagent systems, process 
algebras, quantum computing, reasoning, rewriting systems, security and 
trust, search and planning, semantics, specification and verification, 
symbolic AI, systems biology, theorem proving, type theory.

*Paper Submission*

Two types of contributions, written in English and formatted according 
to CEUR-WS style, are solicited.

Regular papers: up to 12 pages (bibliography excluded), 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 (bibliography excluded), suitable for 
extended abstracts of papers already appeared/submitted or to be 
submitted elsewhere, as well as papers reporting ongoing research and 
overviews of PhD theses or research projects.

Authors are invited to submit their manuscripts in PDF format by accessing:

https://easychair.org/my/conference?conf=ictcs2025

All accepted original contributions (regular papers and communications 
with at least 5 pages including the bibliography) shall be submitted to 
CEUR-WS.org for online publication (unless the authors waive). Please 
use the customized LaTeX style provided on the conference website.

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 conference. The target is to 
publish the special issue by the end of the year 2026.

*Important Dates*

Submission deadline: June 15, 2025
Notification of acceptance: July 21, 2025
Camera-ready: August 24, 2025
Conference: September 10-12, 2025

*Program Committee*

Mario Alviano (Università della Calabria)
Vincenzo Auletta (Università di Salerno)
Viviana Bono (Università di Torino)
Domenico Cantone (Università di Catania)
Stefania Costantini (Università dell'Aquila)
Gianlorenzo D'Angelo (Gran Sasso Science Institute)
Ugo Dal Lago (Università di Bologna)
Luca Geatti (Università di Udine)
Laura Giordano (Università del Piemonte Orientale)
Roberta Gori (Università di Pisa)
Isabella Mastroeni (Università di Verona)
Paolo Massazza (Università dell'Insubria)
Emanuela Merelli (Università di Camerino)
Luca Moscardelli (Università di Chieti-Pescara) (co-Chair)
Beatrice Palano (Università di Milano)
Francesco Pasquale (Università di Roma Tor Vergata)
Sabina Rossi (Università Ca' Foscari Venezia)
Ivano Salvo (Università di Roma Sapienza)
Arnaud Sangnier (Università di Genova)
Francesco Santini (Università di Perugia)
Francesca Scozzari (Università di Chieti-Pescara) (co-Chair)
Marinella Sciortino (Università di Palermo)
Cosimo Vinci (Università del Salento)
Enea Zaffanella (Università di Parma)

*Organising Committee*

Gianluca Amato (Università di Chieti-Pescara)
Fabio Fioravanti (Università di Chieti-Pescara)
Chiara Meo (Università di Chieti-Pescara)
Gianpiero Monaco (Università di Chieti-Pescara)
Luca Moscardelli (Università di Chieti-Pescara)
Francesca Scozzari (Università di Chieti-Pescara)