Registration and Participant Support

DIMACS Workshop on Partial Order Methods in Verification (POMIV)

July 24 - 26, 1996
Princeton University, Princeton, NJ

Organizers:: Doron Peled, AT&T Labs, doron@research.att.com; Gerard Holzmann, AT&T Labs, gerard@research.att.com; Vaughan Pratt, Stanford University, pratt@cs.stanford.edu

Presented under the auspices of the DIMACS Special Year on Logic and Algorithms.

To register, please mail or email a Workshop Registration Form to Sandy Barbu.

barbu@cs.princeton.edu

Previous: Program

Next: Registration Form

DIMACS Homepage

Contacting the Center
Document last modified on August 24, 1998.