[TYPES] WST 2004 -- Call for Contributions

[Aart Middeldorp]

*********************** CALL FOR CONTRIBUTIONS ***********************

                                 WST 2004

              7th International Workshop on Termination
              June 1 - 2, 2004          Aachen, Germany

            http://www-i2.informatik.rwth-aachen.de/WST04/


TOPICS

This workshop delves into all aspects of termination of processes.
Though the halting of computer programs is undecidable, methods of
establishing termination 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 central in mathematical logic and ordinal theory.

Areas of interest to this workshop, include, but are not limited to,
the following:

   * termination of programs
   * termination of rewriting
   * strong and weak normalization of lambda calculi
   * termination orderings
   * implementations of termination methods
   * applications of termination methods
   * termination methods for theorem provers
   * challenging termination problems/proofs
   * termination in concurrency
   * well-quasi-order theory
   * ordinal notations
   * fast/slow growing hierarchies

Following the success at last year's workshop, apart from the
presentation sessions there will be an exhibition/competition of
termination provers.


IMPORTANT DATES

Submission Deadline: March 17, 2004
Notification:        April  9, 2004
Final Version:       April 30, 2004


SUBMISSION

Extended abstracts of at most 4 pages in the official RDP 2004 workshop
format (see below) should be submitted electronically (PS or PDF) to

wst04 at cs.bgu.ac.il

The proceedings of WST 2004 will be published as a technical report of
the Computer Science Department of RWTH Aachen. Authors are requested to
use the style file that is available from

http://www-i2.informatik.rwth-aachen.de/RDP04/style.html


PROGRAM COMMITTEE

Michael Codish          Beer-Sheva   (co-chair)
Danny De Schreye        Leuven
Alfons Geser            Hampton, VA
Neil D. Jones           Copenhagen
Claude Marche           Orsay
Aart Middeldorp         Innsbruck    (co-chair)
Frederic Mesnard        La Reunion
Helmut Schwichtenberg   Munich
Harald Sondergaard      Melbourne

EXHIBITION / COMPETITION

Claude Marche           Orsay
Albert Rubio            Barcelona

LOCAL ARRANGEMENTS

Juergen Giesl           Aachen

**********************************************************************