DOMAINS :: SMT-LIB :: preliminary announcement, SMT-COMP

[QPQ]

Forums QPQ
DOMAINS :: SMT-LIB ::.. preliminary announcement, SMT-COMP

stump wrote at Nov 01, 2004 - 12:10 PM
---------------------------------------------------------------------
Dear SMT-LIB members,

I am writing to make a preliminary announcement of the Satisfiability
Modulo Theories Competition (SMT-COMP) that will run as a satellite event
of CAV '05, July 6-10, Edinburgh, Scotland.  SMT solvers will compete 
on a set of benchmarks in SMT-LIB format, while CAV runs (in the style of
CASC). The goals of SMT-COMP are to stimulate innovation in SMT solvers,
promote standardization around the SMT-LIB format, and bring together SMT
tool implementors with potential users in the verification community.
The competition is organized by Clark Barrett, Leonardo de Moura, and 
myself.

The anticipated deadline for entering solvers is May 6, 2005.

For more information, see the SMT-COMP website:

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

Further announcements will be made when the time draws nearer.

Sincerely,
Aaron Stump
on behalf also of
Clark Barrett
Leonardo de Moura
---------------------------------------------------------------------

Reply to this message:
http://www.qpq.org/modules.php?op=modload&name=phpBB_14&file=index&action=reply&topic=53&forum=46

Browse thread:
http://www.qpq.org/modules.php?op=modload&name=phpBB_14&file=index&action=viewtopic&topic=53

You are receiving this Email because you are subscribed to be notified of events in forums at: http://www.qpq.org/