[YICES] Call for Papers -- International Workshop on Rigorous
Protocol Engineering (WRiPE 2011)
anduo at seas.upenn.edu
Tue Apr 5 08:36:24 PDT 2011
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
* Model finding techniques for network configuration.
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
* 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
* 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
More information about the YICES