CALL FOR PARTICIPATION

Click here to get a ps version of this cfp.

This workshop is the eleventh in the series , the last four having been in Boston (USA, 1993), Val d'Ajol (France, 1994), Sitges (Spain, 1995), and Herrsching (Germany, 1996). As its predecessors , UNIF'97 is meant to be an opportunity to meet old and new colleagues, to present recent (or even unfinished) work, and to discuss new ideas and trends related to unification and all its extensions, especially in the domain of constraints solving. It is also a good opportunity for researchers working in related areas to get an overview of the current state of the art in the field.

UNIF'97 is organized by Siva Anantharaman, Pierre Rety and Gilles Richard, LIFO, University of Orléans (France). Orléans is a historical town in France, well situated in the heart of the famous Loire Valley, with easy access by train or car (approx. 1 hour from Paris, some 120 kms to the south-west). The dates for UNIF'97 have been so chosen that :

• those interested in the closely related area of Constraint Logic Programming can also attend the JFPLC'97 ("Journees Francophones de la Programmation en Logique et par Contraintes") organized by LIFO between Monday May 26 and Wednesday May 28, 1997.

• those intending to attend RTA'97 can have a week-end break visiting the Chateaux de la Loire, before flying to Barcelona. (Cheap regular flights are available between Paris and Barcelona).

The following is a non-exclusive list of topics on which contributions to UNIF'97 are invited :

Foundations	Type reconstruction
Typed Unification	General E-unification and Calculi
Narrowing	Higher-Order Unification
Disunification	Implementations and Applications
Constraint solving	Combination problems
New Techniques for Constraint Logic Programming

UNIF'97 will be proposing, in conjunction with JFPLC'97 the following exceptional events on Wednesday, 28th May 1997 (their common day) :

• An invited talk in the morning by Alan Robinson on " Unification and Resolution in retrospect."

• A sightseeing visit to a Chateau de la Loire followed by a banquet, in the evening.

UNIF'97 will be starting at 9 a.m. on Wednesday the 28th of May, and closing around 6 p.m. on Friday the 30th of May. It is expected that participants arrive on Tuesday May 27 in the evening. Lodging is arranged with Hotel IBIS-Centre in the city center.

On Wednesday, the UNIF'97 and JFPLC'97 sessions will be held in parallel, in a conference hall (museum) located some 300 metres from the hotel, close to the city railway station; on Thurday and Friday, the UNIF sessions will be held in a lecture hall (mediatheque) close to the hotel.

The cost for participation in UNIF'97 is about 1200 FFrs (for three nights' lodging at IBIS-Centre, three buffet breakfasts and three mid-day meals).

Participants are to register directly with Hotel IBIS-Centre, not later than 15th April 1997 and leave a valid credit card number; Visa, MasterCard or American Express Cards accepted. The excursion and banquet charges will amount to an extra 300 FFrs; separate registration for these is needed, again before the 20th of April.

We would appreciate if you let us know if you are coming and if you intend to give a talk, by writing as soon as possible to : unif97@lifo.univ-orleans.fr

Further information will be progressively made available at: