[SMTCOMP] evening session program

[Aaron Stump]

Dear SMT-COMP participants and others interested:

The evening session for SMT-COMP is this Sunday, August 20th, from 7 to
9pm, in a room to be announced (the day of, as for all FLoC events) by
FLoC.  The program for this follows.  Implementors will be giving short
presentations about their tools (I have still to confirm with one team
below).  There will then be an open discussion, facilitated by the
organizers, on this year's and next year's competition.  Everyone is
welcome to attend.

Best wishes, and hope to see you then,
Aaron, for Clark and Leonardo, too
----------------------------------------------------------------------
I. Presentations by implementors

19:00-19:10   Ario
19:10-19:20   BarcelogicTools
19:20-19:30   CVC3
19:30-19:40   HTP
19:40-19:50   MathSAT
19:50-20:00   NuSMV
20:00-20:10   Sateen
20:10-20:25   Yices

II. Open discussion on SMT-COMP '06 and '07

20:25-21:00