The LaTeX full version of this Call for Papers is available.
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:
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.