SMT 2011

9th International Workshop on Satisfiability Modulo Theories (SMT) 2011
Co-located with Computed-Aided Verification (CAV) 2011
July 14-15
Snowbird, Utah

SMT 2011 will partially reimburse some students for their conference-related expenses. Applications consist of a short recommendation letter by the student's supervisor to be sent to the PC chairs at smt11chairs [AT] lists.eecs.berkeley.edu by July 5. The travel grants will be made available during the workshop.

Fonts via Kernest | Contact the Webmaster