[M6] ================================================ AMAST Links 01 02

         Ninth International Workshop on Unification, UNIF'95
  Sitges (Barcelona), Spain, Sunday, April 2 - Monday, April 3, 1995  

   The LaTeX _full version_ of this Call for Papers is available at
URL: http://www.cs.utwente.nl/data/amast/links/v01/i02/full/UNIF95c.tex
  This workshop is the ninth in a series of international meetings, the
last three having been in Dagstuhl (Germany, 1992), Boston (USA, 1993)
and Val d'Ajol (France, 1994).  As its predecessors, UNIF'95 is meant
to be an opportunity to meet old and new colleagues, to present recent
work, and to discuss new ideas and trends related to unification. 
  The dates for UNIF95 have been chosen to facilitate combined trips to
the RTA'95 conference starting on Wednesday April 5 in Kaiserslautern.
  This year's workshop is organized by Robert Nieuwenhuis and Albert
Rubio.  The following is a (non-exclusive) list of possible topics:
 o  Foundations
 o  Typed Unification
 o  Special Unification algorithms
 o  Narrowing 
 o  Combination problems
 o  Higher-Order Unification
 o  Disunification
 o  Type reconstruction
 o  Constraint solving 
 o  Applications
 o  Implementations
 o  General E-unification and Calculi
  It is expected that there will be no registration fees but
because of the size of the facilities, places at the workshop will be
limited to about 50 people.  The final list of talks and participants
will be selected by Claude Kirchner and Robert Nieuwenhuis.
  If you intend to participate in the workshop, please apply to 
roberto@lsi.upc.es, indicating: (i) full name and address, (ii)
whether you intend to give a talk, and (iii) preference for single or
double room. Please _apply now_, or at least before January 15, 1995.
(early applications will have a higher priority).
Abstracts will be due by _March 1, 1995_.
  If you have any questions, email roberto@lsi.upc.es.