Program of EMSQMS

Tuesday, July 20th

Tuesday's program is also available with abstracts and side by side with other events.

09:00‑10:00 Session 1
Location: AT 2.14
09:00 Joe Hurd
Evaluation Opportunities in Mechanized Theories
10:30‑12:30 Session 2
Chair: Geoff Sutcliffe
Location: AT 2.14
10:30 Robert Brummayer, Aaron Stump and Duckki Oe
Exploring Predictability of SAT/SMT Solvers
11:00 Claudia Peschiera, Luca Pulina and Armando Tacchella
Designing a solver competition: the QBFEVAL'10 case study
11:30 Mladen Nikolic
Statistical Methodology for Comparison of SAT Solvers
12:00 Christoph Benzmueller and Marvin Schiller
Adaptive Proofs supported by Metadeduction
14:00‑15:00 Session 3
Chair: Cesare Tinelli
Location: AT 2.14
14:00 Morgan Deters
The SMT Execution Service: Features, Fairness, and the Future
14:30 Geoff Sutcliffe, Cynthia Chang, Li Ding, Deborah McGuinness and Paulo Pinheiro da Silva
Different Proofs are Good Proofs
15:30‑17:00 Session 4
Chair: Aaron Stump
Location: AT 2.14
15:30 EMS panel on solver competitions and community infrastructure (shared with SVARM)
16:15 QMS facilitated discussion on quality metrics for solutions