BEGIN:VCALENDAR
PRODID:-//AT Content Types//AT Event//EN
VERSION:2.0
METHOD:PUBLISH
X-WR-CALNAME:Extensional proof-systems for modal logics
X-WR-CALDESC:Seminario di Margherita Zorzi, nell'ambito del ciclo "DAReLOGICA"
END:VCALENDAR