Monday, January 13, 2014

[DMANET] CfP: UNIF 2014

====================================================
Call for Papers
UNIF 2014
The 28th International Workshop on Unification
July 13, 2014. Vienna, Austria
a FLoC workshop hosted by RTA-TLCA and IJCAR
http://vsl2014.at/unif
====================================================

UNIF 2014 is the 28th event in a series of international meetings
devoted to
unification theory and its applications. Unification is concerned with the
problem of identifying terms, finding solutions for equations, or making
formulas equivalent. It is a fundamental process used in a number of fields
of computer science, including automated reasoning, term rewriting, logic
programming, natural language processing, program analysis, types, etc.

The International Workshop on Unification (UNIF) is a yearly forum for
researchers in unification theory and related fields to meet old and new
colleagues, to present recent (even unfinished) work, and to discuss new
ideas
and trends. It is also a good opportunity for young researchers and
scientists
working in related areas to get an overview of the current state of the
art in
unification theory.


Topics
------
A non-exhaustive list of topics of interest includes:

* syntactic and equational unification
* matching
* constraint solving
* unification in modal, temporal, and description logics
* narrowing
* disunification
* anti-unification
* semi-unification
* higher-order unification
* complexity issues
* implementation techniques
* applications


Submission
----------
Short papers or extended abstracts, up to 5 pages in EasyChair style,
should be
submitted electronically as PDF files through the EasyChair submission site:

https://www.easychair.org/conferences/?conf=unif2014

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

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


Important Dates
----------------
* Paper Submission: April 16, 2014
* Notification of Acceptance: May 21, 2014
* Final version: May 28, 2014
* Conference: July 13, 2014


Invited Speakers
----------------
TBA


Programme Committee
-------------------

* Franz Baader, TU Dresden, Germany
* Mnacho Echenim, University of Grenoble, France
* Santiago Escobar, Technical University of Valencia, Spain
* Maribel Fernandez, King's College London, UK
* Temur Kutsia, RISC, Johannes Kepler University Linz, Austria (chair)
* Christopher Lynch, Clarkson University, USA
* Mircea Marin, West University of Timisoara, Romania
* Barbara Morawska, TU Dresden, Germany
* Paliath Narendran, University at Albany—SUNY, USA
* Jan Otop, IST Austria
* Christophe Ringeissen, LORIA-INRIA Lorraine, France (chair)
* Manfred Schmidt-Schauss, Goethe-University Frankfurt, Germany
* Ralf Treinen, PPS, Université Paris Diderot, France
* Mateu Villaret, Universitat de Girona, Spain
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************