[TYPES/announce] UNIF 2013 -- call for papers

[Barbara Morawska]

Call for Papers

                            UNIF 2013
          The 27th International Workshop on Unification

                http://lat.inf.tu-dresden.de/UNIF2013/

              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

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

https://www.easychair.org/account/signin.cgi?conf=unif2013

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
page:

    http://www.pps.jussieu.fr/~treinen/unif/


Important Dates:
================

Submission: April 14
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/20130322/42a31909/attachment.html>