SMT-COMP 2019

The 14th International Satisfiability Modulo Theories Competition (SMT-COMP 2019) is part of the SMT Workshop 2019, affiliated with SAT 2019.

The SMT Workshop will include a block of time to present the competitors and results of the competition.

News

• 22 Jan 2019 SMT-COMP 2019 call for comments, benchmarks, solvers

Key dates

• March 1: Deadline for new benchmark contributions
• July 7-9: SMT Workshop (presentation of results)

Organizers

SMT-COMP 2019 is organized by:

• Liana Hadarean - Amazon, USA
• Antti Hyvarinen - Universita della Svizzera italiana, CH
• Aina Niemetz (co-chair) - Stanford University, USA
• Giles Reger (co-chair) - University of Manchester, UK