[Caml-list] JSC Special Issue: Advances in the Theory and Practice of Unification

[Caml-list] JSC Special Issue: Advances in the Theory and Practice of Unification

[Laurent Vigneron]

[Apologies for multiple copies]

  =======================================================
                    Call for Papers
                     Special Issue
                        of the
               Journal for Symbolic Computation
                          on
    Advances in the Theory and Practice of Unification
  =======================================================

The purpose of this Special Issue is to promote and disseminate recent
advances in unification and closely related topics, focusing on both
theoretical developments and practical aspects.

Unification is concerned with the problem of making two terms equal, 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.

This special issue focuses on the topics of unification in a broad sense,
which include, but are not limited to, the following:

     • Syntactic and equational unification algorithms
     • Matching and constraint solving
     • Higher-order unification
     • Unification in modal, fuzzy, temporal and description logics
     • Anti-unification/generalization
     • Semi-unification
     • Disunification
     • Narrowing
     • Admissibility of inference rules
     • Combination problems
     • Formalization of unification and related techniques
     • Complexity issues
     • Implementation techniques
     • Applications

This special issue is related to the research presented in the last two 
editions
of the International Workshop on Unification - UNIF 2025 and 2026. 
Submissions
of high quality works on unification that were not presented at these 
workshops
are also welcome. Thus, participants of UNIF, as well as other authors, are
invited to submit contributions.

-------------------------------------------
** Submission Instructions
-------------------------------------------
The papers (15-30 pages; larger papers will be evaluated depending on
editorial constraints) must be in English, prepared in LaTeX according to
the guidelines of the journal, including those refering to the generative
AI use.

https://www.sciencedirect.com/journal/journal-of-symbolic-computation/publish/guide-for-authors
https://www.sciencedirect.com/journal/journal-of-symbolic-computation/publish/guide-for-authors#ethics-and-policies-declaration-of-generative-ai-use

Submission will be possible here:
https://www.sciencedirect.com/special-issue/337109/advances-in-the-theory-and-practice-of-unification

------------------------------
** Important Dates (2027)
------------------------------
Submission deadline:           January 18th
Notification:                  April 5th
Submission of revised paper:   May 18th
Final notification:            July 19th
Camera ready version:          August 16th
Publication:                   autumn 2027

-----------------------------
** Guest Editors
-----------------------------
Silvio Ghilardi (Università degli Studi di Milano)
Ashley Suchy (New Paltz State University of New York)
Cleo Pau (RISC, Johannes Kepler University Linz)
Laurent Vigneron (Université de Lorraine, LORIA)