The Italian Conference on Theoretical Computer Science (ICTCS) is the conference of the Italian Chapter of the European Association for Theoretical Computer Science (IC-EATCS). The purpose of ICTCS is to foster the cross-fertilization of ideas from diferent areas of theoretical computer science. In particular, ICTCS provides an attractive venue where junior researchers and PhD students can meet senior researchers. Contributions in any area of theoretical computer science are invited from researchers of all nationalities. The topics of interest include, but are not limited to: 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. The 26th Italian Conference on Theoretical Computer Science (ICTCS'25) was held in the Campus of Pescara, at the Department of Economic Studies of the University of Chieti-Pescara. Among the 29 submissions, 12 were accepted as regular papers, 10 as communications and 4 for presentation only. Each submission was assigned to three members of the Program Committee. The review process resulted in a total of 83 reviews, 70 by the PC, and 13 by sub-reviewers. Most of the authors were afiliated to Italian institutions. Foreign ones were from Czechia, Denmark, Estonia, France, Germany, Hungary, India, Iran, Israel, Latvia, Russia and United States. A total of 45 people attended the conference. Invited speakers were Kim G. Larsen (Aalborg University, Denmark) and Giuseppe Persiano (University of Salerno, Italy) who gave the talks “Priced and Energy Timed Automata” and “Theoretical Computer Science and Explanations that Transform the World”, respectively. The conference hosted the IC-EATCS annual meeting, and the ceremonies to award: Andrea Celli (Bocconi University, Italy) as the IC-EATCS best young researcher who gave the talk “Single-dimensional contract design”; Francesco Masillo (University of Verona, Italy) as the best IC-EATCS PhD Dissertation; Francesca Ugazio (University of Verona, Italy) as the best IC-EATCS MSc thesis.
• 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 Zafanella (Università di Parma)
• 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)
This conference was partially supported by the GNCS (Gruppo Nazionale di Calcolo Simbolico) group of the Istituto Nazionale di Alta Matematica — INdAM.
The authors have not employed any Generative AI tools.