<div dir="ltr"><div dir="ltr"><p style="color:rgb(36,36,36);font-size:15px;direction:ltr;margin-top:0px;margin-bottom:27pt;line-height:1.2"><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:9.75pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline;color:black"><b><span style="border:0px;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:inherit">Call</span> for Papers <br></b></span><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:9.75pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(20,20,18)"><span style="border:0px;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:inherit">ICTCS</span> 2024 – 25th Italian Conference on Theoretical Computer Science September 11-13, 2024, Turin, Italy website: </span><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:9.75pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(17,85,204)"><a href="https://urldefense.com/v3/__https://ictcs2024.di.unito.it/__;!!IBzWLUs!SWnef3qGbgzdcB9yN2VkMwKoMy3TBbp4TNHFHNCvljhXVd0lwZYiIPSL2xPXS0Era8r2cU-_4Bo8jPgW8mwTrs6pNMQ26pGyviRHyR_t0_4$" rel="noopener noreferrer" id="m_2771340196117329209gmail-OWA7d8be9ed-2625-36a3-cda1-0fffbe4fafb6" target="_blank" style="border:0px;font:inherit;margin:0px;padding:0px;vertical-align:baseline">https://<span style="border:0px;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:inherit">ictcs</span>2024.di.unito.it/</a></span></p><p style="color:rgb(36,36,36);font-size:15px;direction:ltr;margin-top:0px;margin-bottom:0px;padding:0px 0px 18pt;line-height:1.2"><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:700;font-stretch:inherit;font-size:9.75pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline;color:black">Scope and Topics</span></p><p style="color:rgb(36,36,36);font-size:15px;direction:ltr;margin-top:0px;margin-bottom:0px;padding:0px 0px 18pt;line-height:1.2"><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:9.75pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(20,20,18)">The Italian Conference on Theoretical Computer Science (<span style="border:0px;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:inherit">ICTCS</span>) is the conference of the Italian Chapter of the European Association for Theoretical Computer Science.<br><br>The purpose of <span style="border:0px;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:inherit">ICTCS</span> is to foster the cross-fertilization of ideas stemming from different areas of theoretical computer science. In particular, <span style="border:0px;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:inherit">ICTCS</span> provides an ideal environment where junior researchers and PhD students can meet senior researchers. </span></p><p style="color:rgb(36,36,36);font-size:15px;direction:ltr;margin-top:0px;margin-bottom:0px;padding:0px 0px 18pt;line-height:1.2"><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:9.75pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(20,20,18)">Contributions in any area of theoretical computer science are warmly invited from researchers of all nationalities.<br><br></span><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:9.75pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline;color:black">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.</span></p><p style="color:rgb(36,36,36);font-size:15px;direction:ltr;margin-top:0px;margin-bottom:0px;padding:0px 0px 18pt;line-height:1.2"><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:700;font-stretch:inherit;font-size:9.75pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline;color:black">Paper Submission</span></p><p style="color:rgb(36,36,36);font-size:15px;direction:ltr;margin-top:0px;margin-bottom:0px;padding:0px 0px 18pt;line-height:1.2"><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:9.75pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(20,20,18)">Two types of contributions, written in English and formatted according to Springer LNCS style, are solicited.<br><br>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.<br><br>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.<br><br>Authors are invited to submit their manuscripts in PDF format by accessing:</span></p><p style="color:rgb(36,36,36);font-size:15px;direction:ltr;margin-top:0px;margin-bottom:0px;padding:0px 0px 18pt;line-height:1.2"><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:700;font-stretch:inherit;font-size:9.75pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(20,20,18)">Submission Page: </span><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:700;font-stretch:inherit;font-size:9.75pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(80,0,80)"> </span><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:700;font-stretch:inherit;font-size:9.75pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(17,85,204)"><a href="https://urldefense.com/v3/__https://easychair.org/conferences/?conf=ictcs2024__;!!IBzWLUs!SWnef3qGbgzdcB9yN2VkMwKoMy3TBbp4TNHFHNCvljhXVd0lwZYiIPSL2xPXS0Era8r2cU-_4Bo8jPgW8mwTrs6pNMQ26pGyviRHrajpbM0$" rel="noopener noreferrer" id="m_2771340196117329209gmail-OWA7538d3f6-8162-2005-ff75-99755a6fc70d" target="_blank" style="border:0px;font:inherit;margin:0px;padding:0px;vertical-align:baseline">https://easychair.org/conferences/?conf=<span style="border:0px;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:inherit">ictcs</span>2024</a></span><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:9.75pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(202,60,8)"><br><br></span><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:9.75pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(20,20,18)">All accepted original contributions (regular papers and communications) will be published on CEUR-WS.org.<br><br>For each accepted contribution, at least one of the authors is required to attend the conference and present the paper.</span></p><p style="color:rgb(36,36,36);font-size:15px;direction:ltr;margin-top:0px;margin-bottom:0px;padding:1pt 0px 19pt;line-height:1.2"><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:700;font-stretch:inherit;font-size:9.75pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline;color:black">TCS Special Issue</span></p><p style="color:rgb(36,36,36);font-size:15px;direction:ltr;margin-top:0px;margin-bottom:0px;padding:0px 0px 18pt;line-height:1.2"><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:9.75pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(20,20,18)">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.<br>Invitations will be sent out after the workshop. The target is to publish the special issue by the end of the year 2025.</span></p><p style="color:rgb(36,36,36);font-size:15px;direction:ltr;margin-top:0px;margin-bottom:0px;padding:1pt 0px 19pt;line-height:1.2"><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:700;font-stretch:inherit;font-size:9.75pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline;color:black">Important Dates</span></p><p style="color:rgb(36,36,36);font-size:15px;direction:ltr;margin-top:0px;margin-bottom:0px;padding:0px 0px 18pt;line-height:1.2"><span style="border:0px;font-style:inherit;font-variant:inherit;font-stretch:inherit;font-size:9.75pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(20,20,18)"><span style="font-weight:inherit">Paper submission: </span><strike style="font-weight:inherit">9 June </strike><b>23 June</b><span style="font-weight:inherit"> 2024 </span><br><span style="font-weight:inherit">Notification: <strike>14 July</strike> </span><b>21 July</b><span style="font-weight:inherit"> 2024 </span><br><span style="font-weight:inherit">Revised version for pre-proceedings: 25 August, 2024 </span><br><span style="font-weight:inherit">Conference: 11 -13 September, 2024 </span><br><span style="font-weight:inherit">Final version for proceedings: TBA</span><br><br><b>Program Committee</b></span></p><p style="direction:ltr;margin-top:0px;margin-bottom:0px;padding:0px 0px 18pt;line-height:1.2"><font color="#141412" face="Arial, sans-serif">Michele Boreale (Università di Firenze)<br></font><span style="color:rgb(20,20,18);font-family:Arial,sans-serif">Paola Bonizzoni (Università di Milano – Bicocca)<br></span><span style="color:rgb(20,20,18);font-family:Arial,sans-serif">Marco Bernardo (Università di Urbino)<br></span><span style="color:rgb(20,20,18);font-family:Arial,sans-serif">Franco Barbanera (Università di Catania)<br></span><span style="color:rgb(20,20,18);font-family:Arial,sans-serif">Giuseppa Castiglione (Università di Palermo)<br></span><span style="color:rgb(20,20,18);font-family:Arial,sans-serif">Ugo de’Liguoro (chair) (Università di Torino)<br></span><span style="color:rgb(20,20,18);font-family:Arial,sans-serif">Annalisa De Bonis (Università di Salerno)<br></span><span style="color:rgb(20,20,18);font-family:Arial,sans-serif">Andrea Frosini (Università di Firenze)<br></span><span style="color:rgb(20,20,18);font-family:Arial,sans-serif">Francesco Gavazzo (Università di Padova)<br></span><span style="color:rgb(20,20,18);font-family:Arial,sans-serif">Dora Giammarresi (Università di Roma Tor Vergata)<br></span><span style="color:rgb(20,20,18);font-family:Arial,sans-serif">Roberta Gori (Università di Pisa)<br></span><span style="color:rgb(20,20,18);font-family:Arial,sans-serif">Ruggero Lanotte (Università di Insubria)<br></span><span style="color:rgb(20,20,18);font-family:Arial,sans-serif">Enrico Malizia (Università di Bologna)<br></span><span style="color:rgb(20,20,18);font-family:Arial,sans-serif">Viviana Mascardi (Università di Genova)<br></span><span style="color:rgb(20,20,18);font-family:Arial,sans-serif">Maria Chiara Meo (Università di Chieti e Pescara)<br></span><span style="color:rgb(20,20,18);font-family:Arial,sans-serif">Fabio Mogavero (Università di Napoli – Federico II)<br></span><span style="color:rgb(20,20,18);font-family:Arial,sans-serif">Carla Piazza (Università di Udine)<br></span><span style="color:rgb(20,20,18);font-family:Arial,sans-serif">Luca Padovani (Università di Camerino)<br></span><span style="color:rgb(20,20,18);font-family:Arial,sans-serif">Michele Pinna (Università di Cagliari)<br></span><span style="color:rgb(20,20,18);font-family:Arial,sans-serif">Sabina Rossi (Università di Venezia Ca’ Foscari)<br></span><span style="color:rgb(20,20,18);font-family:Arial,sans-serif">Emilio Tuosto (Gran Sasso Science Institute)<br></span><span style="color:rgb(20,20,18);font-family:Arial,sans-serif">Cosimo Vinci (Università del Salento)<br></span><span style="color:rgb(20,20,18);font-family:Arial,sans-serif">Margherita Zorzi (Università di Verona)</span></p><p style="color:rgb(36,36,36);font-size:15px;direction:ltr;margin-top:0px;margin-bottom:0px;padding:1pt 0px 19pt;line-height:1.2"><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:700;font-stretch:inherit;font-size:9.75pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline;color:black">Organising Committee</span></p><div style="font-size:9.75pt;border:0px;font-variant-numeric:inherit;font-variant-east-asian:inherit;font-variant-alternates:inherit;font-stretch:inherit;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline;color:black">Ugo de’Liguoro (Università di Torino)<br>Matteo Palazzo (Università di Torino)<br>Daniele Pautasso (Università di Torino)<br>Luca Roversi (Università di Torino)<br>Riccardo Treglia (King’s College London)</div></div></div>