UNIF: The International Workshop on Unification
The International Unification Workshop was initiated in 1987 as a
yearly forum for researchers in unification theory and related fields
to meet old and new colleagues, to present recent (even unfinished)
work, and to discuss new ideas and trends. 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
Typically, the topics of interest include (but are not restricted to):
||General E-unification and Calculi
||Unification in Special Theories
||Unification-Based approaches to Grammar
Usually, the meetings are for two or three days and generally include
short (15 minute) and long (25 minute) talks, and possibly panel
discussions and invited talks. Social time to discuss current topics
of interest is also essential to a UNIF workshop. It is the custom
that the organizers prepare a document containing extended abstracts
(2-4 pages) of the talks.
Association with Other Events
UNIF workshops are not bound to any established conference series or
organization. However, there is a strong overlap in interest with
conferences in the field of Automated Deduction and Logic in Computer
Science, such as FSCD (or RTA, historically) or CADE. Organizers might
consider organizing a meeting in conjunction with one of the
conferences in the field.
The Steering Committee suggests
venues and program committee chairpersons for upcoming UNIF workshops.
Upcoming UNIF Workshops
UNIF 2023, the 37th
International Workshop on Unification, will be held on July 2 in
Rome, Italy, as part of the FSCD 2023 conference.
Past UNIF Workshops
November 18, 2020