Acknowledgments

SMT-COMP is supported by the following funders:

• Microsoft Research, providing a travel grant for competition participants, especially students, who might otherwise be unable to attend. See the travel grant page.
• The U.S. National Science Foundation, under grant CNS-0551697. This grant has purchased the cluster on which the competition runs, as well as provided partial support for staff at the organizers' institutions running the competition.

SMT-COMP'07 is co-organized by:

• Clark Barrett : Computer Science, New York University
• Albert Oliveras : LSI Department, Technical University of Catalonia
• Aaron Stump : Computer Science Engineering, Washington University in St. Louis

The SMT-COMP benchmark execution infrastructure is implemented by:

• Morgan Deters: Washington University in St. Louis.

An earlier version was written by Jon Fox (Washington University in St. Louis).

Last modified: Tue 17 Feb 2015 14:58 UTC