UNIF 2023 Call for Papers

by ringeiss, March 8, 2023

UNIF 2023 is the 37th event in a series of international meetings devoted to unification theory and its applications. It will be held in Rome, Italy, July 2, 2023, as a satellite workshop of CADE/FSCD.

Submission deadline: April 21, 2023.


  Call for Papers

     UNIF 2023

   The 37th International Workshop on Unification

     Rome, Italy, July 2, 2023

       A satellite workshop of CADE/FSCD, affiliated with FSCD



UNIF 2023 is the 37th event in a series of international meetings

devoted to unification theory and its applications. Unification is

concerned with the problem of identifying terms, finding solutions for

equations, or making formulas equivalent. It is a fundamental process

used in a number of fields of computer science, including automated

reasoning, term rewriting, logic programming, natural language

processing, program analysis, types, etc.

The International Workshop on Unification (UNIF) is 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 scientists working in related areas to get an overview

of the current state of the art in unification theory.



A non-exhaustive list of topics of interest includes:

  * syntactic and equational unification

  * matching

  * constraint solving

  * unification in modal, temporal, and description logics

  * narrowing

  * disunification

  * anti-unification

  * semi-unification

  * higher-order unification

  * complexity issues

  * implementation techniques

  * applications



Short papers or extended abstracts, up to 5 pages in EasyChair style,

should be submitted electronically as PDF files through the EasyChair

submission site:


Abstracts will be evaluated by the Program Committee regarding their

significance for the workshop. Accepted abstracts will be presented at

the workshop and included in the informal proceedings of the workshop,

available in electronic form.  Based on the number and quality of

submissions we will decide whether to organize a special journal


Important Dates


  * Paper Submission:                  April 21, 2023

  * Author notification:                 May 26, 2023

  * Final version:                       June 9, 2023

  * UNIF 2023:                           July 2, 2023

Invited Speakers


Mauricio Ayala-Rincon (Universidade de Brasilia)

Deepak Kapur (UNM, Albuquerque)