[SMTCOMP] Timeline doubt

[Paulo J. Matos]

On 29/03/06, Clark Barrett <barrett at cs.nyu.edu> wrote:
> Paulo,
>
> We are still finalizing a couple of new divisions for this year.  Once those
> are finalized, we will issue a broad call for benchmarks and solvers.  This
> should occur within the next month or so.  We encourage people to submit
> solvers early, but we will accept solvers up until August 8.
>

Ah, thanks for the reply. Hopefully I didn't miss any deadline then.

Thanks,

Paulo Matos

> -Clark
>
> >
> > Hi all,
> >
> > Systems should be sent in until 8th August? Seems too late compared to
> > last year.
> > Still I can't see anything resembling a deadline for solver registration.
> >
> > Cheers,
> > --
> > Paulo Jorge Matos - pocm at sat inesc-id pt
> > Web: http://sat.inesc-id.pt/~pocm
> > Computer and Software Engineering
> > INESC-ID - SAT Group
> >
> >
>
>


--
Paulo Jorge Matos - pocm at sat inesc-id pt
Web: http://sat.inesc-id.pt/~pocm
Computer and Software Engineering
INESC-ID - SAT Group