[TYPES/announce] Call for Papers - Special Issue of JLAMP on Recent Advances on Unification

[Oliver Fernandez Gil]

===============================================================
			                      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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 4700 bytes
Desc: not available
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20241028/3f0f0064/attachment-0001.p7s>