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)