[TYPES/announce] TYPES-ITRS 2020 - workshops cancellation and publication of abstracts

[Ugo de Liguoro]

Dear all,

because of the sanitary emergency in the North of Italy, the TYPES-ITRS 
2020 workshops have been cancelled.
A book of all abstracts accepted for presentation to TYPES 2020 is now 
available from the web page:

https://types2020.di.unito.it/

The link is both on the home and on the program page. A similar book is 
in preparation
containing ITRS abstracts, and will be published soon.

The organizers,
Ugo de'Liguoro and Stefano Berardi

-- 
Ugo de'Liguoro
Associate Professor of Computer Science
Dipartimento di Informatica
Università di Torino
Corso Svizzera 185, 10149, Torino, Italy