BEGIN:VCALENDAR
PRODID:-//AT Content Types//AT Event//EN
VERSION:2.0
METHOD:PUBLISH
X-WR-CALNAME:Conditionals, Quantifiers and Modal Logic
X-WR-CALDESC:Seminario di Dominik Pichler (TU Wein), nell'ambito del ciclo DAReLOGICA
END:VCALENDAR