The Italian Conference on Theoretical Computer Science (ICTCS) is the annual conference of the Italian Chapter of the European Association for Theoretical Computer Science (IC-EATCS), The purpose of the meeting 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. 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. The 22nd Italian Conference on Theoretical Computer Science (ICTCS 2021) has been hosted by the University of Bologna. Due to the worldwide evolution of COVID-19, it was held online on September 13–15, 2021. ICTCS 2021 received 38 submissions (25 regular papers and 13 communications), of which 28 were accepted for presentation at the conference and then published on http://ceurws.org/ (18 regular papers and 10 communications). Each submission was assessed by at least 3 reviewers, for a total of 69 reviewers (23 program committee members plus 46 additional reviewers) producing 114 reviews overall. The authors of the accepted contributions mostly came from Italy (16). Foreign contributions came from USA (2), India (2), Japan (1), Germany (1), Switzerland (1), and Algeria (1). 4 contributions are joint work between italian and foreign authors. ICTCS 2021 was attended by 68 people.

Proceedings of the 22nd Italian Conference on Theoretical Computer Science, Bologna, Italy, September 13-15, 2021

C. Sacerdoti Coen
;
2022

Abstract

The Italian Conference on Theoretical Computer Science (ICTCS) is the annual conference of the Italian Chapter of the European Association for Theoretical Computer Science (IC-EATCS), The purpose of the meeting 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. 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. The 22nd Italian Conference on Theoretical Computer Science (ICTCS 2021) has been hosted by the University of Bologna. Due to the worldwide evolution of COVID-19, it was held online on September 13–15, 2021. ICTCS 2021 received 38 submissions (25 regular papers and 13 communications), of which 28 were accepted for presentation at the conference and then published on http://ceurws.org/ (18 regular papers and 10 communications). Each submission was assessed by at least 3 reviewers, for a total of 69 reviewers (23 program committee members plus 46 additional reviewers) producing 114 reviews overall. The authors of the accepted contributions mostly came from Italy (16). Foreign contributions came from USA (2), India (2), Japan (1), Germany (1), Switzerland (1), and Algeria (1). 4 contributions are joint work between italian and foreign authors. ICTCS 2021 was attended by 68 people.
340
C. Sacerdoti Coen, I. Salvo
File in questo prodotto:
Eventuali allegati, non sono esposti

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11585/863754
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact