DIMACS Workshop on Computational and Complexity Issues in Automated Verification: Participation
March 25 - 28, 1996
DIMACS Center, Rutgers University, Piscataway, NJ
- Organizers:
- Bob Brayton, University of California - Berkeley, brayton@ic.eecs.berkeley.edu
- Allen Emerson, University of Texas, emerson@cs.utexas.edu
- Joan Feigenbaum, AT&T Labs - Research, jf@research.att.com
Presented under the auspices of the DIMACS Special Year on Logic and Algorithms.
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
Workshop Announcement
may have information.
Previous: Announcement
Next: Program
Index
DIMACS Homepage
Contacting the Center
Document last modified on November 2, 1998.