Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] UNIF 2023 Call for Papers


view this post on Zulip Email Gateway (Jan 15 2023 at 15:41):

From: Christophe Ringeissen <christophe.ringeissen@loria.fr>
[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://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


Last updated: Mar 28 2024 at 08:18 UTC