[TYPES/announce] ICTCS 24 - Call for Participation

[Riccardo Treglia]

** Call for Participation **
ICTCS 2024 – 25th Italian Conference on Theoretical Computer Science
September 11-13, 2024, Turin, Italy website: https://urldefense.com/v3/__https://ictcs2024.di.unito.it/__;!!IBzWLUs!UapGYSvCzQ5GnZyftJ_bcLa0L8RXpN8_uHWfFNshlquJL4n5hHTGmpRhAXMtkCRpEnK-y6Cg1SHG1bGmTsYtkdbvyIaqc1i4kOOz1t4e8Xg$ 

** 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_uHWfFNshlquJL4n5hHTGmpRhAXMtkCRpEnK-y6Cg1SHG1bGmTsYtkdbvyIaqc1i4kOOzT2MKCOs$ 

** Program Page **
 https://urldefense.com/v3/__https://ictcs2024.di.unito.it/program/__;!!IBzWLUs!UapGYSvCzQ5GnZyftJ_bcLa0L8RXpN8_uHWfFNshlquJL4n5hHTGmpRhAXMtkCRpEnK-y6Cg1SHG1bGmTsYtkdbvyIaqc1i4kOOzpl_EAxs$ 

**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/20240819/02b30771/attachment-0001.htm>