International Workshop on Satisfiability Modulo Theories July 12, 2011
Highway 210, Little Cottonwood Canyon, P.O. Box 929000
Snowbird, Utah
Snowbird, Utah
The aim of the SMT 2011 workshop is to bring together researchers working on SMT and users of SMT solvers to discuss all about new theories, decision procedures, novel implementation techniques, applications, and evaluation techniques.
Official Website: http://uclid.eecs.berkeley.edu/smt11/
Added by mBLAST on February 18, 2011