• Version
• Download 178
• File Size 11 MB
• File Count 1
• Create Date 22 June 2021
• Last Updated 22 June 2021

TYPES 2021 - Book of Abstracts

The TYPES meeting series has always been my favourite among all conferences
and I am honoured that I was given the opportunity to organise TYPES 2021. It was,
unfortunately, during the years 2020 and 2021 not possible to hold any physical con-
ferences. Ugo and Stefano had done great work in the preparation of TYPES 2020,
but the sudden disruption made it impossible to hold the meeting. This year, we were
able to prepare ourselves to hold TYPES 2021 as a virtual meeting. Even though this
is far from ideal for a meeting that is centred around collaboration, it was still very
enjoyable and we had many very high quality submissions, as this book of abstracts
attests. I wish to thank all authors and participants for making TYPES 2021 such a
rich and enjoyable meeting, despite the circumstances. Enjoy the abstracts!

Henning Basold