[ 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 http://www.dcs.kcl.ac.uk/staff/maribel/UNIF.html ================================================================== 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 languages. Invited Speakers: Claude Kirchner, France Christian Urban, Germany Programme: ---------------------------------- 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: http://www.dcs.kcl.ac.uk/staff/maribel/UNIF.html --------------------------------------------------------------