DIMACS Workshop on Computational and Complexity Issues in Automated Verification: Participation
March 25 - 28, 1996
DIMACS Center, Rutgers University, Piscataway, NJ
Presented under the auspices of the DIMACS Special Year on Logic and Algorithms.
- Bob Brayton, University of California - Berkeley, email@example.com
- Allen Emerson, University of Texas, firstname.lastname@example.org
- Joan Feigenbaum, AT&T Labs - Research, email@example.com
The organizers have not provided a call for participation yet.
Some workshops invite papers and some have open solicitation.
If this is not completed yet, the
may have information.
Contacting the Center
Document last modified on November 2, 1998.