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
Computer Science Department
111 Cummington Street
Boston, MA 02215
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).