[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
