BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//hacksw/handcal//NONSGML v1.0//EN
CALSCALE:GREGORIAN
X-WR-CALNAME:FOUNDATIONS OF PROGRAMMING LANGUAGES IN COQ [PHD226]
DESCRIPTION:FOUNDATIONS OF PROGRAMMING LANGUAGES IN COQ [PHD226]
REFRESH-INTERVAL;VALUE=DURATION:P1D
X-WR-TIMEZONE:Europe/Rome
BEGIN:VEVENT
DTEND:20260223T134500
UID:6a043a9be7ea2
DTSTAMP:20260513T084723
LOCATION:Meeting Room B Campus scientifico via Torino (edificio Zeta)
SUMMARY:FOUNDATIONS OF PROGRAMMING LANGUAGES IN COQ [PHD226] - BUSI Matteo\, Lezione
URL;VALUE=URI://www.unive.it/data/insegnamento/588775
DTSTART:20260223T103000
END:VEVENT
BEGIN:VEVENT
DTEND:20260224T134500
UID:6a043a9be7f62
DTSTAMP:20260513T084723
LOCATION:Meeting Room B Campus scientifico via Torino (edificio Zeta)
SUMMARY:FOUNDATIONS OF PROGRAMMING LANGUAGES IN COQ [PHD226] - BUSI Matteo\, Lezione
URL;VALUE=URI://www.unive.it/data/insegnamento/588775
DTSTART:20260224T103000
END:VEVENT
BEGIN:VEVENT
DTEND:20260224T171500
UID:6a043a9be7fc2
DTSTAMP:20260513T084723
LOCATION:Meeting Room B Campus scientifico via Torino (edificio Zeta)
SUMMARY:FOUNDATIONS OF PROGRAMMING LANGUAGES IN COQ [PHD226] - BUSI Matteo\, Lezione
URL;VALUE=URI://www.unive.it/data/insegnamento/588775
DTSTART:20260224T154500
END:VEVENT
END:VCALENDAR