[TYPES/announce] UNIF 2023 Second Call for Papers

[Christophe Ringeissen]

[Apologies for multiple copies]

=====================================================================    
			   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://urldefense.com/v3/__https://project.inria.fr/unif2023__;!!IBzWLUs!T4ZdlRGiQVYFGzxYRmsQPToILMerC9T38heZ1eRC4lO6Ocq2L5gbroioBn2gw7CwHn5jsLI4hMBKeBikqC20l_VK4hH7uQ7w4txz8AbyD1Q$ 
=====================================================================

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://urldefense.com/v3/__https://www.easychair.org/conferences/?conf=unif2023__;!!IBzWLUs!T4ZdlRGiQVYFGzxYRmsQPToILMerC9T38heZ1eRC4lO6Ocq2L5gbroioBn2gw7CwHn5jsLI4hMBKeBikqC20l_VK4hH7uQ7w4txzmwcOvYA$ 

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)