ICTCS 2026 – 27th Italian Conference on Theoretical Computer Science
September 7–9, 2026
Udine, Italy
Conference website: https://ictcs2026.uniud.it/
Submission link: https://easychair.org/conferences/?conf=ictcs2026
---
SCOPE
The Italian Conference on Theoretical Computer Science (ICTCS) is the
conference of the Italian Chapter of the European Association for
Theoretical Computer Science (EATCS).
The aim of ICTCS is to foster cross-fertilization of ideas across
different areas of theoretical computer science and to provide an
environment where junior researchers and PhD students can interact
with senior researchers.
Researchers of all nationalities are invited to submit contributions
in any area of theoretical computer science.
TOPICS
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, multi-agent
systems, process algebras, quantum computing, reasoning, rewriting
systems, security and trust, search and planning, semantics,
specification and verification, symbolic AI, systems biology,
theorem proving, and type theory.
---
SPECIAL TRACKS
ICTCS 2026 includes three special tracks devoted to significant
application domains of theoretical computer science. The aim is to
solicit contributions that, while not primarily situated within
theoretical computer science, address substantive theoretical questions
emerging from applied research problems.
The three special tracks are as follows:
Cyber-Physical Systems:
Formal modeling, verification, synthesis, and analysis techniques for
systems integrating computational and physical processes, including
real-time, embedded, and safety-critical systems.
Quantum Computing:
Theoretical foundations of quantum computation, including quantum
algorithms, quantum complexity theory, formal models of quantum
computation, verification of quantum systems, and quantum programming
languages.
Bioinformatics:
Algorithmic, logical, and mathematical methods for computational
biology, including sequence analysis, biological networks, systems
biology modeling, and formal approaches to molecular and cellular
processes.
---
SUBMISSION
Two types of contributions (in English, CEUR-WS format) are solicited.
Regular papers:
Up to 12 pages (bibliography excluded), presenting original results
not published or submitted elsewhere. Authors may include an appendix;
reviewers are not required to consider it.
Communications:
Up to 5 pages (bibliography excluded), suitable for extended abstracts
of published or submitted papers, ongoing research reports, and PhD
thesis or project overviews.
Submissions must be in PDF format via EasyChair:
https://easychair.org/conferences/?conf=ictcs2026
All accepted original contributions (regular papers and communications
of at least 5 pages including bibliography) will be published on
CEUR-WS.org unless the authors opt out.
At least one author of each accepted paper must register and present
the contribution at the conference.
---
SPECIAL ISSUE
Authors of the best papers presented at the conference will be invited
to submit an extended version to a special issue of a Scopus-indexed
journal. Invitations will be sent after the conference. The special
issue is expected to appear by the end of 2027.
---
IMPORTANT DATES (AoE)
Submission deadline: June 14, 2026
Notification: July 21, 2026
Camera-ready: August 5, 2026
Conference: September 7–9, 2026
—
REGISTRATION FEES
Early registration fees:
Junior (non-faculty members: PhD students, post-docs, etc.): 290 EUR
Senior (faculty members: professors and researchers): 350 EUR
Late registration fees:
Junior (non-faculty members: PhD students, post-docs, etc.): 350 EUR
Senior (faculty members: professors and researchers): 420 EUR
---
PROGRAM COMMITTEE
Mario Alviano - University of Calabria
Marcella Anselmo - University of Salerno
Alessandro Artale - Free University of Bolzano-Bozen
Marco Bernardo - University of Urbino
Filippo Bonchi - University of Pisa
Michele Boreale - University of Firenze
Linda Brodo - University of Sassari
Sara Brunetti - University of Siena
Giuseppa Castiglione - University of Palermo
Alessandro Cimatti - Fondazione Bruno Kessler
Ugo Dal Lago - University of Bologna and INRIA Sophia Antipolis
Irene Finocchi - LUISS Guido Carli University
Francesco Gavazzo - University of Pisa
Zsuzsanna Liptak - University of Verona
Maria Madonia - University of Catania
Carlo Mereghetti - University of Milano Statale
Fabio Mogavero - University of Napoli Federico II
Alfredo Navarra - University of Perugia
Roberto Pagliarini - University of Udine
Francesco Pasquale - University of Roma Tor Vergata
Adriano Peron - University of Trieste
Michele Pinna - University of Cagliari
Matteo Pradella - Politecnico di Milano
Guido Proietti - University of L'Aquila
Paola Quaglia - University of Trento
Barbara Re - University of Camerino
Sabina Rossi - University of Venice Ca' Foscari
Luca Roversi - University of Torino
Francesca Scozzari - University of Chieti-Pescara
Simone Tini - Univerisity of Insubria
Cosimo Vinci - University of Salento
Enea Zaffanella - University of Parma
Paolo Zuliani - University of Roma La Sapienza
---
CONFERENCE CHAIRS
Luca Geatti (University of Udine)
Carla Piazza (University of Udine)
---
ORGANISING COMMITTEE
Andrea Brunello (University of Udine)
Dario Della Monica (University of Udine)
Mattia Guiotto (University of Udine)
Angelo Matteo (University of Udine)
Michele Mignani (University of Udine)
Stefano Pessotto (University of Udine)
Gabriele Puppis (University of Udine)
Nicola Saccomanno (University of Udine)
**********************************************************
*
* 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/
*
**********************************************************
Posts
