BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Verification of Software Network Functions with No Verification Ex
 pertise
DTSTART:20200930T163000
DTSTAMP:20260407T163609Z
UID:d61b35353856330ee4c2688620d9157519a645486b03ca2299b27c51
CATEGORIES:Thesis defenses
DESCRIPTION:Arseniy ZAOSTROVNYKH\nThesis Directors: Prof. A. Argyraki\, Pr
 of. G. Candea\nComputer and Communication Sciences doctoral program\nThesi
 s Nr. 10169\n\nTo join the videoconference\, please contact directly the 
 speaker
LOCATION:Video-conference
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR