GI/Dagstuhl Research Seminar
Model-based Testing of Reactive Systems
January 12-15, 2004, Schloss
Dagstuhl
News
- The book of the seminar is now available. This completes the seminar. Thanks to all people involved for their effort. You can taka a look at the outcome here:
- program now available
- added link to travel information
- Refined deadlines.
- Added subjects and participant.
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
- Manfred Broy, Technical University of Munich, Germany
- Bengt Jonsson Uppsala University, Sweden
- Joost-Pieter
Katoen, University of Twente, Netherlands
- Martin Leucker, Uppsala University, Sweden, (coordinator)
- Alexander Pretschner, Technical University of Munich, Germany
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
- July 1fst, 2003: launch of call for participation
- August 30th, 2003: deadline for applications
- October 1fst 2003: notification on participation
- November 15th, 2003: first version of seminar paper
- December 20th, 2003: revised versions of seminar paper
- January 12-15, 2004: Dagstuhl seminar
- March 2004: final camera-ready seminar papers due
- Spring 2004: publication of seminar volume
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:
Sponsors
Martin Leucker, December 03, 2003