Awards

The NETYS 2016 Program Committee awarded the best paper and the best poster awards to:

Best Paper Awards :

- A Mechanized Refinement Proof of the Chase-Lev Deque Using a Proof System

by : Suha Orhun Mutluergil and Serdar Tasiran.

- The Out-of-core KNN awakens: The light side of computation force on large datasets

by : Javier Olivares, Nitin Chiluka and Anne-Marie Kermarrec.

Best Poster Award :

- Performance Evaluation of Smart Grid Communication Infrastructure

by : Zahid Soufiane, En-Nouaary Abdeslam and Bah Slimane.