[SMT-LIB] SMT-COMP: system submission deadline

[Leonardo de Moura]

Hi,

The system submission deadline for SMT-COMP'06 is next Tuesday  
(August 8).
For more information go to:

http://www.csl.sri.com/users/demoura/smt-comp/registration.shtml

Best wishes,
Leonardo for Aaron and Clark too.