GI/Dagstuhl Research Seminar

Model-based Testing of Reactive Systems

January 12-15, 2004, Schloss Dagstuhl


About this seminar

Testing is the primary hardware and software validation technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent years, however, many attempts have been made to develop more sophisticated, formal testing methods. But a comprehensive account of the area of formal testing is missing. The goal of this seminar is to elaborate a volume providing an in-depth exposure of this emerging area, especially to make it easily accessible to new researchers in this field.

Aim of the seminar

The aim of the seminar is to bring together (primarily young) researchers working in or starting to work in this area (PhD students, fresh PhDs, or maybe even MSc students; also established researchers might apply). The seminar will be devoted to the assembly of a structured overview (in terms of presentations and papers) of the state-of-the-art.
  • Call for Participation (closed)
  • Subjects and Participants
  • Program
  • Organizers

    Time and location

    The seminar is organised as a GI/Dagstuhl-seminar from January 12, 2004 (Monday, arrival) through January 15, 2004 (Thursday) in the International Conference and Research Center for Computer Science at Schloss Dagstuhl. Arrival on Sunday is not possible. See the program for detailed times.

    Dagstuhl lies about halfway between Saarbrücken and Trier and is ideally suited for a research seminar because of its excellent library and special atmosphere. Travel information can be found at the Dagstuhl page. Note that information about Hahn, which might be a cheap alternative to go Dagstuhl.

    Registration fee for all participants will be 100 Euro; this includes accommodation, all meals and coffee/tea breaks. This extremely low fee is made possible through the sponsorship of the Gesellschaft für Informatik.

    Time table

    About the GI/Dagstuhl research seminar series

    Since 1997 the Gesellschaft für Informatik (GI) (German Computer Society) organizes research seminars on current topics in computer science. They are primarily addressed at graduate students and recent PhDs that actively want to learn about new developments. Participants are selected on the basis of an application. The maximum number of participants is usually limited to 20. So far, there have been GI/Dagstuhl seminars on the following topics:


    Schloss Dagstuhl Gesellschaft für Informatik Gesellschaft für Informatik
    Martin Leucker, December 03, 2003