Related 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:

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