[om-a] UNIF'04 workshop @ IJCAR 2004: First Call for Papers

Michael Kohlhase m.kohlhase at iu-bremen.de
Mon Apr 26 15:26:44 CEST 2004

[ Apologies for multiple copies which are unavoidable. -Michael. ]

           First Call for Papers/Abstracts/System descriptions
                               UNIF 2004
                18th International Workshop on Unification
                   July 4-5, 2004, Cork,  Ireland
                       Affiliated with IJCAR'04


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 2004, 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.

A non-exclusive list of topics of interest is:

     * 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


There will be two invited speakers.


   Deadline for electronic submission:   Friday, May 14, 2004
   Email:                                unif04 at iu-bremen.de
   Notification of acceptance:           Monday, May 24, 2004
   Deadline for camera-ready papers:     Monday, June 7, 2004
   Workshop:                             July 4 - 5, 2004


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:

unif04 at iu-bremen.de

before May 14, 2004.

Authors are encouraged to use LaTeX2e and the Springer llncs class.


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

     Michael Kohlhase        (International University Bremen, Germany)
     Hitoschi Ohsaki         (National Institute of Advanced Industrial
                              Science and Technology, Amagasaki, Japan)
     Steve Prestwich         (Universtity College, Cork, Ireland)
     Ralf Treinen            (Ecole Normale Superieure, Cachan, France)
     Manfred Schmidt-Schauss (Johann Wolfgang Goethe-Universit"at
                              Frankfurt am Main, Germany)

    Prof. Dr. Michael Kohlhase,         Office: Research 1, Room 62
    Professor for Computer Science      Campus Ring 12,
    School of Engineering & Science     D-28758 Bremen, Germany
    International University Bremen     tel/fax: +49 421 200 3140/3103
    http://www.cs.cmu.edu/~kohlhase     e-mail: <m.kohlhase at iu-bremen.de>
om-announce at openmath.org  -  public announcements concerning OpenMath
Post discussion to om at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-announce-owner at openmath.org for assistance with any problems

More information about the Om-announce mailing list