[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[pept:175] WST 2004 -- Call for Contributions



*********************** 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@xxxxxxxxxxxx

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

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