Call for Papers
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 7, 2026: paper submission deadline.
May 29, 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 Goiás)
Mauricio Ayala-Rincón (Universidade de Brasilía)
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 Fernández Gil (TU Dresden)
Mário Florido (University of Porto)
Silvio Ghilardi (Università degli Studi di Milano) co-chair
Pascual Julián 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)
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
