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.