Automated Reasoning
About
Activities
Short reports
Events

 

Contents

1. Unif '03"
 

UNIF'03

17th International Workshop on Unification
Valencia, Spain, June 8-9, 2003
Jordi Levy, levy@iiia.csic.es
IIIA, CSIC, Spain

UNIF 2003 is the 17th in a series of annual international workshops on unification, the previous ones having been in Val D'Ajol, France (1987 and 1988), Lambrecht, Germany (1989), Leeds, England (1990), Barbizon, France (1991), Dagstuhl, Germany (1992), Boston, USA (1993), Val D'Ajol, France (1994), Sitges, Spain (1995), Herrsching, Germany (1996), Orléans, France (1997),Rome, Italy (1998), Frankfurt, Germany (1999), Pittsburgh, USA (2000), Siena, Italy (2001), and Copenhagen, Denmark (2002).

Unification is concerned with the problem of identifying given terms,either syntactically or modulo a given logical theory. The topic is understood in a rather broad sense at this workshop. The aim of UNIF 2003, as that of the previous meetings, is to to bring together people interested in unification, present recent (even unfinished) work, and discuss new ideas and trends in unification and related fields. In this edition of the workshop, the organizing committee decided to include a panel on ``Open Problems in Unification''.

A list of typical UNIF topics includes, but is not limited to:

  • Unification
    • E-Unification
    • Unification Algorithm
    • Higher-Order Unification
    • String Unification
    • Context Unification
    • Combination problems
    • Disunification
    • Typed Unification
  • Implementations

     
  • Related Topics
    • Constraint Solving
    • Tree Descriptions
    • Matching
    • Narrowing
  • Applications
    • Type Checking and Type Inference
    • Automated Deduction
    • Rewriting
    • Functional and Logic Programming
    • Grammars
    • Computational Linguistics

     

The 17th Int. Workshop on Unification (UNIF'03) was held June 8--9, in Valencia, Spain, as an affiliated workshop of the 14th Int. Conference on Rewriting Techniques and Applications (RTA'03), and as part of the Federated Conference on Rewriting, Deduction and Programming (RDP'03).

This technical report (the full text is available at http://www.dsic.upv.es/~rdp03/unif/proceedings.html ) collects extended abstracts of the talks, and system demonstrations, and the abstracts of the two invited talks given by Dale Miller, on ``Definitions, Unification, and the Sequent Calculus'', and Wojciech Plandowski, on ``Test Sets for Large Families of Languages''. We are especially grateful to the invited speakers, Dale Miller and Wojciech Plandowski, for accepting our invitation. UNIF 2003 was made possible in part by the kind financial support of the Consejo Superior de Investigaciones Cientificas (CSIC), and the Network of Excellence in Computational Logic (CologNet). The organizing committee also wishes to thank the RTA steering committee, and the RDP'03 Organizing committee for their cooperation and support throughout the preparation of this meeting.