MTV'02: Call for Papers (fwd)

[Czeslaw Bylinski <bylinski@math.uwb.edu.pl>]

---------- Forwarded message ----------
Date: Fri, 24 Aug 2001 04:09:31 -0400
From: Miroslav Velev <mvelev@sonata.ece.cmu.edu>
To: mizar-forum@mizar.uwb.edu.pl
Subject: MTV'02: Call for Papers

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.