[Caml-list] Call for Papers - Special Issue of JLAMP on Recent Advances on Unification

[Apologies for multiple copies]

===============================================================
Call for Papers
Journal of Logical and Algebraic Methods in Programming
Special Issue on Recent Advances on Unification
===============================================================

Scope
---------
The Journal of Logical and Algebraic Methods in Programming (JLAMP) is
an international journal that complements Elsevier's Science of Computer
Programming and Theoretical Computer Science by its focus on the foundations
and the application of logical, algebraic and categorical methods to
programming and to the development of trustworthy computing systems. The aim
of JLAMP special issues is to attract high-quality research papers in
specific topics connected to logical and algebraic methods in the theory and
practice of software development and computing systems.

The purpose of this special issue of JLAMP is to collect recent, original,
and high-quality contributions on unification theory and its applications,
as well as closely related topics. Unification is concerned with the problem
of making two given terms equal, either syntactically or modulo an equational
theory. It is a fundamental process used in various areas of computer science,
including automated reasoning, term rewriting, logic programming, natural
language processing, program analysis, knowledge representation, types, etc.

The International Workshop on Unification (UNIF) is the main international
event on unification. This special issue is related to the research presented
in the last four editions of the workshop, i.e., from UNIF 2021 to UNIF 2024.
Nevertheless, submissions of high quality works on unification that were not
presented at UNIF are also welcome. Thus, participants of UNIF, as well as
other authors, are invited to submit contributions.


Topics
---------
Following the tradition of UNIF, this special issue addresses the topic of unification
in a broad sense. A non-exhaustive list of topics of interest includes:

* syntactic and equational unification algorithms
* matching and constraint solving
* higher-order unification
* unification in modal, temporal, and description logics
* admissibility of inference rules
* narrowing
* disunification
* anti-unification
* complexity issues
* combination methods
* implementation techniques
* applications


Submission
----------------
This special issue welcomes original and high-quality contributions on unification
theory and its applications, as well as closely related topics. Submissions should
consist of articles that have not been previously published and are not under
consideration for publication elsewhere. All submissions will be peer-reviewed and
handled according to the usual procedures of JLAMP.

Submitted manuscripts should be written in English and prepared following the guidelines
of JLAMP. Papers should be submitted electronically by using the Editorial Manager for
JLAMP, which can be accessed at:

https://www.editorialmanager.com/jlamp/default.aspx

The submission deadline is: *February 15, 2025*.

Please choose VSI:Recent Advances in Unification when you will be selecting the article type.


Guest Editors
-------------------
Santiago Escobar (Universitat Politècnica de València)
Oliver Fernández Gil (TU Dresden)


Further information
--------------------------
https://lat.inf.tu-dresden.de/~fernandez/jlamp-unif.html