Program

• Informal Proceedings: https://inria.hal.science/UNIF2025/

• Zoom Link: Join us online

• Welcome Session: 08:50-09:00

• Session 1: 09:00-10:00

• Chair: Christophe Ringeissen

• Invited Talk: Equational Anti-unification: Algorithms and Types

• David Cerna

• Coffee Break: 10:00-10:30

• Session 2: 10:30-12:30

• Chair: Oliver Fernandez Gil

• Exploring the Knowledge Problems for Graph Embedded Rewrite Systems

• Serdar Erbatur, Andrew M. Marshall, Paliath Narendran and Christophe Ringeissen

• On the use of generalisation and unification for composing interactions via gate connection

• Joel Nguetoum Kenne, Boutheina Bannour and Pascale Le Gall

• A Sufficient Condition for the Existence of a Minimal Complete Set of Equational Generalizations

• David Cerna

• Generic Second-Order Matching, Higher-Order Preunification and Pattern Unification Implementations in Haskell

• Nikolai Kudasov, Artem Starikov, Fedor Ivanov and Damir Afliatonov

• Lunch Break: 12:30-14:00

• Session 3: 14:00-15:30

• Chair: Franz Baader

• Invited Talk: Unification with Restrictions in Description Logics

• Oliver Fernández Gil

• The unification type of the description logic FL_bottom is nullary

• Sławomir Kost and Barbara Morawska

• Coffee Break: 15:30-16:00

• Session 4: 16:00-17:00

• Chair: Santiago Escobar

• FILO: unification solver for FL_0

• Barbara Morawska, Sławomir Kost, Dariusz Marzec and Michał Henne

• Optimizing Canonical Structures

• Quentin Vermande

• Closing Session: 17:00-17:15