Search the Dagstuhl Website
Looking for information on the websites of the individual seminars? - Then please:
Not found what you are looking for? - Some of our services have separate websites, each with its own search option. Please check the following list:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Within this website:
External resources:
Within this website:
External resources:
  • the dblp Computer Science Bibliography

Dagstuhl Seminar 11272

Decision Procedures in Soft, Hard and Bio-ware – Follow Up

( Jul 03 – Jul 06, 2011 )

(Click in the middle of the image to enlarge)

Please use the following short url to reference this page:




The seminar Decision Procedures in Soft, Hard and Bio-ware - Follow Up was held as a follow-on for a seminar 10161, of the same title, that was took place in late April 2010 during the initial eruption of Eyjafjallajökull. In spite of the travel disruptions caused by the eruption of the volcano, the original seminar received a respectable turnout by European, mainly German and Italian participants. Unfortunately, the eruption hindered participation from overseas or even more distant parts of Europe. This caused the seminar to cover only part of the original objective. The follow-on seminar focused on the remaining objectives, in particular to bio-ware and constraint solving methods.

The main goal of the seminar Decision Procedures in Soft, Hard and Bio-ware - Follow Up 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 on two and a half days in the week of July 4-6, 2011. 25 researchers from 12 countries (Germany, Austria, Italy, France, USA, United Kingdom, China, Hungary, Spain, Sweden, Czech Republic, Ireland) participated.

  • Joshua Berdine (Microsoft Research UK - Cambridge, GB) [dblp]
  • Nikolaj S. Bjørner (Microsoft Corporation - Redmond, US) [dblp]
  • Christoph Flamm (Universität Wien, AT) [dblp]
  • Vijay Ganesh (MIT - Cambridge, US) [dblp]
  • Sicun Gao (Carnegie Mellon University - Pittsburgh, US) [dblp]
  • Silvio Ghilardi (University of Milan, IT) [dblp]
  • Krystof Hoder (University of Manchester, GB)
  • Deepak Kapur (University of New Mexico - Albuquerque, US) [dblp]
  • Laura Kovács (TU Wien, AT) [dblp]
  • Christopher Lynch (Clarkson University - Potsdam, US) [dblp]
  • Feifei Ma (Chinese Academy of Sciences - Beijing, CN) [dblp]
  • Joao Marques-Silva (University College Dublin, IE) [dblp]
  • David Monniaux (VERIMAG - Grenoble, FR) [dblp]
  • Robert Nieuwenhuis (UPC - Barcelona, ES) [dblp]
  • Albert Oliveras (Polytechnic University of Catalonia, ES) [dblp]
  • Ruzica Piskac (MPI-SWS - Saarbrücken, DE) [dblp]
  • Enric Rodríguez-Carbonell (UPC - Barcelona, ES) [dblp]
  • Albert Rubio (UPC - Barcelona, ES) [dblp]
  • Viorica Sofronie-Stokkermans (Universität Koblenz-Landau, DE) [dblp]
  • Helmut Veith (TU Wien, AT) [dblp]
  • Andrei Voronkov (University of Manchester, GB) [dblp]
  • Thomas Wies (New York University, US) [dblp]
  • Christoph M. Wintersteiger (Microsoft Research UK - Cambridge, GB) [dblp]
  • Jian Zhang (Chinese Academy of Sciences - Beijing, CN) [dblp]
  • Ting Zhang (Iowa State University - Ames, US)

Related Seminars
  • Dagstuhl Seminar 10161: Decision Procedures in Software, Hardware and Bioware (2010-04-18 - 2010-04-23) (Details)

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

  • Decision procedures
  • Software
  • Hardware
  • Bioware