UNIF 2023 Call for Papers

=====================================================================    

  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

 https://project.inria.fr/unif2023

=====================================================================

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.

Topics

------

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

Submission

----------

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

should be submitted electronically as PDF files through the EasyChair

submission site:

  https://www.easychair.org/conferences/?conf=unif2023

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

issue.

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)