[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

                        CALL FOR PARTICIPATION

                             UNIF 2010
                24th International Workshop on Unification
                           14 July 2010
                           Edinburgh, UK

              A FLoC workshop associated to RTA and IJCAR

This workshop promotes research and collaboration in the area of
unification theory and related fields, including constraint solving
and applications of unification to theorem proving and programming

Invited Speakers:
     Claude Kirchner, France
     Christian Urban, Germany

Session 1 -
9.00-10.00 Claude Kirchner (Invited Speaker)
Antipatterns: how to say what you don't want to match to

10.00-10.30 Coffee Break

Session 2 -
10.30-11.00 Sunil Kothari and James Caldwell.
A Machine Checked Model of Idempotent MGU Axioms For a
List of Equational Constraints
11.00-11.30 Franz Baader and Barbara Morawska.
SAT Encoding of Unification in EL
11.30-12.00 Deepak Kapur, Andrew Marshall and Paliath Narendran.
Unification modulo a partial theory of exponentiation
12.00-12.30 Conrad Rau and Manfred Schmidt-Schauss.
Towards Correctness of Program Transformations Through
Unification and Critical Pair Computation

12.30-14.00 Lunch

Session 3 -
14.00-15.00 Christian Urban (Invited Speaker).
Nominal Unification - Hitting a Sweet Spot

15.00-15.30 Coffee Break

Session 4 -
15.30-16.00 Christophe Calvès.
Nominal Theory as an Extension of First-Order Theory
16.00-16.30 Sergiu Bursuc and Cristian Prisacariu.
Unification and matching in separable theories
16.30-17.00 Zhiqiang Liu and Christopher Lynch.
Efficient XOR Unification
17.00-17.30 Paliath Narendran, Andrew Marshall and Bibhu Mahapatra.
On the Complexity of the Tiden-Arnborg Algorithm for Unification
modulo One-Sided Distributivity

Programme Committee:
Maribel Fernández, UK (chair)
Temur Kutsia, Austria
Jordi Levy, Spain
Christopher Lynch, US
Cathy Meadows, US
Gianfranco Rossi, Italy
Laurent Vigneron, France

For more information and registration  details
please see the workshop webpage:



Reply via email to