MTV'02: Call for Papers

Miroslav Velev <>
Fri Aug 24 10:09:08 CEST 2001


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.



More information about the erlang-questions mailing list