[TYPES/announce] Last CfP: UNIF 2012 - 26th International Workshop on Unification

Santiago Escobar sescobar at dsic.upv.es
Fri Apr 13 08:49:33 EDT 2012

                        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 <http://www.pps.jussieu.fr/~treinen/unif/>.

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

More information about the Types-announce mailing list