BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Plone.org//NONSGML plone.app.event//EN
X-WR-TIMEZONE:Europe/Rome
BEGIN:VEVENT
SUMMARY:Marianna Girlando  MOIN: a theorem prover for intuitionistic modal
  logic
DTSTART;TZID=Europe/Rome;VALUE=DATE-TIME:20210527T143000
DTEND;TZID=Europe/Rome;VALUE=DATE-TIME:20210527T170000
DTSTAMP;VALUE=DATE-TIME:20260420T150432Z
UID:abcb73fb9d114bceaefad46cf2d89d26@filo.unibo.it
CREATED;VALUE=DATE-TIME:20210524T103532Z
DESCRIPTION:seminario di filoLOGICA a cura di Guido Gherardi\, Eugenio Orl
 andelli\, Riccardo Zanichelli
LAST-MODIFIED;VALUE=DATE-TIME:20210524T103532Z
URL:https://filo.unibo.it/it/eventi/marianna-girlando-moin-a-theorem-prove
 r-for-intuitionistic-modal-logic
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Rome
X-LIC-LOCATION:Europe/Rome
BEGIN:DAYLIGHT
DTSTART;VALUE=DATE-TIME:20210328T030000
TZNAME:CEST
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR