workshop announcement

I would like to post the following announcement on the types
mailing list to attract the intrest of those working in
areas related to unification. The workshop has been timed to
make it easy for those coming to LICS to attend. Thanks
very much! -wayne snyder

		
                             UNIF93

	     Seventh International Workshop on Unification	
           Preliminary Annoucement and Call for Participation

		 Sunday, June 13 -- Monday, June 14
	         Boston University, Boston MA (USA) 

This workshop is the seventh in a series of meetings on unification and 
related topics, the previous ones having been in Val d'Ajol (France), 
Lambrecht (Germany), Leeds (UK), Barbizon (France), and Dagstuhl (Germany).
As its predecessors, UNIF93 is meant to be an opportunity to meet
old and new colleagues, to present recent (even unfinished) work, 
and to discuss new ideas and trends in unification and related fields. 
It is also a good opportunity for young researchers and researchers 
working in related areas to get an overview of the current state of
the art in unification theory. 

The following is a (non-exclusive) list of possible topics:

	* Narrowing				* Typed Unification
	* General E-unification and Calculi	* Foundations