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 |