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 |