Home Rules Specs SMT-LIB Previous


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


Key dates

  (see the rules for the complete timeline)
  • April 8: Deadline for new benchmark contributions
  • May 27: Deadline for first versions of solvers
  • June 10: Deadline for final versions of solvers
  • July 12-13: SMT Workshop (presentation of results)

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

Home Rules Specs SMT-LIB Previous

Last modified: Thu 19 Apr 2018 19:26 UTC
Valid XHTML 1.0 Valid CSS!