Logic List Mailing Archive

CfP: UNIF 2026 – 40th International Workshop on Unification, 24 July 2026, Lisbon (Portugal), deadline: 15 May 2026 (extended)

====================================================
                   Call for Papers (EXTENDED)
                      UNIF 2026
    The 40th International Workshop on Unification
           July 24, 2026, Lisbon, Portugal
     https://www.risc.jku.at/conferences/unif2026/
====================================================

UNIF 2026 is the 40th event in a series of international meetings devoted to unification theory and its applications. 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.

The International Workshop on Unification (UNIF) is a yearly forum for researchers in unification theory and related fields to meet old and new colleagues, to present recent (even unfinished) work, and to discuss new ideas and trends. It is also a good opportunity for young researchers and scientists working in related areas to get an overview of the state of the art in unification theory.

Topics of interest to this forum include, but are not limited to:

   - 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

The 40th International Workshop on Unification is part of FLoC'26, affiliated with FSCD 2026 and IJCAR 2026.

------------------------------------------
** Submission Instructions
-------------------------------------------
We call for submissions of extended abstracts (up to 5 pages) in EasyChair LaTeX style, to be submitted electronically as PDF through the submission site:

     https://submissions.floc26.org/unif/

Abstracts will be evaluated by the Program Committee (if necessary with support from external reviewers) regarding their significance for the workshop. We will allow work presented/submitted in/to another conference.

Accepted abstracts will be presented at the workshop and included in the informal proceedings of the workshop, available in electronic form as a technical report in the RISC-Linz Report Series from the Research Institute for Symbolic Computation, Johannes Kepler University.

Based on the number and quality of submissions we will decide whether to organize a special journal issue.

-----------------------------
** Important Dates
------------------------------

May 15, 2026:   paper submission deadline.
June 5, 2026:  author notification.
June 13, 2026: camera-ready paper submission deadline.
July 24, 2026: UNIF 2026 in Lisbon.

-----------------------------
** Invited Speakers
------------------------------
Sandra Alves (University of Porto)
Maribel Fernandez (King's College London)

-----------------------------
** Program Committee
-----------------------------
Thaynara Arielly de Lima (Universidade Federal de Gois) Mauricio Ayala-Rincn (Universidade de Brasila) Franz Baader (TU Dresden) Philippe Balbiani (IRIT) Alexander Baumgartner (Universidad de O'Higgins, Chile) David Cerna (Dynatrace Research Austria) Rodrigo Da Cruz Silva Pina De Almeida (UvA Amsterdam) Santiago Escobar (Universitat Politecnica de Valencia) Oliver Fernndez Gil (TU Dresden) Mrio Florido (University of Porto) Silvio Ghilardi (Universit degli Studi di Milano) co-chair Pascual Julin Iranzo (University of Castilla - La Mancha) Temur Kutsia (RISC, Johannes Kepler University Linz)
Paliath    Narendran (University at Albany, SUNY)
Cleo Pau (RISC, Johannes Kepler University Linz) co-chair Christophe Ringeissen (Universit de Lorraine, CNRS, Inria, LORIA) Viorica Sofronie-Stokkermans (University of Koblenz) Sam van Gool (ENS Paris-Saclay) Laurent Vigneron (Universit de Lorraine, CNRS, Inria, LORIA)
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php