Home SMT-LIB Previous


The 12th International Satisfiability Modulo Theories Competition (SMT-COMP 2017) is part of the SMT Workshop 2017, affiliated with CAV 2017. The SMT Workshop will include a block of time to present the competitors and results of the competition.


Key dates

  • July 22-23: SMT Workshop (presentation of results)

The organizers of SMT-COMP 2017 are Matthias Heizmann, Giles Reger, and Tjark Weber.

Home SMT-LIB Previous

Last modified: Wed 15 Mar 2017 15:20 UTC
Valid XHTML 1.0 Valid CSS!