April 18 – 23 , 2010, Dagstuhl Seminar 10161

Decision Procedures in Software, Hardware and Bioware


Nikolaj S. Bjørner (Microsoft Corporation – Redmond, US)
Robert Nieuwenhuis (UPC – Barcelona, ES)
Helmut Veith (TU Wien, AT)
Andrei Voronkov (University of Manchester, GB)

For support, please contact

Dagstuhl Service Team


List of Participants
Dagstuhl Seminar Schedule [pdf]


A goal of the seminar Decision Procedures in Soft, Hard and Bio-ware was to bring together renowned as well as young aspiring researchers from two groups. The first group formed by researchers who develop both theory and efficient implementations of decision procedures. The second group comprising of researchers from application areas such as program analysis and testing, crypto-analysis, hardware verification, industrial planning and scheduling, and bio-informatics, who have worked with, and contributed to, high quality decision procedures. The purpose of the seminar was to heighten awareness between tool and theory developers for decision procedures with the array of applications found in software, hardware and biological systems analysis. The seminar fell in the week of April 19-23, 2010.

In spite of the travel disruptions due to the Icelandic volcano eruption, 27 researchers from 8 countries (Germany, Austria, Italy, France, USA, United Kingdom, Switzerland, and India)arrived and discussed their recent work and future trends. The absence of several attendees from North America meant that the seminar was unable to cover planned tutorials on Bio-analysis and constraint solving. Instead it focused heavily on decision procedures in the context of software analysis and to some extent hardware. The planned tutorial on hardware analysis, by Armin Biere, was highly successful, though. On the other hand, it allowed for a highly interactive environment and some attendees got a chance to present a talk on more than one topic.

Related Dagstuhl Seminar


  • Seminar
  • Hardware
  • Opt/scheduling
  • Pl/compiler
  • Security/crypto
  • Semantics/formal
  • Verification/logic
  • Bioinformatics
  • Interdisciplinary
  • Industry


  • Decision procedures
  • Software
  • Hardware
  • Bioware


In the series Dagstuhl Reports each Dagstuhl Seminar and Dagstuhl Perspectives Workshop is documented. The seminar organizers, in cooperation with the collector, prepare a report that includes contributions from the participants' talks together with a summary of the seminar.


Download overview leaflet (PDF).


Furthermore, a comprehensive peer-reviewed collection of research papers can be published in the series Dagstuhl Follow-Ups.

Dagstuhl's Impact

Please inform us when a publication was published as a result from your seminar. These publications are listed in the category Dagstuhl's Impact and are presented on a special shelf on the ground floor of the library.