Saturday, August 7, 2021

[DMANET] ICTCS 2021: registration is now open!

Registration to ICTCS 2021 is now open and a tentative program is on-
line. Participants need to register and pay the annual fees for the
Italian chapter of EATCS. All the instructions to register can be found
here:

http://helm.cs.unibo.it/ictcs2021/registration.html

====================================================


ICTCS 2021 - 22th Italian Conference on Theoretical Computer Science

13-15 September 2021, Bologna, Italy

THE CONFERENCE WILL BE HELD ON-LINE DUE TO CORONAVIRUS RESTRICTIONS

http://helm.cs.unibo.it/ictcs2021/index.html


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

==================
INVITED SPEAKERS
==================

Luca Padovani (Università di Torino)
Nadia Pisanti (Università di Pisa)

====================
PROGRAM COMMITTEE
====================

Program Committee:
Claudio Sacerdoti Coen (co-chair) (University of Bologna, Italy)
Ivano Salvo (co-chair) (University of Roma "Sapienza", Italy)
Franco Barbanera (University of Catania, Italy)
Davide Bilò (University of Sassari, Italy)
Stefano Bistarelli (University of Perugia, Italy)
Davide Bresolin (University of Padua, Italy)
Mattia D'Emidio (University of L'Aquila; Gran Sasso Science
Institute, Italy)
Miriam Di Ianni (University of Rome "Tor Vergata", Italy)
Diodato Ferraioli (University of Salerno, Italy)
Roberta Gori (University of Pisa, Italy)
Ruggero Lanotte (University of Insubria, Italy)
Andrea Marino (University of Florence, Italy)
Isabella Mastroeni (University of Verona, Italy)
Claudio Antares Mezzina (University of Urbino, Italy)
Marino Miculan (DMIF, University of Udine, Italy)
Fabio Mogavero (University of Naples Federico II, Italy)
Manuela Montangero (University of Modena e Reggio Emilia, Italy)
Luca Roversi (University of Torino, Italy)
Marinella Sciortino (University of Palermo, Italy)
Francesca Scozzari (University of Chieti-Pescara, Italy)
Luca Tesei (University of Camerino, Italy)
Elena Zucca (DIBRIS – University of Genova, Italy)
Roberto Zunino (University of Trento, Italy)

--
Prof. Claudio Sacerdoti Coen
Department of Computer Science and Engineering
University of Bologna

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************