EMSQMS 2010: July 20

Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions

associated with CAV and IJCAR


The EMSQMS workshop is concerned with two aspects of logic solver evaluation: methods to evaluate logic solvers meaningfully and metrics to evaluate their solutions.

The workshop will collect ideas and inputs on these topics, to provide specific advice and resources that will help logic solver developers and users obtain meaningful evaluations for research and applications.

In addition to talks on original and previously presented research, the program includes a panel on the main topics on the workshop, with an emphasis on solver competitions and solver community infrastructure, followed by a facilitated discussion on quality metrics for solver solutions.

More information can be found here.


Invited Speakers and Panelists

Program Chairs

Cesare Tinelli, The University of Iowa, United States

Program Committee:

Christoph Benzmueller, Articulate Software, United States
Armin Biere, Johannes Kepler University, Austria
Li Ding, Rensselaer Polytechnic Institute, United States
Daniel Le Berre, CRIL-CNRS UMR 8188, France
Deborah L. McGuinness, Rensselaer Polytechnic Institute, United States
Adam Pease, Articulate Software, United States
Paulo Pinheiro da Silva, University of Texas at El Paso, United States
Albert Rubio, Universitat Polit├Ęcnica de Catalunya, Spain
Ulrike Sattler, University of Manchester, United Kingdom
Torsten Schaub, University of Potsdam, Germany
Aaron Stump, CS Department, The University of Iowa, United States
Geoff Sutcliffe, University of Miami, United States
Armando Tacchella, DIST - University of Genoa, Italy