[TYPES/announce] Publication of the TYPES'20 post-proceedi9ngs

[Ugo de Liguoro]

Dear colleagues,

on behalf of the editors Stefano Berardi, Thorsten Altenkirch and 
myself, it is my pleasure to communicate that the post-proceedings of 
TYPES'20 have been published as LIPICS Vol. 188, ISBN 978-3-95977-182-5. 
The link to the volume is:

https://www.dagstuhl.de/dagpub/978-3-95977-182-5

All the best,

Ugo

-- 
Ugo de'Liguoro
Associate Professor of Computer Science
Dipartimento di Informatica
Università di Torino
Corso Svizzera 185, 10149, Torino, Italy
phone: +39 011 6706766 - fax: +39 011 751603