From: Oliver Fernandez Gil <oliver.fernandez@tu-dresden.de>
To: "rewriting@ens-lyon.fr" <rewriting@ens-lyon.fr>,
"coq-club@inria.fr" <coq-club@inria.fr>,
"caml-list@inria.fr" <caml-list@inria.fr>,
"ProofTheory@lists.bath.ac.uk" <ProofTheory@lists.bath.ac.uk>,
"fscd.conference@dcc.fc.up.pt" <fscd.conference@dcc.fc.up.pt>,
"theory-logic@cs.cmu.edu" <theory-logic@cs.cmu.edu>,
"cl-isabelle-users@lists.cam.ac.uk"
<cl-isabelle-users@lists.cam.ac.uk>
Subject: [Caml-list] Call for Papers - Special Issue of JLAMP on Recent Advances on Unification
Date: Mon, 28 Oct 2024 15:29:49 +0000 [thread overview]
Message-ID: <723BFB49-193F-4F23-8E05-2674AE393D3E@tu-dresden.de> (raw)
[-- Attachment #1: Type: text/plain, Size: 3610 bytes --]
[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 #2: smime.p7s --]
[-- Type: application/pkcs7-signature, Size: 4700 bytes --]
reply other threads:[~2024-10-28 15:30 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=723BFB49-193F-4F23-8E05-2674AE393D3E@tu-dresden.de \
--to=oliver.fernandez@tu-dresden.de \
--cc=ProofTheory@lists.bath.ac.uk \
--cc=caml-list@inria.fr \
--cc=cl-isabelle-users@lists.cam.ac.uk \
--cc=coq-club@inria.fr \
--cc=fscd.conference@dcc.fc.up.pt \
--cc=rewriting@ens-lyon.fr \
--cc=theory-logic@cs.cmu.edu \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox