The Coq mailing list

[Anduo Wang <anduo AT seas.upenn.edu>]

1st International Workshop on Rigorous Protocol Engineering (WRiPE 2011)
Co-located with the 19th IEEE International Conference on Network
that raise the level of abstraction in Internet protocol development.
 * Formal-methods based techniques for run-time verification and
testing of Internet protocols.
 * Combining model checking and theorem proving for verifying Internet
protocols.
 * Model finding techniques for network configuration.

Submission guidelines

Paper submission will not be blind. The submissions will indicate the
names or affiliations of the authors in the paper. Please do not
submit abbreviated versions of journal or conference papers. In
particular, 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. We do encourage submissions of
work-in-progress based on novel and interesting ideas. 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. This length includes everything: figures,
tables, references, appendices and so forth. Longer submissions will
not be reviewed. Papers should include a title; full list of authors,
their organizations and email addresses; and an abstract of fewer than
200 words.

Important Dates
 * Submission deadline for papers      June 11, 2011.
 * Notification to authors     July 30, 2011.
 * Camera ready due    Aug 20, 2011.
 * Workshop date               Oct 17, 2011

Program Committee co-Chairs
 * Tim Griffin, Cambridge University
 * Boon Thau Loo, University of Pennsylvania

Program Committee
 * Edwin Brady, University of St Andrews
 * Randy Bush, Internet Initiative Japan
 * Ana Cavalli, TELECOM SudParis
 * Nate Foster, Cornell University
 * Alexander Gurney, University of Pennsylvania
 * Mike Gordon, Cambridge University
 * Stephane Grumbach, INRIA
 * Ranjit Jhala, UC San Diego
 * Anil Madhavapeddy, Cambridge University
 * Jennifer Rexford, Princeton University
 * Matthew Roughan, University of Adelaide
 * Georg Struth, University of Sheffield
 * Walter Willinger AT&T Labs Research
 * Pamela Zave, AT&T Labs Research