[loginf] WST 2003 in Valencia

Workshop on Termination wst03 at lsi.upc.es
Mon Feb 24 12:47:52 CET 2003

  ****************** CALL FOR ABSTRACTS AND SYSTEMS ******************

               6th International Workshop on Termination  
                    Valencia, Spain, June 13-14, 2003

                             IMPORTANT DATES

March 24   -- Deadline for submission (abstracts and system desc.) 

April 25   -- Notification 

May 12     -- Deadline for final versions (abstracts and system desc.)

June 13-14 -- Workshop


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 (http://www.dsic.upv.es/~rdp03). We hope to attain the
same friendly atmosphere as in past workshops, which enabled fruitful
exchanges leading to joint research and subsequent publications.


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.


Abstracts Submission

Extended abstracts of papers (1-3 pages) should be submitted
electronically (wst03 at lsi.upc.es). 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 (wst03 at lsi.upc.es). 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 .

                            PROGRAM COMMITTEE

   * Thomas Arts (Gothenburg)
   * Michael Codish (Beer-Sheva)
   * Juergen Giesl (Aachen)
   * Jean Goubault-Larrecq (Cachan)
   * Deepak Kapur (Albuquerque)
   * Delia Kesner (Paris)
   * Albert Rubio (Barcelona, Chair)
   * Danny De Schreye (Leuven)
   * Andreas Weiermann (Muenster and Utrecht)



  Albert Rubio 
  Universitat Politècnica de Catalunya 
  Barcelona, Spain 
  WST 2003 website:         http://www.lsi.upc.es/~wst03
  WST 2003 e-mail address:  wst03 at lsi.upc.es
  RDP 2003 website:         http://www.dsic.upv.es/~rdp03

More information about the loginf mailing list