Workshop website: http://wripe2013.ece.cmu.edu/.
The increased performance and maturity of verification techniques, including the use of tools such as model checkers, theorem provers, and SAT/SMT solvers, provides a rich set of techniques that could be applied to the area of networking. There has also been a clear increase in the application of theory and practice of programming languages research to the networking domain in the past several years. WRiPE is an inter-disciplinary workshop that seeks to bring together researchers from the networking, formal methods, and programming languages communities to discuss current research on rigorous network protocol design and implementation. The goal of the workshop is to reinvigorate and revitalize the application of formal methods and language-based approaches to the design, analysis, and implementation of protocols.