SMT-COMP

Since 2005, the SMT workshop has hosted a competition, SMT-COMP, for SMT solvers compliant with the SMT-LIB standard.

Conferences

Because of their informal nature, SMT meetings usually have only informal proceedings. Longer versions of original submissions to the SMT workshop or papers on SMT in general are typically published in the following archival conferences:

Every edition of SMT so far has affiliated with one of these conferences from the list above: CADE, CAV, IJCAR, and SAT.

SAT/SMT/AR Summer School

The SAT/SMT/AR (formerly SAT/SMT) Summer School aims at providing graduate students and researchers from universities and industry with a comprehensive overview of research and methodology in satisfiability testing (SAT), satisfiability modulo theories (SMT), and Automated Reasoning (AR). The lectures cover the foundational and practical aspects of SAT, SMT, and AR technologies and their applications.



Home

Meetings

Committees

Related

Bylaws