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 Summer School

The 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) and satisfiability modulo theories (SMT). The lectures cover the foundational and practical aspects of SAT and SMT technologies and their applications.


Home

Meetings

Committees

Related

Bylaws