UNIF 2025 is the 39th event in a series of international meetings devoted to unification theory and its applications. 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 a forum for researchers in unification theory and related fields to present recent (even unfinished) work, and to discuss new ideas and trends. It is also a good opportunity for students, young researchers and scientists working in related areas to get an overview of the current state of the art in unification theory.

Submission Guidelines

Short papers or extended abstracts, up to 5 pages in EasyChair style, should be submitted electronically as PDF files through the EasyChair submission site.

Abstracts will be evaluated by the Program Committee regarding their significance for the workshop. We allow submissions of work presented/submitted in/to another conference.

List of Topics

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

Program Committee

• Mauricio Ayala Rincón (Universidade de Brasília, Brazil)
• Franz Baader (TU Dresden, Germany)
• Philippe Balbiani (IRIT, France)
• Serdar Erbatur (UT Dallas, USA)
• Santiago Escobar (Universitat Politècnica de València, Spain)
• Silvio Ghilardi (Università degli Studi di Milano, Italy)
• Temur Kutsia (RISC, Johannes Kepler University Linz, Austria)
• Jordi Levy (CSIC, IIIA, Spain)
• Christopher Lynch (Clarkson University, USA)
• Andrew M. Marshall (University of Mary Washington, USA)
• Robert McGrail (Bard College, USA)
• Daniele Nantes-Sobrinho (Universidade de Brasília, Imperial College London, UK)
• Paliath Narendran (University at Albany, SUNY, USA) 
• Cleo Pau (RISC, Johannes Kepler University Linz, Austria)
• Christophe Ringeissen (INRIA, France)
• Manfred Schmidt-Schauß (Goethe-University Frankfurt am Main, Germany)
• Ashley Suchy (New Paltz, SUNY, USA), co-chair
• Sam van Gool (Université Paris Cité, IRIF, France)
• Laurent Vigneron (University of Lorraine, LORIA, France), co-chair

Invited Speakers

• David M. Cerna (Dynatrace Research, Czech Academy of Sciences)
• Oliver Fernández Gil (TU Dresden, Germany)

Publication

Accepted abstracts will be presented at the workshop and included in the informal proceedings of the workshop, available in electronic form on the Web page of UNIF 2025. At least one of the authors should register for the workshop.

Based on the number and quality of submissions, a special issue of the Journal of Logical and Algebraic Methods in Programming (JLAMP) willbe considered.

Contact

All questions about submissions should be emailed to unif2025 at easychair.org