ICTCS 2026: 27th Italian Conference on Theoretical Computer Science Sala Tomadini, via Tomadini 30 Udine, Italy, September 7-9, 2026 |
| Conference website | https://ictcs2026.uniud.it/ |
| Submission link | https://easychair.org/conferences/?conf=ictcs2026 |
| Submission deadline | June 14, 2026 |
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-agentsystems, process algebras, quantum computing, reasoning, rewritingsystems, 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)