Special Issue on Recent Advances on Unification

Journal of Logical and Algebraic Methods in Programming

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

Submissions

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 JLMAP, which can be accessed at:

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

The submission deadline is: March 31, 2025.

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

Guest Editors

Santiago Escobar (Universitat Politècnica de València)

Oliver Fernández Gil (TU Dresden)