Last CfP: UNIF 2012 - 26th International Workshop on Unification

From: Santiago Escobar <>
Date: Fri, 13 Apr 2012 08:53:47 -0400

                        Call for Papers

                           UNIF 2012
         The 26th International Workshop on Unification


                 July 1st, 2012, Manchester, UK
                 Satellite event of IJCAR 2012

UNIF 2012 is the 26th event in a series of international meetings
devoted to unification theory and its applications.
UNIF 2012 is a satellite event of the the 6th International
Joint Conference on Automated Reasoning (IJCAR 2012) which is
part of the Alan Turing Year 2012, and collocated with
The Alan Turing Centenary Conference. Previous editions of UNIF
have taken place mostly in Europe, but also in USA and Japan.
For more details on previous UNIF workshops, please see the UNIF
homepage at <>.

The aim of UNIF 2012, as that of the previous meetings, is to
bring together researchers interested in unification theory and
related topics, to present recent (even unfinished) work, and
discuss new ideas and trends in this and related fields. This
includes scientific presentations, but also descriptions of
applications and software using unification as a strong component.

A non-exhaustive list of topics of interest includes: unification
algorithms, calculi and implementations, equational unification
and unification modulo theories, unification in modal, temporal
and description logics, admissibility of inference rules, narrowing,
matching algorithms, constraint solving, combination problems,
disunification, higher-order unification, type checking and
reconstruction, typed unification, complexity issues, query answering,
implementation techniques and applications of unification.

Submissions and Publication: Before the workshop, authors are
invited to submit an extended abstract (max. 5 pages) to be
formatted in LNCS style through the EasyChair submission site:

Accepted abstracts will be presented at the workshop and included
in the preliminary proceedings, available at the workshop. We
envisage publication of a special issue of a journal dedicated to
UNIF after the event.

Important Dates:

# Submission: April 27
# Notification: May 18
# Final version: June 1
# Workshop: July 1

Programme Committee:

# Franz Baader, TU Dresden, Germany
# Christoph Benzmueller, Free University Berlin, Germany
# Santiago Escobar, Universitat Politecnica de Valencia, Spain (co-chair)
# Maribel Fernandez, King's College London, UK
# Silvio Ghilardi, Universita degli Studi di Milano, Italy
# Rosalie Iemhoff, Utrecht University, The Netherlands
# Konstantin Korovin, University of Manchester, UK (co-chair)
# Jordi Levy, IIIA - CSIC, Spain
# Christopher Lynch, Clarkson University, USA
# George Metcalfe, Vanderbilt University, USA
# Paliath Narendran, University at Albany, USA
# Vladimir Rybakov, Manchester Metropolitan University, UK (co-chair)

For more information, please contact any of the three chairs
Santiago Escobar, Konstantin Korovin, Vladimir Rybakov

curry mailing list

truct similar examples with other functions from the module's interface like minValue, valueOf, etc.

Ah interesting. It was not clear to me that the SetFunctions module in
PAKCS provides more power than set functions as described in the paper
[2]. Your use of 'set0 x' for a *variable* 'x' would not be possible
under the set functions proposal, where set functions only exist for
top-level declarations.


[2] Sergio Antou and Michael Hanus, Set Functions for Functional Logic
Programming (PPDP'09)

curry mailing list
Received on Fr Apr 13 2012 - 15:20:37 CEST

This archive was generated by hypermail 2.3.0 : So Dez 03 2023 - 07:15:13 CET