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:6a8c7eebefb54
DTSTAMP:20260824T172707
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:6a8c7eebefbd5
DTSTAMP:20260824T172707
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:6a8c7eebefc2b
DTSTAMP:20260824T172707
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:6a8c7eebefc54
DTSTAMP:20260824T172707
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:6a8c7eebefca9
DTSTAMP:20260824T172707
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:6a8c7eebefcfe
DTSTAMP:20260824T172707
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:6a8c7eebefd53
DTSTAMP:20260824T172707
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:6a8c7eebefda8
DTSTAMP:20260824T172707
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:6a8c7eebefdfc
DTSTAMP:20260824T172707
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:6a8c7eebefe51
DTSTAMP:20260824T172707
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:6a8c7eebefea5
DTSTAMP:20260824T172707
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:6a8c7eebefef9
DTSTAMP:20260824T172707
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:6a8c7eebeff4d
DTSTAMP:20260824T172707
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:6a8c7eebeffa0
DTSTAMP:20260824T172707
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:6a8c7eebefff4
DTSTAMP:20260824T172707
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:6a8c7eebf003b
DTSTAMP:20260824T172707
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:6a8c7eebf0090
DTSTAMP:20260824T172707
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:6a8c7eebf00e3
DTSTAMP:20260824T172707
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:6a8c7eebf0137
DTSTAMP:20260824T172707
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:6a8c7eebf018c
DTSTAMP:20260824T172707
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:6a8c7eebf01df
DTSTAMP:20260824T172707
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:6a8c7eebf0233
DTSTAMP:20260824T172707
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:6a8c7eebf0287
DTSTAMP:20260824T172707
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:6a8c7eebf02db
DTSTAMP:20260824T172707
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