<div dir="ltr"><div dir="ltr"><div dir="ltr"><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-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"><span style="font-style:inherit;font-variant:inherit;font-stretch:inherit;font-size:inherit;line-height:inherit;font-family:inherit;font-size-adjust:inherit;font-kerning:inherit;font-feature-settings:inherit;border:0px;margin:0px;padding:0px;vertical-align:baseline;color:inherit">** Call</span> for Participation ** <br></span><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="border:0px;font-style:inherit;font-variant:inherit;font-stretch:inherit;font-size:inherit;line-height:inherit;font-family:inherit;font-size-adjust:inherit;font-kerning:inherit;font-feature-settings: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-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!UapGYSvCzQ5GnZyftJ_bcLa0L8RXpN8_uHWfFNshlquJL4n5hHTGmpRhAXMtkCRpEnK-y6Cg1SHG1bGmTsYtkdbvyIaqc1i4kOOz1t4e8Xg$" rel="noopener noreferrer" id="m_-2476191995262531253m_-3977257366819068057m_2771340196117329209gmail-OWA7d8be9ed-2625-36a3-cda1-0fffbe4fafb6" style="border:0px;font-style:inherit;font-variant:inherit;font-stretch:inherit;font-size:inherit;line-height:inherit;font-family:inherit;font-size-adjust:inherit;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline" target="_blank">https://<span style="border:0px;font-style:inherit;font-variant:inherit;font-stretch:inherit;font-size:inherit;line-height:inherit;font-family:inherit;font-size-adjust:inherit;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline;color:inherit">ictcs</span>2024.di.unito.it/</a></span></p><p style="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"><font color="#000000">** Scope and Topics **<br></font></span><span style="color:rgb(20,20,18);font-family:Arial,sans-serif;font-size:9.75pt;font-style:inherit;font-variant-ligatures:inherit;font-variant-caps:inherit;font-weight:inherit">The Italian Conference on Theoretical Computer Science (</span><span style="color:inherit;font:inherit;border:0px;margin:0px;padding:0px;vertical-align:baseline">ICTCS</span><span style="color:rgb(20,20,18);font-family:Arial,sans-serif;font-size:9.75pt;font-style:inherit;font-variant-ligatures:inherit;font-variant-caps:inherit;font-weight:inherit">) is the conference of the Italian Chapter of the European Association for Theoretical Computer Science.<br></span><span style="color:rgb(20,20,18);font-family:Arial,sans-serif;font-size:9.75pt;font-style:inherit;font-variant-ligatures:inherit;font-variant-caps:inherit;font-weight:inherit">The purpose of </span><span style="color:inherit;font:inherit;border:0px;margin:0px;padding:0px;vertical-align:baseline">ICTCS</span><span style="color:rgb(20,20,18);font-family:Arial,sans-serif;font-size:9.75pt;font-style:inherit;font-variant-ligatures:inherit;font-variant-caps:inherit;font-weight:inherit"> is to foster the cross-fertilization of ideas stemming from different areas of theoretical computer science. In particular, </span><span style="color:inherit;font:inherit;border:0px;margin:0px;padding:0px;vertical-align:baseline">ICTCS</span><span style="color:rgb(20,20,18);font-family:Arial,sans-serif;font-size:9.75pt;font-style:inherit;font-variant-ligatures:inherit;font-variant-caps:inherit;font-weight:inherit"> provides an ideal environment where junior researchers and PhD students can meet senior researchers. <br></span><span style="font-family:Arial,sans-serif;font-size:9.75pt;font-style:inherit;font-variant-ligatures:inherit;font-variant-caps:inherit;font-weight:inherit"><font color="#141412">Contributions in any area of theoretical computer science are warmly invited from researchers of all nationalities.<br></font></span><span style="color:black;font-family:Arial,sans-serif;font-size:9.75pt;font-style:inherit;font-variant-ligatures:inherit;font-variant-caps:inherit;font-weight:inherit">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="margin-top:0px;margin-bottom:0px;padding:0px 0px 18pt;line-height:1.2"><font color="#000000"><span style="font-size:9.75pt;border:0px;font-style:inherit;font-variant: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">** Registration page **<br> </span><font face="Arial, sans-serif"><a href="https://urldefense.com/v3/__https://ictcs2024.di.unito.it/registration/__;!!IBzWLUs!UapGYSvCzQ5GnZyftJ_bcLa0L8RXpN8_uHWfFNshlquJL4n5hHTGmpRhAXMtkCRpEnK-y6Cg1SHG1bGmTsYtkdbvyIaqc1i4kOOzT2MKCOs$" target="_blank">https://ictcs2024.di.unito.it/registration/</a></font></font></p><p style="direction:ltr;margin-top:0px;margin-bottom:0px;padding:0px 0px 18pt;line-height:1.2"><font color="#000000"><span style="font-size:9.75pt;border:0px;font-style:inherit;font-variant: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">** Program Page **<br> </span><a href="https://urldefense.com/v3/__https://ictcs2024.di.unito.it/program/__;!!IBzWLUs!UapGYSvCzQ5GnZyftJ_bcLa0L8RXpN8_uHWfFNshlquJL4n5hHTGmpRhAXMtkCRpEnK-y6Cg1SHG1bGmTsYtkdbvyIaqc1i4kOOzpl_EAxs$" target="_blank">https://ictcs2024.di.unito.it/program/</a></font></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="color:black;font-family:Arial,sans-serif;font-size:9.75pt;font-style:inherit;font-variant-ligatures:inherit;font-variant-caps:inherit">**Organising Committee**<br></span><span style="color:black;font-family:Arial,sans-serif;font-size:9.75pt">Ugo de’Liguoro (Università di Torino)<br></span><span style="color:black;font-family:Arial,sans-serif;font-size:9.75pt">Matteo Palazzo (Università di Torino)<br></span><span style="color:black;font-family:Arial,sans-serif;font-size:9.75pt">Daniele Pautasso (Università di Torino)<br></span><span style="color:black;font-family:Arial,sans-serif;font-size:9.75pt">Luca Roversi (Università di Torino)<br></span><span style="color:black;font-family:Arial,sans-serif;font-size:9.75pt">Riccardo Treglia (King’s College London)</span></p></div></div></div></div></div>