TOP
Suche auf der Schloss Dagstuhl Webseite
Sie suchen nach Informationen auf den Webseiten der einzelnen Seminare? - Dann:
Nicht fündig geworden? - Einige unserer Dienste laufen auf separaten Webseiten mit jeweils eigener Suche. Bitte beachten Sie folgende Liste:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminare
Innerhalb dieser Seite:
Externe Seiten:
  • DOOR (zum Registrieren eines Dagstuhl Aufenthaltes)
  • DOSA (zum Beantragen künftiger Dagstuhl Seminare oder Dagstuhl Perspektiven Workshops)
Publishing
Innerhalb dieser Seite:
Externe Seiten:
dblp
Innerhalb dieser Seite:
Externe Seiten:
  • die Informatik-Bibliographiedatenbank dblp


Dagstuhl-Seminar 10161

Decision Procedures in Software, Hardware and Bioware

( 18. Apr – 23. Apr, 2010 )

(zum Vergrößern in der Bildmitte klicken)

Permalink
Bitte benutzen Sie folgende Kurz-Url zum Verlinken dieser Seite: https://www.dagstuhl.de/10161

Organisatoren



Programm

Summary

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.


Teilnehmer
  • Armin Biere (Universität Linz, AT) [dblp]
  • Nikolaj S. Bjørner (Microsoft Corporation - Redmond, US) [dblp]
  • Roberto Bruttomesso (University of Lugano, CH)
  • Jürgen Christ (Universität Freiburg, DE)
  • Alessandro Cimatti (IRST - Trento, IT) [dblp]
  • Scott Cotton (VERIMAG - Grenoble, FR)
  • Pascal Fontaine (LORIA - Nancy, FR) [dblp]
  • Vijay Ganesh (University of Waterloo, CA) [dblp]
  • Silvio Ghilardi (University of Milan, IT) [dblp]
  • Alberto Griggio (Bruno Kessler Foundation - Trento, IT) [dblp]
  • Krystof Hoder (University of Manchester, GB)
  • Jochen Hoenicke (Universität Freiburg, DE)
  • Swen Jacobs (EPFL - Lausanne, CH) [dblp]
  • Laura Kovács (TU Wien, AT) [dblp]
  • Fabio Massacci (University of Trento, IT) [dblp]
  • David Monniaux (VERIMAG - Grenoble, FR) [dblp]
  • Michal Moskal (Microsoft Corporation - Redmond, US)
  • Grant Olney Passmore (University of Cambridge, GB) [dblp]
  • Ruzica Piskac (MPI-SWS - Saarbrücken, DE) [dblp]
  • Philipp Rümmer (Uppsala University, SE) [dblp]
  • Marko Samer (TU Wien, AT)
  • Helmut Seidl (TU München, DE) [dblp]
  • Natasha Sharygina (University of Lugano, CH) [dblp]
  • Viorica Sofronie-Stokkermans (Universität Koblenz-Landau, DE) [dblp]
  • Nestan Tsiskaridze (University of Manchester, GB)
  • Helmut Veith (TU Wien, AT) [dblp]
  • Thomas Wies (New York University, US) [dblp]

Verwandte Seminare
  • Dagstuhl-Seminar 11272: Decision Procedures in Soft, Hard and Bio-ware - Follow Up (2011-07-03 - 2011-07-06) (Details)

Klassifikation
  • seminar
  • hardware
  • opt/scheduling
  • pl/compiler
  • security/crypto
  • semantics/formal
  • verification/logic
  • bioinformatics
  • interdisciplinary
  • industry

Schlagworte
  • decision procedures
  • software
  • hardware
  • bioware