VSL 2014: VIENNA SUMMER OF LOGIC 2014
UNIF PROGRAM
Sunday, July 13th, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

09:00-10:15 Session 23C: Opening and Invited Talk 1
Location: FH, Seminarraum 104
09:00
Temur Kutsia and Christophe Ringeissen
Opening (abstract)
09:15
Jose Meseguer
Extensible Symbolic System Analysis (abstract)
10:15-10:45Coffee Break
10:45-13:00 Session 26L
Location: FH, Seminarraum 104
10:45
Peter Hibbs, Paliath Narendran and Shweta Mehto
Unification Modulo Common List Functions (abstract)
11:15
Franz Baader and Barbara Morawska
Matching with respect to general concept inclusions in the Description Logic EL (abstract)
11:45
Philippe Balbiani and Tinko Tinchev
Unification in the normal modal logic Alt1 (abstract)
12:15
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) (abstract)
12:35
Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran and Christophe Ringeissen
Hierarchical Combination of Matching Algorithms (Extended Abstract) (abstract)
13:00-14:30Lunch Break
14:30-16:00 Session 31I: Invited Talk 2 and Regular Talk
Location: FH, Seminarraum 104
14:30
Jordi Levy
On the Limits of Second-Order Unification (abstract)
15:30
Leonardo Manuel Cabrer and George Mectalfe
From Admissibility to a New Hierarchy of Unification Types (abstract)
16:00-16:30Coffee Break
16:30-18:00 Session 34K
Location: FH, Seminarraum 104
16:30
Maria Paola Bonacina and David Plaisted
Constraint Manipulation in SGGS (abstract)
17:00
Tatyana Novikova and Vladimir Zakharov
Two-sided unification is NP-complete (abstract)
17:30
Alexander Baumgartner, Temur Kutsia, Jordi Levy and Mateu Villaret
Nominal Anti-Unification (abstract)
18:00-19:00 Session 36
Location: FH, Seminarraum 104
18:00
Andrea Vezzosi and Andreas Abel
A Categorical Perspective on Pattern Unification (Extended Abstract) (abstract)
18:30
Beta Ziliani and Matthieu Sozeau
Towards a better-behaved unification algorithm for Coq (abstract)