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


	     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
	* Implementations			* Applications
	* Unification in Special Theories	* Combination problems
	* Constraint Solving			* Disunification
        * Higher-Order Unification              * Type reconstruction
        * Unification-Based approaches to       * Matching

This year's workshop will be jointly organized by Franz Baader 
and Wayne Snyder. It is scheduled to make it convenient for those 
traveling to RTA and LICS in Montreal to attend (RTA starts on 
wednesday, June 16, and LICS on June 20). 

The workshop will take place in the Computer Science Department at
Boston University, located in the center of Boston on the Charles River,
with easy access via subway (or by foot) to MIT, Harvard,
Northeastern, Harvard Square, the Public Garden and Boston Commons,
the harbor area, the Backbay area, and a wide variety of cultural
events and historical sights. 

Lodging has been obtained for workshop participants
in air-conditioned dormitories at Boston University for saturday 
through monday nights, but may also be arranged in local hotels or 
"bed and breakfasts." With the help of an small NSF grant for the
workshop, the cost has been kept relatively low, approximately
$135 total, which includes a single-occupancy room for three nights with 
breakfast, a banquet on monday night, and the workshop itself. 
(Double--occupancy rooms will be slightly less expensive.)
Lunch on both days and dinner on sunday night will be up to
the individuals (there are many restaurants and shops in the area,
as well as a faculty club with a good view of the Charles River).
Those staying in hotels should expect to pay approximately $75 to $90
for each night, and about $50 for the workshop. 

The format of the workshop will depend on the number of participants,
but it is likely to consist of talks of approximately half hour
in length, with time for discussion and interaction. 
We are also considering having one or more hour long survey talks.
Final arrangements will depend on the number of participants
and their interests. Those wishing to give system demonstrations
can avail themselves of our department computer network.

If you intend to participate in the workshop, please apply as soon as
possible (preferably by E-mail before the end of February) to

        Wayne Snyder
        Computer Science Department
        Boston University
        111 Cummington Street
        Boston, MA 02215

	E-mail: snyder@cs.bu.edu

Space is limited to about 40 participants, so please reply promptly
if you have an interest in coming. Please indicate whether you 
require lodging, and whether you intend to give a talk (if so, please
give a short description of the topic).