6th International Workshop on Satisfiability Modulo Theories (SMT 08)
Home
Background
Program
Aims and scope
Submission and CFP
Proceedings
Important dates
Programme committee
Previous editions
Invited speakers
Student travel awards
Sponsors
CAV 2008