https://www.dagstuhl.de/11272

03. – 06. Juli 2011, Dagstuhl Seminar 11272

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

Organisatoren

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

Auskunft zu diesem Dagstuhl Seminar erteilt

Dagstuhl Service Team

Dokumente

Dagstuhl Report, Volume 1, Issue 7 Dagstuhl Report
Teilnehmerliste
Gemeinsame Dokumente

We propose to bring together European and overseas participants for a seminar of the same title of a seminar that 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 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. In particular, we were unable to cover two main themes and tutorial events related to bio-ware and constraint solving methods.

The seminar resurrection allows covering these two main areas with the participation of a larger contingent of overseas participants. It also allows us to include researchers who have more recently ventured into these areas, or have come from these areas and are receptible to the topic of decision procedures.

Summary

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.

Related Dagstuhl Seminar

Classification

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

Keywords

  • Decision procedures
  • Software
  • Hardware
  • Bioware

Buchausstellung

Bücher der Teilnehmer 

Buchausstellung im Erdgeschoss der Bibliothek

(nur in der Veranstaltungswoche).

Dokumentation

In der Reihe Dagstuhl Reports werden alle Dagstuhl-Seminare und Dagstuhl-Perspektiven-Workshops dokumentiert. Die Organisatoren stellen zusammen mit dem Collector des Seminars einen Bericht zusammen, der die Beiträge der Autoren zusammenfasst und um eine Zusammenfassung ergänzt.

 

Download Übersichtsflyer (PDF).

Publikationen

Es besteht weiterhin die Möglichkeit, eine umfassende Kollektion begutachteter Arbeiten in der Reihe Dagstuhl Follow-Ups zu publizieren.

Dagstuhl's Impact

Bitte informieren Sie uns, wenn eine Veröffentlichung ausgehend von
Ihrem Seminar entsteht. Derartige Veröffentlichungen werden von uns in der Rubrik Dagstuhl's Impact separat aufgelistet  und im Erdgeschoss der Bibliothek präsentiert.