Program of UNIF

Wednesday, July 14th

Wednesday's program is also available with abstracts and side by side with other events.

09:00‑10:00 Invited Talk
Chair: Maribel Fernández and Laurent Vigneron
Location: AT LT3
09:00 Claude Kirchner (INRIA Bordeaux-Sud-Ouest, France)
Antipatterns: how to say what you don't want to match to
10:30‑12:30 Session 1
Chair: Maribel Fernández
Location: AT LT3
10:30 Sunil Kothari and James Caldwell
A Machine Checked Model of Idempotent MGU Axioms For a List of Equational Constraints
11:00 Franz Baader and Barbara Morawska
SAT Encoding of Unification in EL
11:30 Deepak Kapur, Andrew Marshall and Paliath Narendran
Unification modulo a partial theory of exponentiation
12:00 Conrad Rau and Manfred Schmidt-Schauß
Towards Correctness of Program Transformations Through Unification and Critical Pair Computation
14:00‑15:00 Invited Talk
Chair: Maribel Fernández and Christopher Lynch
Location: AT LT3
14:00 Christian Urban (Technical University Munich, Germany)
Nominal Unification - Hitting a Sweet Spot
15:30‑17:30 Session 2
Chair: Jordi Levy
Location: AT LT3
15:30 Christophe François Olivier Calvès
Nominal Theory as an Extension of First-Order Theory
16:00 Sergiu Bursuc and Cristian Prisacariu
Unification and matching in separable theories
16:30 Zhiqiang Liu and Christopher Lynch
Efficient XOR Unification
17:00 Paliath Narendran, Andrew Marshall and Bibhu Mahapatra
On the Complexity of the Tiden-Arnborg Algorithm for Unification modulo One-Sided Distributivity