tnn@CL.CAM.AC.UK (12/15/89)
LOGIC CTCS
for IT Leeds University
UNIF '90
FOURTH WORKSHOP ON UNIFICATION
Monday July 9th - Wednesday July 11th 1990
Fairbairn House, University of Leeds, United Kingdom
This workshop is fourth in a series of three-day meetings on unification
and related topics, the previous ones having been held in Val d'Ajol, France,
and Lambrecht, West Germany. It is an opportunity to meet old and new
colleagues, to present recent (even unfinished) work, to discuss new ideas,
and to hear from guest speakers.
The possible (non-exclusive) topics are:
* Narrowing * Typed Unification
* General E-Unification and Calculi * Foundations
* Implementations * Applications
* Special Unification Algorithms * Combination Problems
* Disunification * Unification as Constraint Solving
* Constraint Logic Programming * Algebraic programming
* Unification Grammar Formalisms * Feature Unification
The workshop is intended for those working in logic programming, natural
language processing, theoretical computer science, and term-rewriting. It will
be organized in sessions, each starting with one or two long talks (up to 30
minutes) and several short talks (15 minutes) each followed by discussion. The
organizers are
John Truss (Leeds),
Ursula Martin (Royal Holloway and Bedford New College, London),
Tobias Nipkow (Cambridge).
Postal contact for workshop details is
Dr. John Truss, Telex 556473
School of Mathematics, Fax 0532 429925
University of Leeds, e-mail jkt@dcs.leeds.ac.uk
Leeds LS2 9JT, Telephone 0532 335128
Fairbairn House is part of the campus of Leeds University and is close
to the city centre, approximately one mile from the main railway station and
served by the nearby Leeds and Bradford airport.
The first session of the workshop is on Monday July 9th, but participants
may arrive on the Sunday if they wish. The cost of full accommodation will
be about 115 pounds sterling. Support for the meeting is being provided by
the SERC Logic for Information Technology Initiative and it may be possible
to offer financial assistance to research students who wish to attend.
If you are thinking of coming, please complete the form on the
separate sheet, and send it to John Truss by post or e-mail, indicating
whether you wish to give a talk. We would like to receive the information
about talks by February 15th 1990. Registration forms should be returned
as soon as possible, but in any case by April 6th 1990.
A collection of printed abstracts of the talks will be made available
at the beginning of the workshop. Please add an abstract of your talk to
the registration form (1-2 pages for short talks; up to 4 pages for long
talks). Final versions of the abstracts which are modified or altered
significantly must be received by us in Leeds by Friday June 22nd 1990.
Announcement of participation in talks February 15th 1990
Registration forms will be sent during February 1990
Abstracts expected from those giving talks April 6th 1990
Registration forms to be returned by April 6th 1990
Preliminary programme distributed May 1990
Final version of abstracts due June 22nd 1990
Workshop July 9th-11th 1990
ANNOUNCEMENT OF TALKS FORM
I plan to attend the Workshop on Unification in Leeds in July 1990
Name_______________________________________________________________
Address_______________________________________________________________
______________________________________________________________________
________________________________e-mail_____________________________
I plan to give a long / short talk (delete which is not applicable)
Title of talk: