From April 19th, 2010 to April 23rd, 2010, the Dagstuhl Seminar 10161 #R##N#"Decision Procedures in Soft, Hard and Bio-ware"#R##N#was held in Schloss Dagstuhl  Leibniz Center for Informatics.#R##N#During the seminar, several participants presented their current research,#R##N#and ongoing work and open problems were discussed. Abstracts of the#R##N#presentations given during the seminar as well as links to slides and links to #R##N#papers behind the presentations and papers produced as a result #R##N#of the seminar are put together in this paper. The first section describes#R##N#the seminar topics and goals in general. Links to extended abstracts or#R##N#full papers are provided, if available.
['Nikolaj Bjørner', 'Robert Nieuwenhuis', 'Helmut Veith', 'Andrei Voronkov']
10161 Abstracts Collection -- Decision Procedures in Software, Hardware and Bioware