There will be an additional registration fee of DM 20. The
registration fee and the accomodation costs have to be paid during the
workshop. Payment is possible by cash, credit card (Visa, Mastercard, and
Eurocard), and by electronic cash (with EC-card).
All participants are free to use Schloß Dagstuhl's
comprehensive computer science research library and there will be
computer facilities with Internet access for every participant.
On Tuesday afternoon (May 11), there will be an excursion to the historic town
of Trier including a sightseeing tour. In the evening, we will be visiting a
wine tasting session near Trier. The costs for the excursion will be around DM 30 (excluding
wine and food).
Typically, one tastes 6 or 7 wines (where each glass of wine is around DM
1.20) and a light dinner with the wines will cost around DM 14.
To register for the workshop, please fill out the registration
form before April 1, 1999. Please
also mention your arrival and departure time and indicate whether you are most
likely intending to join the excursion.
There will be a cold dinner on Sunday evening (6 p.m.) which will be available
the whole evening, such that participants arriving late can still have a
meal. However, if you arrive late, then please indicate this on
your registration form to ensure that there will still be someone there to
let you in.
Scope
In general, termination or the halting of computer processes is
undecidable. However, termination proofs play a fundamental role in many
applications and the challenges are both practical and theoretical.
From a practical point of view, proving termination is a central problem in
software development and
formal methods for termination analysis are essential for program
verification.
From a theoretical point of view, termination is closely connected to
mathematical logic and ordinal theory.
Many results have been achieved on termination of rewriting,
but termination questions from
other areas will be covered by the workshop, too.
Therefore, the topic of the workshop is
how to prove termination of any kind of computation.
Program
The program is available here.
Registration Information
Acommodation for all participants will be in Schloß Dagstuhl itself. The
costs will be DM 135 per day (for a single bed room with
shower and WC including all meals). Thus, the exact amount of your accomodation
costs depends on your arrival and departure time and on the actual number of meals
you have in Dagstuhl. Please click here for the exchange rates of German Marks (DM) to other
currencies.
Travel Information
For details please consult the travel information page of
Schloß Dagstuhl. For train connections in Germany, please click
here.
If you come by train, essentially there are two
possibilities to reach the workshop site. Either you take the train to
St. Wendel and catch the bus to Dagstuhl from
there. Or else, you can order a taxi to fetch you
at the station. For that purpose, please send an E-mail to Taxi Martin who will do the coordination. To
facilitate this coordination, if you take a taxi, we would recommend that you
get out at Neubrücke station. Please also note that the day after the
workshop (May 13) is a public holiday in Germany.
Program Committee
Further Information and Requests
Jürgen
Giesl
Dept. of
Computer Science
Darmstadt University of
Technology
Alexanderstr. 10
64283 Darmstadt
Germany
Tel: +49 6151 164494
Fax: +49 6151 166241
Email: giesl@informatik.tu-darmstadt.de