Program
|
Sunday May 10th |
||||
| 18:00 – 20:00 | Registration (in the hotel lobby) | |||
|
Monday May 11th |
||||
| 08:00 | Registration (in the hotel lobby) | |||
| 08:45 | Opening | |||
| 09:00 | Introduction to Concurrent and Distributed Computing, Michel Raynal, IRISA Rennes, France | |||
| 10:30 | Coffee Break | |||
| 11:00 | Introduction to Concurrent and Distributed Computing, Michel Raynal, IRISA Rennes, France | |||
| 12:30 | Lunch | |||
| 14:00 | Design and Implementation of Concurrent Data Structures, Christoph Kirsch, University of Salzburg, Austria | |||
| 15:30 | Coffee Break | |||
| 16:00 | Emerging Trends in Cyber Attacks, Guevara Noubir, Northeastern University, USA | |||
|
Tuesday May 12th |
||||
| 09:00 | Introduction to Software Verification, Rupak Majumdar, Max Planck Institute for Software Systems, Germany | |||
| 10:30 | Coffee Break | |||
| 11:00 | Introduction to Software Verification, Rupak Majumdar, Max Planck Institute for Software Systems, Germany | |||
| 12:30 | Lunch | |||
| 14:00 | Verification of Concurrent Programs: Shaz Qadeer, Microsoft Research, USA | |||
| 15:30 | Coffee Break | |||
| 16:00 | Verification of Distributed Algorithms: Parosh Abdulla, University of Uppsala, Sweden | |||
|
Wednesday May 13th |
||||
| 09:00 | Privacy in Social Networks, Anne-Marie Kermarrec, INRIA Rennes, France | |||
| 10:30 | Coffee Break | |||
| 11:00 | Universality in Distributed Computing, Rachid Guerraoui, EPFL, Switzerland | |||
| 12:00 | Lunch | |||
| 14:00 | NETYS’2015 Opening | |||
Dates
April 30, 2015
Early Registration Deadline
Sponsors
