[TYPES/announce] ICTCS24 - Second CfP

[Riccardo Treglia]

*Call for Papers *ICTCS 2024 – 25th Italian Conference on Theoretical
Computer Science September 11-13, 2024, Turin, Italy website: https://urldefense.com/v3/__https://ictcs__;!!IBzWLUs!QAEy61EdWYwsptzVcl9_kq-FaKrhx7R5AvwbnLLi1hItX3AYlCIwB51dg5Isbr2Bb37D0EYk3iN29V83ukA11JOY7RRijn31yhGpmGVEdT0$ 
2024.di.unito.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:
agents, 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, process algebras, quantum
computing, rewriting systems, security and trust, semantics, specification
and verification, systems biology, theorem proving, type theory.

Paper Submission

Two types of contributions, written in English and formatted according to
Springer LNCS style, are solicited.

Regular papers: up to 12 pages excluding bibliography, 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 PLUS bibliography, suitable for extended
abstracts of papers already appeared/submitted or to be submitted
elsewhere, as well as papers reporting ongoing research on which the
authors wish to get feedback and overviews of PhD theses or research
projects.

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

Submission Page:  https://urldefense.com/v3/__https://easychair.org/conferences/?conf=ictcs2024__;!!IBzWLUs!QAEy61EdWYwsptzVcl9_kq-FaKrhx7R5AvwbnLLi1hItX3AYlCIwB51dg5Isbr2Bb37D0EYk3iN29V83ukA11JOY7RRijn31yhGpc0ixwVI$ 

All accepted original contributions (regular papers and communications)
will be published on CEUR-WS.org.

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 2025.

Important Dates

Paper submission: 9 June, 2024
Notification: 14 July, 2024
Revised version for pre-proceedings: 30 August, 2024
Conference: 11 -13 September, 2024
Final version for proceedings: TBA

*Program Committee*

Michele Boreale (Università di Firenze)
Paola Bonizzoni (Università di Milano – Bicocca)
Marco Bernardo (Università di Urbino)
Franco Barbanera (Università di Catania)
Giuseppa Castiglione (Università di Palermo)
Ugo de’Liguoro (chair) (Università di Torino)
Annalisa De Bonis (Università di Salerno)
Andrea Frosini (Università di Firenze)
Francesco Gavazzo (Università di Padova)
Dora Giammarresi (Università di Roma Tor Vergata/LUISS)
Roberta Gori (Università di Pisa)
Ruggero Lanotte (Università di Insubria)
Enrico Malizia (Università di Bologna)
Viviana Mascardi (Università di Genova)
Maria Chiara Meo (Università di Chieti e Pescara)
Fabio Mogavero (Università di Napoli – Federico II)
Carla Piazza (Università di Udine)
Luca Padovani (Università di Camerino)
Michele Pinna (Università di Cagliari)
Sabina Rossi (Università di Venezia Ca’ Foscari)
Emilio Tuosto (Gran Sasso Science Institute)
Cosimo Vinci (Università del Salento)
Margherita Zorzi (Università di Verona)

Organising Committee
Ugo de’Liguoro (Università di Torino)
Matteo Palazzo (Università di Torino)
Daniele Pautasso (Università di Torino)
Luca Roversi (Università di Torino)
Riccardo Treglia (King’s College London)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20240516/10563537/attachment.htm>