WRiPE 2012
The 2nd International Workshop
on Rigorous Protocol Engineering

30 October 2012
Austin, Texas, USA
Co-located with ICNP 2012

Organizers

Program Co-chairs Nate Foster Cornell University
Alexander Gurney University of Pennsylvania
Program Committee Anja Feldmann Deutsche Telekom Laboratories/TU Berlin
Limin Jia Carnegie Mellon University
Peyman Kazemian Stanford University
Dejan Kostic Ecole Polytechnique Federale de Lausanne
Olaf Maennel Loughborough University
Hung Nguyen University of Adelaide
Robbert van Renesse Cornell University
Michael Schapira Hebrew University of Jerusalem
Jonathan Sobel Cisco Systems
Stefano Vissicchio Universite Catholique de Louvain
David Walker Princeton University
Pamela Zave AT&T Research
Wenchao Zhou Georgetown University

Image credit jimnix.