[C5] ================================================ AMAST Links 02 01

               2nd International Workshop on Termination
       La Bresse, France, 29-30-31-May 1995 (Note the new dates)

   *Update* of information in [AL0103C8].
   Due to  clashes with other meetings, the workshop on termination 
previously scheduled for April will take place from May 29 to May 31.

  A similar workshop on termination was organised in May 1993 at St.
Andrews where around forty researchers in the field met for the first
time. We are organising a second workshop which will take place in 
the La Bresse mountain resort, in les Vosges. We hope this congenial
location will offer a friendly environment as at St. Andrews and will
create the same fruitful exchanges. A bus trip will be organised with
a visit to a picturesque Alsatian town followed by a dinner.
  A non exhaustive list of topics that could be presented is:
well-quasi orders, Kruskal's theorem; recursive  path  order, 
lexicographic path order & multiset path order; length of derivation
and orders, order hierarchies; ordinals and termination; proofs by 
interpretation; study of hard termination problems; design and 
implementation of new algorithms; integration in theorem provers and 
experiments; applications of termination.
  People who wish to present a communication are invited to submit a 
one page abstract by February 20th 1995, by e-mail to 

   termination@loria.fr

  *Dates*:
   February 20 : deadline for submission of communications
   March 20    : announcement of the programme
   May 2       : deadline for registrations

  *Organizing Committee:*
   Francoise Bellegarde (U. de Franche-Comte, Besangon, France)
   Adam Cichon          (U. Henry Poincari, Nancy, France)
   Isabelle Gnaedig     (INRIA-Lorraine. Nancy, France)
   Pierre Lescanne      (CRIN-CNRS, Nancy, France)
   Ursula Martin        (U. St Andrews, Scotland)