BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Efficient Systematic Testing of Software Defined Networks
DTSTART:20130610T140000
DTSTAMP:20260406T214417Z
UID:8c96cdf613109e330cf332e6285933c0463197483381cd15fb7082a0
CATEGORIES:Conferences - Seminars
DESCRIPTION:Mr Maciej Kuzniar\nEDIC Candidacy Exam:\nExam president: Prof.
  Patrick Thiran\nThesis director: Prof. Willy Zwaenepoel\nThesis co-direct
 or: Prof. Dejan Kostic\nCo-examiner: Prof. Katerina ArgyrakiResearch Propo
 salA NICE Way to Test OpenFlow Applications by Marco Canini\, Dejan Kostic
  et al.Header Space Analysis: Static Checking For Networks by P. Kazemian 
 et al.How Did We Get Into This Mess? Isolating Fault-Inducing Inputs to SD
 N Control Software by Colin Scott et al.
LOCATION:BC 329 https://plan.epfl.ch/?room==BC%20329
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR
