BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Automated Formal Verification of Software Network Functions
DTSTART:20240321T170000
DTSTAMP:20260510T043156Z
UID:4a8b247df323f2a71bb5b4828da75915aa327166764a57379906bf72
CATEGORIES:Thesis defenses
DESCRIPTION:Solal Vincenzo PIRELLI\nThesis Director: Prof. G. Candea\,\nCo
 mputer and Communication Sciences doctoral program\nThesis Nr. 9541\n\nTo
  take part in the public defense\, please contact directly the speaker
LOCATION:BC 420 https://plan.epfl.ch/?room==BC%20420 https://epfl.zoom.us/
 j/66286399810?pwd=QnJzQzBLa0h5OG9ENWl4Ny9YRXh4UT09
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR