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

Leonardo de Moura demoura at csl.sri.com
Fri Aug 4 14:35:08 EDT 2006


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.




More information about the SMT-LIB mailing list