RDP                     
Home page
Organization
Sponsors

MEETINGS        
RTA
TLCA
FTP
WG1.6
RULE
UNIF
WFLP
WRS
WST

VENUE               
Valencia
Registration
Accomodation
Travelling
Program
Conference Venue
Internet
WST'03 6th International Workshop on Termination
Valencia, Spain, June 13-14, 2003

After the successful international workshops on termination held in

  1. St. Andrews (1993),
  2. La Bresse (1995),
  3. Ede (1997)
  4. Dagstuhl (1999) and 
  5. Utrecht (2001)
the Sixth International Workshop on Termination will be held in Valencia as part of the Federated Conference on Rewriting, Deduction and Programming. We hope to attain the same friendly atmosphere as in past workshops, which enabled fruitful exchanges leading to joint research and subsequent publications.

TOPICS

This workshop delves into all aspects of termination of processes.  Though, the halting of computer programs, for example, 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:

  • Well-quasi-order theory
  • Ordinal notations
  • Fast/slow growing hierarchies
  • Strong normalization of lambda calculi
  • Termination of programs
  • Termination of rewriting
  • Termination of logic programs
  • Termination in concurrency
  • Ordinals and termination orderings
  • Hard termination problems/proofs
  • Termination methods for theorem provers / verification systems
  • Implementations of termination methods
  • Applications of termination methods
Apart from the presentation sessions, for the first time, the Workshop on Termination will promote an Exhibition/Competition of Termination Proof systems. The conditions/rules for this event will be fixed according to the kind of systems willing to participate.

SUBMISSIONS

Abstracts Submission

Extended abstracts of papers (1-3 pages) should be submitted electronically. Authors of accepted papers will be expected to attend and present their paper at the workshop.

Systems Submission

A short description of the system (1-3 pages) should be submitted electronically. Authors may be asked for details if necessary. Authors of accepted systems will be expected to attend and participate in the exhibition/competition at the workshop. During the workshop there will be a special session including a presentation for each participating system.

Authors are encouraged to use LaTeX2e and the Springer llncs class files .


IMPORTANT DATES
    March 24, 2003 Deadline for electronic submission of abstracts
    March 24, 2003 Deadline for electronic submission of system descriptions
    April 25, 2003 Notification of acceptance of abstracts and systems
    May 12, 2003 Deadline for final versions of accepted abstracts and system descriptions
    June 13-14, 2003 Workshop

PROGRAM COMMITTEE

PROGRAM CHAIR

LINKS