SMT
The International Workshop on
Satisfiability Modulo Theories
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:
- CADE, the Conference on Automated DEduction
- CAV, the International Conference on Computer-Aided Verification
- ETAPS, the European Joint Conferences on Theory And Practice of Software
- FMCAD, the Conference on Formal Methods in Computer Aided Design
- FroCoS, the International Symposium on Frontiers of Combining Systems
- IJCAR, the International Joint Conference on Automated Reasoning
- LPAR, the International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
- NFM, the NASA Formal Methods Symposium
- POPL, the ACM Symposium on Principles of Programming Languages
- SAT, the International Conference on Theory and Applications of SATisfiability testing
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.