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=DKT+sj75; 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 86B10400C8 for ; Thu, 5 Nov 2026 08:34:23 +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:references: in-reply-to:content-transfer-encoding:subject:reply-to: sender:list-id:list-help:list-subscribe:list-unsubscribe: list-post:list-owner:list-archive; bh=3b9x8W2q2H/y5nhT8bn4xqKBH0+KrR423k6bVSPdEm4=; b=DKT+sj75h/XRV07dY+5FD5ztDaY5Bk2Wt6WzDaIAskQoM14E/1ywGQK0 iB87x83tEaJvWRRMe8oZHW1Q8jNUnxdELPsICjPao/bvK5c9A5EukrwLR u/Kz+H8z9TfCF1IENqx/yPvrofX4PVs4YFCvUvk3YznI07WJiJkhgUSBb U=; X-CSE-ConnectionGUID: LWtv9heURgWQ1M72p4+jMw== X-CSE-MsgGUID: N9jykxF4QyyPidlxZb0JlA== Authentication-Results: mail2-relais-roc.national.inria.fr; dkim=none (message not signed) header.i=none; spf=Pass smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@prod-sympa-app.inria.fr Received-SPF: Pass (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr designates 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:128.93.162.27 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,196,1787004000"; d="scan'208";a="303933473" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 05 Nov 2026 09:34:22 +0100 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id 5C54281DEB; Thu, 5 Nov 2026 09:34:23 +0100 (CET) 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 A499A81DE1 for ; Thu, 5 Nov 2026 09:30:03 +0100 (CET) X-CSE-ConnectionGUID: DpGWlZAjTfyShZaYCG9pZg== X-CSE-MsgGUID: fxkfrxeHQ8u1xPXetB31jg== X-IronPort-AV: E=Sophos;i="6.27,196,1787004000"; d="scan'208";a="303932129" 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; 05 Nov 2026 09:30:03 +0100 Message-ID: <5118e3bc-1913-419b-bdda-7719fb9086ed@loria.fr> Date: Thu, 5 Nov 2026 09:30:03 +0100 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird From: Laurent Vigneron To: caml-list@inria.fr References: <20e56876-f224-4939-8faa-03c7b0402a9f@risc.jku.at> Content-Language: fr Organization: LORIA In-Reply-To: <20e56876-f224-4939-8faa-03c7b0402a9f@risc.jku.at> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit X-Validation-by: laurent.vigneron@loria.fr Subject: [Caml-list] 2nd Cfp - JSC Special Issue: Advances in the Theory and Practice of Unification Reply-To: Laurent Vigneron X-Loop: caml-list@inria.fr X-Sequence: 19602 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: ====================================================                Second 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 referring 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)