Call for Abstracts
FIFTH INTERNATIONAL WORKSHOP
Utrecht, The Netherlands
After the successful international workshops on termination held in
the fifth international workshop on termination will be held in Utrecht
in conjunction with the International
Conference on Rewriting Techniques and Applications (RTA). We hope
to attain the same friendly atmosphere as in past workshops, which enabled
fruitful exchanges leading to joint research and subsequent publications.
St. Andrews (1993),
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,
Fast/slow growing hierarchies
Strong normalization of lambda calculi
Termination of programs
Termination of rewriting
Termination of logic programs
Ordinals and termination orderings
Hard termination problems/proofs
Termination methods for theorem provers / verification systems
Implementations of termination methods
Applications of termination methods
Extended abstracts of papers (1-3 pages) should be submitted electronically
by February 19, 2001. Expect notification by March 1. Authors of
accepted papers will be expected to attend and present their paper at the
The list of accepted papers is here.
The proceedings (extended abstracts) are here.
Final versions of these papers will be maintained here.
To register for the workshop, please fill out the registration
form as soon as possible.
| February 2, 2001
|| Submission deadline
| February 19, 2001
|| Extended deadline
| March 1, 2001
|| Notification of acceptance
| April 1, 2001
|| Registration deadline (tentative)
| May 20-21, 2001
|| WST Workshop
| May 22-24, 2001
|| RTA conference
Further Information and Requests