ICTCS 24 - Call for Participation

--===============6426824127132644337==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

[ The Types Forum (announcements only),
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]


--===============6426824127132644337==
Content-Type: multipart/alternative; boundary="00000000000064ccf8062006c1a3"

--00000000000064ccf8062006c1a3
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

** Call for Participation **
ICTCS 2024 =E2=80=93 25th Italian Conference on Theoretical Computer Science
September 11-13, 2024, Turin, Italy website: https://urldefense.com/v3/__ht=
tps://ictcs2024.di.unito.it/__;!!IBzWLUs!UapGYSvCzQ5GnZyftJ_bcLa0L8RXpN8_uH=
WfFNshlquJL4n5hHTGmpRhAXMtkCRpEnK-y6Cg1SHG1bGmTsYtkdbvyIaqc1i4kOOz1t4e8Xg$=
=20

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

** Registration page **
 https://urldefense.com/v3/__https://ictcs2024.di.unito.it/registration/__;=
!!IBzWLUs!UapGYSvCzQ5GnZyftJ_bcLa0L8RXpN8_uHWfFNshlquJL4n5hHTGmpRhAXMtkCRpE=
nK-y6Cg1SHG1bGmTsYtkdbvyIaqc1i4kOOzT2MKCOs$=20

** Program Page **
 https://urldefense.com/v3/__https://ictcs2024.di.unito.it/program/__;!!IBz=
WLUs!UapGYSvCzQ5GnZyftJ_bcLa0L8RXpN8_uHWfFNshlquJL4n5hHTGmpRhAXMtkCRpEnK-y6=
Cg1SHG1bGmTsYtkdbvyIaqc1i4kOOzpl_EAxs$=20

**Organising Committee**
Ugo de=E2=80=99Liguoro (Universit=C3=A0 di Torino)
Matteo Palazzo (Universit=C3=A0 di Torino)
Daniele Pautasso (Universit=C3=A0 di Torino)
Luca Roversi (Universit=C3=A0 di Torino)
Riccardo Treglia (King=E2=80=99s College London)

--00000000000064ccf8062006c1a3
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div dir=3D"ltr"><div dir=3D"ltr"><div dir=3D"ltr"><div di=
r=3D"ltr"><p style=3D"color:rgb(36,36,36);font-size:15px;direction:ltr;marg=
in-top:0px;margin-bottom:27pt;line-height:1.2"><span style=3D"border:0px;fo=
nt-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;co=
lor:black"><span style=3D"font-style:inherit;font-variant:inherit;font-stre=
tch:inherit;font-size:inherit;line-height:inherit;font-family:inherit;font-=
size-adjust:inherit;font-kerning:inherit;font-feature-settings:inherit;bord=
er:0px;margin:0px;padding:0px;vertical-align:baseline;color:inherit">** Cal=
l</span>=C2=A0for Participation=C2=A0**=C2=A0<br></span><span style=3D"bord=
er:0px;font-style:inherit;font-variant:inherit;font-stretch:inherit;font-si=
ze:9.75pt;line-height:inherit;font-family:Arial,sans-serif;font-kerning:inh=
erit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:ba=
seline;color:rgb(20,20,18)"><span style=3D"border:0px;font-style:inherit;fo=
nt-variant:inherit;font-stretch:inherit;font-size:inherit;line-height:inher=
it;font-family:inherit;font-size-adjust:inherit;font-kerning:inherit;font-f=
eature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline;colo=
r:inherit">ICTCS</span>=C2=A02024 =E2=80=93 25th Italian Conference on Theo=
retical Computer Science September 11-13, 2024, Turin, Italy website:=C2=A0=
</span><span style=3D"border:0px;font-style:inherit;font-variant:inherit;fo=
nt-stretch:inherit;font-size:9.75pt;line-height:inherit;font-family:Arial,s=
ans-serif;font-kerning:inherit;font-feature-settings:inherit;margin:0px;pad=
ding:0px;vertical-align:baseline;color:rgb(17,85,204)"><a href=3D"https://u=
rldefense.com/v3/__https://ictcs2024.di.unito.it/__;!!IBzWLUs!UapGYSvCzQ5Gn=
ZyftJ_bcLa0L8RXpN8_uHWfFNshlquJL4n5hHTGmpRhAXMtkCRpEnK-y6Cg1SHG1bGmTsYtkdbv=
yIaqc1i4kOOz1t4e8Xg$" rel=3D"noopener noreferrer" id=3D"m_-2476191995262531=
253m_-3977257366819068057m_2771340196117329209gmail-OWA7d8be9ed-2625-36a3-c=
da1-0fffbe4fafb6" style=3D"border:0px;font-style:inherit;font-variant:inher=
it;font-stretch:inherit;font-size:inherit;line-height:inherit;font-family:i=
nherit;font-size-adjust:inherit;font-kerning:inherit;font-feature-settings:=
inherit;margin:0px;padding:0px;vertical-align:baseline" target=3D"_blank">h=
ttps://<span style=3D"border:0px;font-style:inherit;font-variant:inherit;fo=
nt-stretch:inherit;font-size:inherit;line-height:inherit;font-family:inheri=
t;font-size-adjust:inherit;font-kerning:inherit;font-feature-settings:inher=
it;margin:0px;padding:0px;vertical-align:baseline;color:inherit">ictcs</spa=
n>2024.di.unito.it/</a></span></p><p style=3D"font-size:15px;direction:ltr;=
margin-top:0px;margin-bottom:0px;padding:0px 0px 18pt;line-height:1.2"><spa=
n style=3D"border:0px;font-style:inherit;font-variant:inherit;font-stretch:=
inherit;font-size:9.75pt;line-height:inherit;font-family:Arial,sans-serif;f=
ont-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;ve=
rtical-align:baseline"><font color=3D"#000000">** Scope and Topics **<br></=
font></span><span style=3D"color:rgb(20,20,18);font-family:Arial,sans-serif=
;font-size:9.75pt;font-style:inherit;font-variant-ligatures:inherit;font-va=
riant-caps:inherit;font-weight:inherit">The Italian Conference on Theoretic=
al Computer Science (</span><span style=3D"color:inherit;font:inherit;borde=
r:0px;margin:0px;padding:0px;vertical-align:baseline">ICTCS</span><span sty=
le=3D"color:rgb(20,20,18);font-family:Arial,sans-serif;font-size:9.75pt;fon=
t-style:inherit;font-variant-ligatures:inherit;font-variant-caps:inherit;fo=
nt-weight:inherit">) is the conference of the Italian Chapter of the Europe=
an Association for Theoretical Computer Science.<br></span><span style=3D"c=
olor: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-weig=
ht:inherit">The purpose of=C2=A0</span><span style=3D"color:inherit;font:in=
herit;border:0px;margin:0px;padding:0px;vertical-align:baseline">ICTCS</spa=
n><span style=3D"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">=C2=A0is to foster the cross-fertilization of=
 ideas stemming from different areas of theoretical computer science. In pa=
rticular,=C2=A0</span><span style=3D"color:inherit;font:inherit;border:0px;=
margin:0px;padding:0px;vertical-align:baseline">ICTCS</span><span style=3D"=
color:rgb(20,20,18);font-family:Arial,sans-serif;font-size:9.75pt;font-styl=
e:inherit;font-variant-ligatures:inherit;font-variant-caps:inherit;font-wei=
ght:inherit">=C2=A0provides an ideal environment where junior researchers a=
nd PhD students can meet senior researchers.=C2=A0<br></span><span style=3D=
"font-family:Arial,sans-serif;font-size:9.75pt;font-style:inherit;font-vari=
ant-ligatures:inherit;font-variant-caps:inherit;font-weight:inherit"><font =
color=3D"#141412">Contributions in any area of theoretical computer science=
 are warmly invited from researchers of all nationalities.<br></font></span=
><span style=3D"color:black;font-family:Arial,sans-serif;font-size:9.75pt;f=
ont-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, comple=
xity theory, computational logic, computational social choice, concurrency =
theory, cryptography, discrete mathematics, distributed computing, dynamica=
l systems, formal methods, game theory, graph theory, knowledge representat=
ion, languages, model checking, process algebras, quantum computing, rewrit=
ing systems, security and trust, semantics, specification and verification,=
 systems biology, theorem proving, type theory.</span></p><p style=3D"margi=
n-top:0px;margin-bottom:0px;padding:0px 0px 18pt;line-height:1.2"><font col=
or=3D"#000000"><span style=3D"font-size:9.75pt;border:0px;font-style:inheri=
t;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>=C2=A0=
</span><font face=3D"Arial, sans-serif"><a href=3D"https://urldefense.com/v=
3/__https://ictcs2024.di.unito.it/registration/__;!!IBzWLUs!UapGYSvCzQ5GnZy=
ftJ_bcLa0L8RXpN8_uHWfFNshlquJL4n5hHTGmpRhAXMtkCRpEnK-y6Cg1SHG1bGmTsYtkdbvyI=
aqc1i4kOOzT2MKCOs$" target=3D"_blank">https://ictcs2024.di.unito.it/registr=
ation/</a></font></font></p><p style=3D"direction:ltr;margin-top:0px;margin=
-bottom:0px;padding:0px 0px 18pt;line-height:1.2"><font color=3D"#000000"><=
span style=3D"font-size:9.75pt;border:0px;font-style:inherit;font-variant:i=
nherit;font-stretch:inherit;line-height:inherit;font-family:Arial,sans-seri=
f;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px=
;vertical-align:baseline">** Program Page **<br>=C2=A0</span><a href=3D"htt=
ps://urldefense.com/v3/__https://ictcs2024.di.unito.it/program/__;!!IBzWLUs=
!UapGYSvCzQ5GnZyftJ_bcLa0L8RXpN8_uHWfFNshlquJL4n5hHTGmpRhAXMtkCRpEnK-y6Cg1S=
HG1bGmTsYtkdbvyIaqc1i4kOOzpl_EAxs$" target=3D"_blank">https://ictcs2024.di.=
unito.it/program/</a></font></p><p style=3D"color:rgb(36,36,36);font-size:1=
5px;direction:ltr;margin-top:0px;margin-bottom:0px;padding:0px 0px 18pt;lin=
e-height:1.2"><span style=3D"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=3D"color:black=
;font-family:Arial,sans-serif;font-size:9.75pt">Ugo de=E2=80=99Liguoro (Uni=
versit=C3=A0 di Torino)<br></span><span style=3D"color:black;font-family:Ar=
ial,sans-serif;font-size:9.75pt">Matteo Palazzo (Universit=C3=A0 di Torino)=
<br></span><span style=3D"color:black;font-family:Arial,sans-serif;font-siz=
e:9.75pt">Daniele Pautasso (Universit=C3=A0 di Torino)<br></span><span styl=
e=3D"color:black;font-family:Arial,sans-serif;font-size:9.75pt">Luca Rovers=
i (Universit=C3=A0 di Torino)<br></span><span style=3D"color:black;font-fam=
ily:Arial,sans-serif;font-size:9.75pt">Riccardo Treglia (King=E2=80=99s Col=
lege London)</span></p></div></div></div></div></div>

--00000000000064ccf8062006c1a3--

--===============6426824127132644337==--