The Coq mailing list

[Oliver Fernandez Gil <oliver.fernandez AT tu-dresden.de>]

[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

Attachment: smime.p7s
Description: S/MIME cryptographic signature