BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//hacksw/handcal//NONSGML v1.0//EN
CALSCALE:GREGORIAN
X-WR-CALNAME:FORMAL METHODS FOR SYSTEM VERIFICATION [CM0474]
DESCRIPTION:FORMAL METHODS FOR SYSTEM VERIFICATION [CM0474]
REFRESH-INTERVAL;VALUE=DURATION:P1D
X-WR-TIMEZONE:Europe/Rome
BEGIN:VEVENT
DTEND:20260929T120000
UID:6ae36c9c97940
DTSTAMP:20261029T155612
LOCATION:Aula A Campus scientifico via Torino (edificio Zeta)
SUMMARY:FORMAL METHODS FOR SYSTEM VERIFICATION [CM0474] - ROSSI Sabina\, Lezione
URL;VALUE=URI://www.unive.it/data/insegnamento/733800
DTSTART:20260929T103000
END:VEVENT
BEGIN:VEVENT
DTEND:20261001T101500
UID:6ae36c9c979d5
DTSTAMP:20261029T155612
LOCATION:Aula A Campus scientifico via Torino (edificio Zeta)
SUMMARY:FORMAL METHODS FOR SYSTEM VERIFICATION [CM0474] - ROSSI Sabina\, Lezione
URL;VALUE=URI://www.unive.it/data/insegnamento/733800
DTSTART:20261001T084500
END:VEVENT
BEGIN:VEVENT
DTEND:20261006T120000
UID:6ae36c9c97a29
DTSTAMP:20261029T155612
LOCATION:Aula A Campus scientifico via Torino (edificio Zeta)
SUMMARY:FORMAL METHODS FOR SYSTEM VERIFICATION [CM0474] - ROSSI Sabina\, Lezione
URL;VALUE=URI://www.unive.it/data/insegnamento/733800
DTSTART:20261006T103000
END:VEVENT
BEGIN:VEVENT
DTEND:20261008T101500
UID:6ae36c9c97a77
DTSTAMP:20261029T155612
LOCATION:Aula A Campus scientifico via Torino (edificio Zeta)
SUMMARY:FORMAL METHODS FOR SYSTEM VERIFICATION [CM0474] - ROSSI Sabina\, Lezione
URL;VALUE=URI://www.unive.it/data/insegnamento/733800
DTSTART:20261008T084500
END:VEVENT
BEGIN:VEVENT
DTEND:20261013T120000
UID:6ae36c9c97ac5
DTSTAMP:20261029T155612
LOCATION:Aula A Campus scientifico via Torino (edificio Zeta)
SUMMARY:FORMAL METHODS FOR SYSTEM VERIFICATION [CM0474] - ROSSI Sabina\, Lezione
URL;VALUE=URI://www.unive.it/data/insegnamento/733800
DTSTART:20261013T103000
END:VEVENT
BEGIN:VEVENT
DTEND:20261015T101500
UID:6ae36c9c97b11
DTSTAMP:20261029T155612
LOCATION:Aula A Campus scientifico via Torino (edificio Zeta)
SUMMARY:FORMAL METHODS FOR SYSTEM VERIFICATION [CM0474] - ROSSI Sabina\, Lezione
URL;VALUE=URI://www.unive.it/data/insegnamento/733800
DTSTART:20261015T084500
END:VEVENT
BEGIN:VEVENT
DTEND:20261020T120000
UID:6ae36c9c97b5c
DTSTAMP:20261029T155612
LOCATION:Aula A Campus scientifico via Torino (edificio Zeta)
SUMMARY:FORMAL METHODS FOR SYSTEM VERIFICATION [CM0474] - ROSSI Sabina\, Lezione
URL;VALUE=URI://www.unive.it/data/insegnamento/733800
DTSTART:20261020T103000
END:VEVENT
BEGIN:VEVENT
DTEND:20261022T101500
UID:6ae36c9c97ba8
DTSTAMP:20261029T155612
LOCATION:Aula A Campus scientifico via Torino (edificio Zeta)
SUMMARY:FORMAL METHODS FOR SYSTEM VERIFICATION [CM0474] - ROSSI Sabina\, Lezione
URL;VALUE=URI://www.unive.it/data/insegnamento/733800
DTSTART:20261022T084500
END:VEVENT
BEGIN:VEVENT
DTEND:20261027T120000
UID:6ae36c9c97bf3
DTSTAMP:20261029T155612
LOCATION:Aula A Campus scientifico via Torino (edificio Zeta)
SUMMARY:FORMAL METHODS FOR SYSTEM VERIFICATION [CM0474] - ROSSI Sabina\, Lezione
URL;VALUE=URI://www.unive.it/data/insegnamento/733800
DTSTART:20261027T103000
END:VEVENT
BEGIN:VEVENT
DTEND:20261029T101500
UID:6ae36c9c97c3e
DTSTAMP:20261029T155612
LOCATION:Aula A Campus scientifico via Torino (edificio Zeta)
SUMMARY:FORMAL METHODS FOR SYSTEM VERIFICATION [CM0474] - ROSSI Sabina\, Lezione
URL;VALUE=URI://www.unive.it/data/insegnamento/733800
DTSTART:20261029T084500
END:VEVENT
BEGIN:VEVENT
DTEND:20261103T120000
UID:6ae36c9c97c88
DTSTAMP:20261029T155612
LOCATION:Aula A Campus scientifico via Torino (edificio Zeta)
SUMMARY:FORMAL METHODS FOR SYSTEM VERIFICATION [CM0474] - ROSSI Sabina\, Lezione
URL;VALUE=URI://www.unive.it/data/insegnamento/733800
DTSTART:20261103T103000
END:VEVENT
BEGIN:VEVENT
DTEND:20261105T101500
UID:6ae36c9c97cd4
DTSTAMP:20261029T155612
LOCATION:Aula A Campus scientifico via Torino (edificio Zeta)
SUMMARY:FORMAL METHODS FOR SYSTEM VERIFICATION [CM0474] - ROSSI Sabina\, Lezione
URL;VALUE=URI://www.unive.it/data/insegnamento/733800
DTSTART:20261105T084500
END:VEVENT
BEGIN:VEVENT
DTEND:20261110T120000
UID:6ae36c9c97d21
DTSTAMP:20261029T155612
LOCATION:Aula A Campus scientifico via Torino (edificio Zeta)
SUMMARY:FORMAL METHODS FOR SYSTEM VERIFICATION [CM0474] - ROSSI Sabina\, Lezione
URL;VALUE=URI://www.unive.it/data/insegnamento/733800
DTSTART:20261110T103000
END:VEVENT
BEGIN:VEVENT
DTEND:20261112T101500
UID:6ae36c9c97d6b
DTSTAMP:20261029T155612
LOCATION:Aula A Campus scientifico via Torino (edificio Zeta)
SUMMARY:FORMAL METHODS FOR SYSTEM VERIFICATION [CM0474] - ROSSI Sabina\, Lezione
URL;VALUE=URI://www.unive.it/data/insegnamento/733800
DTSTART:20261112T084500
END:VEVENT
BEGIN:VEVENT
DTEND:20261117T120000
UID:6ae36c9c97db6
DTSTAMP:20261029T155612
LOCATION:Aula A Campus scientifico via Torino (edificio Zeta)
SUMMARY:FORMAL METHODS FOR SYSTEM VERIFICATION [CM0474] - ROSSI Sabina\, Lezione
URL;VALUE=URI://www.unive.it/data/insegnamento/733800
DTSTART:20261117T103000
END:VEVENT
BEGIN:VEVENT
DTEND:20261119T101500
UID:6ae36c9c97e00
DTSTAMP:20261029T155612
LOCATION:Aula A Campus scientifico via Torino (edificio Zeta)
SUMMARY:FORMAL METHODS FOR SYSTEM VERIFICATION [CM0474] - ROSSI Sabina\, Lezione
URL;VALUE=URI://www.unive.it/data/insegnamento/733800
DTSTART:20261119T084500
END:VEVENT
BEGIN:VEVENT
DTEND:20261124T120000
UID:6ae36c9c97e4b
DTSTAMP:20261029T155612
LOCATION:Aula A Campus scientifico via Torino (edificio Zeta)
SUMMARY:FORMAL METHODS FOR SYSTEM VERIFICATION [CM0474] - ROSSI Sabina\, Lezione
URL;VALUE=URI://www.unive.it/data/insegnamento/733800
DTSTART:20261124T103000
END:VEVENT
BEGIN:VEVENT
DTEND:20261126T101500
UID:6ae36c9c97e95
DTSTAMP:20261029T155612
LOCATION:Aula A Campus scientifico via Torino (edificio Zeta)
SUMMARY:FORMAL METHODS FOR SYSTEM VERIFICATION [CM0474] - ROSSI Sabina\, Lezione
URL;VALUE=URI://www.unive.it/data/insegnamento/733800
DTSTART:20261126T084500
END:VEVENT
BEGIN:VEVENT
DTEND:20261201T120000
UID:6ae36c9c97ee0
DTSTAMP:20261029T155612
LOCATION:Aula A Campus scientifico via Torino (edificio Zeta)
SUMMARY:FORMAL METHODS FOR SYSTEM VERIFICATION [CM0474] - ROSSI Sabina\, Lezione
URL;VALUE=URI://www.unive.it/data/insegnamento/733800
DTSTART:20261201T103000
END:VEVENT
BEGIN:VEVENT
DTEND:20261203T101500
UID:6ae36c9c97f2b
DTSTAMP:20261029T155612
LOCATION:Aula A Campus scientifico via Torino (edificio Zeta)
SUMMARY:FORMAL METHODS FOR SYSTEM VERIFICATION [CM0474] - ROSSI Sabina\, Lezione
URL;VALUE=URI://www.unive.it/data/insegnamento/733800
DTSTART:20261203T084500
END:VEVENT
BEGIN:VEVENT
DTEND:20261210T101500
UID:6ae36c9c97f78
DTSTAMP:20261029T155612
LOCATION:Aula A Campus scientifico via Torino (edificio Zeta)
SUMMARY:FORMAL METHODS FOR SYSTEM VERIFICATION [CM0474] - ROSSI Sabina\, Lezione
URL;VALUE=URI://www.unive.it/data/insegnamento/733800
DTSTART:20261210T084500
END:VEVENT
BEGIN:VEVENT
DTEND:20261215T120000
UID:6ae36c9c97fd1
DTSTAMP:20261029T155612
LOCATION:Aula A Campus scientifico via Torino (edificio Zeta)
SUMMARY:FORMAL METHODS FOR SYSTEM VERIFICATION [CM0474] - ROSSI Sabina\, Lezione
URL;VALUE=URI://www.unive.it/data/insegnamento/733800
DTSTART:20261215T103000
END:VEVENT
BEGIN:VEVENT
DTEND:20261217T101500
UID:6ae36c9c9801c
DTSTAMP:20261029T155612
LOCATION:Aula A Campus scientifico via Torino (edificio Zeta)
SUMMARY:FORMAL METHODS FOR SYSTEM VERIFICATION [CM0474] - ROSSI Sabina\, Lezione
URL;VALUE=URI://www.unive.it/data/insegnamento/733800
DTSTART:20261217T084500
END:VEVENT
BEGIN:VEVENT
DTEND:20261222T120000
UID:6ae36c9c98068
DTSTAMP:20261029T155612
LOCATION:Aula A Campus scientifico via Torino (edificio Zeta)
SUMMARY:FORMAL METHODS FOR SYSTEM VERIFICATION [CM0474] - ROSSI Sabina\, Lezione
URL;VALUE=URI://www.unive.it/data/insegnamento/733800
DTSTART:20261222T103000
END:VEVENT
END:VCALENDAR