From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Authentication-Results: plum.tunbury.org; dkim=pass (1024-bit key; unprotected) header.d=inria.fr header.i=@inria.fr header.a=rsa-sha256 header.s=dc header.b=BMcgyHJ7; dkim-atps=neutral Received-SPF: Pass (mailfrom) identity=mailfrom; client-ip=192.134.164.83; helo=mail2-relais-roc.national.inria.fr; envelope-from=caml-list-owner@inria.fr; receiver=tunbury.org Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by plum.tunbury.org (Postfix) with ESMTP id AC3754009A for ; Tue, 15 Sep 2026 13:59:30 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=message-id:date:mime-version:from:to: content-transfer-encoding:subject:reply-to:sender:list-id: list-help:list-subscribe:list-unsubscribe:list-post: list-owner:list-archive; bh=+TMr9iIN2v+jgT89xuc/vZlHwV+xb0h3yIXq8mcz9Ic=; b=BMcgyHJ7nBdQVjo1mcO7LyYLSw5CND5yL7KhfTGtV6rO6wGeFoigrQ8Z Q6+cSPlOGI95p2/T38e/rylts1mtP2wb+r+7jOdiFVzeVUbOjYtxNK49V 3hbs2qFFM2OhQJe7RNCRRROG0qrf+l9rsTw5RAExEoxXB4tevuf27DkpZ k=; X-CSE-ConnectionGUID: UM91ogVbSSOJvdbt1gDl1A== X-CSE-MsgGUID: 4QlBCWjCRL2X0CncIx/yBA== Authentication-Results: mail2-relais-roc.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@prod-sympa-app.inria.fr Received-SPF: SoftFail (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr is inclined to not designate 128.93.162.27 as permitted sender) identity=mailfrom; client-ip=128.93.162.27; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="caml-list-owner@inria.fr"; x-conformance=spf_only; x-record-type="v=spf1"; x-record-text="v=spf1 ip4:128.93.142.0/24 ip4:192.134.164.0/24 ip4:128.93.162.160 ip4:128.93.162.3 ip4:128.93.162.88 ip4:89.107.174.7 mx ~all" Received-SPF: None (mail2-relais-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@prod-sympa-app.inria.fr) identity=helo; client-ip=128.93.162.27; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="postmaster@prod-sympa-app.inria.fr"; x-conformance=spf_only X-IronPort-AV: E=Sophos;i="6.27,103,1787004000"; d="scan'208";a="295083165" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 15 Sep 2026 15:59:29 +0200 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id 6B55C81B2F; Tue, 15 Sep 2026 15:59:29 +0200 (CEST) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by prod-sympa-app.inria.fr (Postfix) with ESMTP id C90BC81B27 for ; Tue, 15 Sep 2026 15:53:38 +0200 (CEST) X-CSE-ConnectionGUID: l3113so9T/2hktUYMI43BA== X-CSE-MsgGUID: g6dTi7YvTDuBjaA644a0Nw== X-IronPort-AV: E=Sophos;i="6.27,103,1787004000"; d="scan'208";a="295080830" Received: from okuribi.loria.fr (HELO [152.81.3.134]) ([152.81.3.134]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 15 Sep 2026 15:53:38 +0200 Message-ID: <3c1aaf5d-b06a-41fa-a81c-a226b98fedcb@loria.fr> Date: Tue, 15 Sep 2026 15:53:38 +0200 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird From: Laurent Vigneron To: caml-list@inria.fr Content-Language: fr Organization: LORIA Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit X-Validation-by: laurent.vigneron@loria.fr Subject: [Caml-list] JSC Special Issue: Advances in the Theory and Practice of Unification Reply-To: Laurent Vigneron X-Loop: caml-list@inria.fr X-Sequence: 19579 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: , List-Subscribe: , List-Unsubscribe: , List-Post: List-Owner: List-Archive: Archived-At: [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)