Pescara



ICTCS 2025
26th Italian Conference on Theoretical Computer Science

Pescara (IT), September 10-12, 2025


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.

Topics

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:

easychair.org/conferences/?conf=ictcs2025

All accepted original contributions (regular papers and communications with at least 5 pages including the bibliography) will be published on CEUR-WS.org (unless the authors waive). Please, use the customized LaTeX we make available at Submission template on this site.

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

Organizing committee

Conference location

Università degli Studi “G. d'Annunzio” di Chieti-Pescara
viale Pindaro 42, Pescara
Room 10-12

Reaching Pescara

Pescara has a small airport, Abruzzo Airport, very close to downtown. If traveling directly to Abruzzo Airport is not an option (very likely!), consider going through Rome Fiumicino Airport. From there, there are many bus connections (3h10m - 4h00m travel time), with either Prontobus, Di Carlo Bus or Flixbus.

Another option is landing in Rome Ciampino Airport: from there you can find bus connections to Pescara (~ 3h30m travel time) with Prontobus, Flixbus or itabus. If you are in Rome but not at the airport, all companies above have buses departing from Rome Tiburtina bus station.

You can also reach Pescara by trains departing from Rome Tiburtina train station. However, trains on the line Rome–Pescara are quite slow. On the bright side, the trip by train is interesting since trains pass trough many small rural villages in the innermost part of Italy. If you have time to spare (and no work to do... probably no Internet connection there) it could be an alternative.

If you are in Italy everywhere else, you can reach Pescara by bus (see bus companies above) or train.

Accommodations

This is a list of hotels in downtown Pescara or near the place of the conference.

4-stars hotel
Location: center of Pescara, at the seafront (the conference place can be reached by bus in 15 minutes)
4-stars hotel
Location: center of Pescara (the conference place can be reached by bus in 15 minutes)
3-stars hotel
Location: center of Pescara (the conference place can be reached by bus in 15 minutes)
3-stars hotel
Location: close to the university, at the seafront (the workshop place can be reached on foot in 15 minutes)
Location: close to the university (the conference place can be reached on foot in 5 minutes)
3-stars hotel
Location: at the seafront (the conference place can be reached on foot in 15 minutes)


Past editions


Sponsors

Università degli Studi “G. d'Annunzio” di Chieti-Pescara Dipartimento di Economia

Logo INdAM