| Authors | Title | Paper | Talk |
|---|
| Jose Meseguer | Extensible Symbolic System Analysis |  | Jul 13 09:15 |
| Jordi Levy | On the Limits of Second-Order Unification | | Jul 13 14:30 |
| Peter Hibbs, Paliath Narendran and Shweta Mehto | Unification Modulo Common List Functions | | Jul 13 10:45 |
| Franz Baader and Barbara Morawska | Matching with respect to general concept inclusions in the Description Logic EL | | Jul 13 11:15 |
| Philippe Balbiani and Tinko Tinchev | Unification in the normal modal logic Alt1 | | Jul 13 11:45 |
| Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Catherine Meadows, Paliath Narendran and Christophe Ringeissen | On Asymmetric Unification and the Combination Problem in Disjoint Theories (Extended Abstract) | | Jul 13 12:15 |
| Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran and Christophe Ringeissen | Hierarchical Combination of Matching Algorithms (Extended Abstract) | | Jul 13 12:35 |
| Leonardo Manuel Cabrer and George Mectalfe | From Admissibility to a New Hierarchy of Unification Types | | Jul 13 15:30 |
| Maria Paola Bonacina and David Plaisted | Constraint Manipulation in SGGS | | Jul 13 16:30 |
| Tatyana Novikova and Vladimir Zakharov | Two-sided unification is NP-complete | | Jul 13 17:00 |
| Alexander Baumgartner, Temur Kutsia, Jordi Levy and Mateu Villaret | Nominal Anti-Unification | | Jul 13 17:30 |
| Andrea Vezzosi and Andreas Abel | A Categorical Perspective on Pattern Unification (Extended Abstract) | | Jul 13 18:00 |
| Beta Ziliani and Matthieu Sozeau | Towards a better-behaved unification algorithm for Coq | | Jul 13 18:30 |