UNIF'03 second call for papers

To: types@cis.upenn.edu
Subject: UNIF'03 second call for papers
From: Workshop unif03 <unif03@Marrakech.iiia.csic.es>
Date: Tue, 1 Apr 2003 14:49:17 +0200
 
             Call for Papers/Abstracts/System descriptions
                              UNIF 2003
               17th International Workshop on Unification
                           June 8-9, 2003
                          Valencia,  Spain
            Affiliated with RTA'03 and TLCA'03, Part of RDP'03

                    http://www.iiia.csic.es/~unif03


UNIF is the main international meeting on unification. Unification is
concerned with the problem of identifying given terms, either
syntactically or modulo a given logical theory. Syntactic unification
is the basic operation of most automated reasoning systems, and
unification modulo theories can be used, for instance, to build in
special equational theories into theorem provers.

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 particular, it is intended to offer a good
opportunity for young researches and researchers working in related
areas to get an overview of the current state of the art in
unification theory and get in contact with the experts in the field.


----------------------------------------------------------------------
TOPICS OF INTEREST
----------------------------------------------------------------------

    * Unification
          * E-unification 
          * Unification Algorithms 
          * Higher-Order Unification 
          * String Unification 
          * Context Unification 
          * Combination problems 
          * Disunification 
          * Typed Unification
    * Related Topics
          * Constraint Solving 
          * Tree Descriptions 
          * Matching 
          * Narrowing
    * Applications
          * Type Checking and Type Inference 
          * Automated Deduction 
          * Rewriting 
          * Functional and Logic Programming 
          * Grammars 
          * Computational Linguistics
    * Implementations


----------------------------------------------------------------------
INVITED SPEAKERS
----------------------------------------------------------------------

  Dale Miller         (INRIA/Futurs & École Polytechnique, France)
  Wojciech Plandowski (Uniwersytet Warszawski, Warszawa, Poland)

 
----------------------------------------------------------------------
BEST STUDENT PAPER AWARD
----------------------------------------------------------------------
 
An award of 300 EUR will be given to the best paper exclusively
written by one or several young researchers who have not yet obtained
their PhD degrees. The organizing committee may decline to make the award
or may split it among several papers. Papers included in this category
should be clearly marked "student paper" in the submission.


----------------------------------------------------------------------
IMPORTANT DATES
----------------------------------------------------------------------

  Deadline for electronic submission:   Monday, April 7, 2003
  Email:                                unif03@iiia.csic.es
  Notification of acceptance:           Monday, April 28, 2003
  Deadline for camera-ready papers:     Monday, May 12, 2003
  Workshop:                             June 8 - 9, 2003


----------------------------------------------------------------------
SUBMISSION DETAILS
----------------------------------------------------------------------

Authors are invited to submit via email an abstract (1-5 pages), a
paper (no longer than 15 pages), or a system description (no more than
5 pages) in Postscript or PDF format to:

unif03@iiia.csic.es

before April 7, 2003.

Authors are encouraged to use LaTeX2e and the Springer llncs class
files, and will be expected to attend and present their work at the
workshop.


----------------------------------------------------------------------
PUBLICATION
----------------------------------------------------------------------

Accepted papers, abstracts and system descriptions will be included in
the proceedings that will be available at the workshop.


----------------------------------------------------------------------
ORGANIZING COMMITTEE
----------------------------------------------------------------------

  Michael Kohlhase   (Carnegie Mellon University, Pittsburgh, PA, USA)
  Jordi Levy (chair) (IIIA-CSIC, Barcelona, Spain)
  Joachim Niehren    (Universität des Saarlandes, Saarbrücken, Germany)
  Mateu Villaret     (Universitat de Girona, Girona, Spain)