BEGIN:VCALENDAR
PRODID:-//AT Content Types//AT Event//EN
VERSION:2.0
METHOD:PUBLISH
X-WR-CALNAME:Augusta CS Colloquim
X-WR-CALDESC:F. Gavazzo will present his work on Coinductive Equivalences for Higher-order Coeffectful Languages.
https://youtu.be/-tgA2zShDcQ
END:VCALENDAR