MTV'02: Call for Papers

[Miroslav Velev <mvelev@sonata.ece.cmu.edu>]

Microprocessor Test and Verification (MTV'02)
January 21-22, 2002, Austin, Texas, USA:

http://ece.tamu.edu/MTV/

Deadline for submission of abstracts: October 26, 2001


P.S. Note the special topic on optimizing SAT procedures
for application to testing and formal verification.