[TYPES/announce] Call for papers: Workshop on Rigorous Protocol Engineering (WRiPE)

[Nate Foster]

                       The 2nd International Workshop
                      on Rigorous Protocol Engineering
              http://www.cs.cornell.edu/conferences/wripe2012
                            Austin, Texas, USA
                              30 October 2012
                         co-located with ICNP 2012

OVERVIEW

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. Unfortunately these techniques are
rarely used in practice. 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 to the design, analysis, and implementation of
protocols.

SCOPE

We include under the heading of verification any rigorous method of
synthesizing an implementation, demonstrating that an existing
implementation satisfies a given specification, or showing how
reliable conclusions can be extracted from measurements. Under network
protocols we include the traditional IP stack, emerging software
router platforms such as OpenFlow, as well as routing, transport,
application overlays, wireless protocols for carrier, enterprise, and
data center networks. We are also interested in rigorous methods for
establishing security properties of protocols.

Specific topics of interest include (but are not limited to) the
following:

* Correct-by-construction methods for developing protocols.

* Applications of model checkers, theorem provers, SAT/SMT solvers,
  and so on to network protocols.

* Techniques for synthesizing protocol implementations and
  configurations.

* Domain specific languages for describing protocols.

* Run-time techniques for formally verifying and testing the
  correctness of protocols.

IMPORTANT DATES

Submission: 31 July 2012 (anywhere in the world)
Notification: 3 September 2012
Camera-ready: 20 September 2012
WRiPE 2012: 30 October 2012

ORGANIZERS

Nate Foster (Cornell University, co-chair)
Alexander Gurney (University of Pennsylvania, co-chair)
Limin Jia (Carnegie Mellon University)
Peyman Kazemian (Stanford University)
Hung Nguyen (University of Adelaide)
Olaf Maennel (Loughborough University)
Robbert van Renesse (Cornell University)
Michael Schapira (Hebrew University of Jerusalem)
Stefano Vissicchio (Universite Catholique de Louvain)
David Walker (Princeton University)
Pamela Zave (AT&T Research)
Wenchao Zhou (Georgetown University)

AUTHOR GUIDELINES

Prospective authors are invited to submit papers in English presenting
original research. Submissions to WRiPE must not be concurrent with a
substantially similar submission to a conference or workshop,
including condensed versions of work that has been submitted and is
currently under review. Please do not submit abbreviated versions of
journal or conference papers. Reviewing will not be blind.

We encourage submissions of work-in-progress based on novel and
interesting ideas and tool demonstrations. All submitted papers must
be no longer than six (6) pages in double-column format with standard
margins (i.e., at least one inch all around) and at least a 10 point
font. Longer submissions will not be reviewed. We suggest using the
IEEE Transactions Style:
http://www.ieee.org/web/publications/authors/transjnl/index.html.

PROCEEDINGS

Accepted papers will be published by the IEEE Press.