[TYPES/announce] UNIF 2013: extended deadline

Barbara Morawska morawska at tcs.inf.tu-dresden.de
Fri Apr 12 05:37:05 EDT 2013

Please notice the deadline extended to
22nd April.


Call for Papers

                            UNIF 2013
          The 27th International Workshop on Unification


              June 27th, 2013, Eindhoven, The Netherlands
             Satellite event of RTA-24, part of RDP 2013

UNIF 2013 is the 27th event in a series of international meetings
devoted to unification theory and its applications.

The aim of UNIF 2013, 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.

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
* applications of unification

Submissions should not exceed 5 pages in LNCS style, as PDF files
through the EasyChair submission site:


Accepted abstracts will be presented at the workshop and
included in the preliminary proceedings,
available at the workshop and also in the electronic form at the UNIF web


Important Dates:

Submission: April 22 (extended)
Notification: May 25
Final version: June 8
Workshop: June 27

Programme Committee:

# Franz Baader, TU Dresden, Germany
# Benzmueller, Free University Berlin, Germany
# Santiago Escobar, Universitat Politecnica de Valencia, Spain
# Silvio Ghilardi, Universita di Milano, Italy
# Konstantin Korovin, University of Manchester, UK
# Jordi Levy, IIIA - CSIC, Spain
# Christopher Lynch, Clarkson University, USA
# George Metcalfe, University of Bern, Switzerland
# Barbara Morawska, TU Dresden, Germany
# Paliath Narendran, University at Albany, USA
# Christophe Ringeissen, LORIA-INRIA, France
# Vladimir Rybakov, Manchester Metropolitan University
# Laurent Vigneron, LORIA-Nancy University, France

For more information, please contact any of
the chairs: Barbara Morawska and Konstantin Korovin.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20130412/31769fcb/attachment-0001.html>

More information about the Types-announce mailing list