 | The NetPL workshop will provide a forum to bring together researchers and practitioners from the fields of programming languages, formal methods, and networking. Recent technological trends, such as software-defined networking and network functions virtualization, have created an opportunity for researchers in these traditionally separate communities to collaborate, applying their diverse perspectives towards the development of novel networking applications. The program will consist of invited talks, with an emphasis on encouraging engaging technical discussions amongst the participants. |
NetPL has support for funding students to attend the workshop. If you are interested, please apply as an ECOOP Student Volunteer and indicate that you are applying for the NetPL
travel grant.
Sponsors
Invited Speakers
| Title | |
|---|---|
| Link to publication | |
| Link to publication | |
| Link to publication | |
| Link to publication | |
| Link to publication | |
| Link to publication | |
| Link to publication | |
| Link to publication | |
| Link to publication |
Call for participation
NetPL does not solicit submission and everyone is welcome to attend.
Mon 6 Jul
09:00 - 09:10: NetPL - Welcome at Hluboka II Chair(s): Robert SouléUniversità della Svizzera italiana, Marco CaniniUniversité catholique de Louvain | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 09:10 Day opening | ||||||||||||||||||||||||||||||||||||||||||
| 09:10 - 09:50 Talk | Hitesh BallaniMicrosoft Research, UK Link to publication | |||||||||||||||||||||||||||||||||||||||||
| 10:10 - 11:10 Talk | Shriram KrishnamurthiBrown University Link to publication | |||||||||||||||||||||||||||||||||||||||||
| 11:10 - 11:50 Talk | Anil MadhavapeddyUniversity of Cambridge Link to publication | |||||||||||||||||||||||||||||||||||||||||
| 11:50 - 12:30 Talk | Pavol CernyUniversity of Colorado Boulder Link to publication | |||||||||||||||||||||||||||||||||||||||||
| 14:00 - 15:00 Talk | Colin DixonBrocade Link to publication | |||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:40 Talk | Antonio CaponePolitecnico di Milano Link to publication | |||||||||||||||||||||||||||||||||||||||||
| 16:00 - 17:00 Talk | Link to publication | |||||||||||||||||||||||||||||||||||||||||
| 17:00 - 17:30 Talk | Xia YinbenHuawei Link to publication | |||||||||||||||||||||||||||||||||||||||||
| 17:30 - 18:00 Talk | Xenofontas DimitropoulosUniversity of Crete & FORTH Link to publication | |||||||||||||||||||||||||||||||||||||||||
Important Dates
| Mon 6 Jul 2015 Workshop |
Hitesh Ballani
Microsoft Research, UK
India
Antonio Capone
Politecnico di Milano
Italy
Pavol Cerny
University of Colorado Boulder
Slovakia
Xenofontas Dimitropoulos
University of Crete & FORTH
Greece
Colin Dixon
Brocade
United States
Shriram Krishnamurthi
Brown University
India
Anil Madhavapeddy
University of Cambridge
Roger Wattenhofer
ETHZ
Switzerland
Xia Yinben
Huawei
China
