[SMTCOMP] submission deadline

Leonardo de Moura demoura at csl.sri.com
Tue Aug 8 12:20:47 EDT 2006

Previous message: [SMTCOMP] solvers submitted by organizers
Next message: [SMTCOMP] List of participants & Selected benchmarks
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi,

We have been receiving several emails about the submission deadline.
The deadline is:   August 8, 23:59 (pacific time).

Leonardo

Previous message: [SMTCOMP] solvers submitted by organizers
Next message: [SMTCOMP] List of participants & Selected benchmarks
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the SMT-COMP mailing list