The 28th International Workshop on Unification
July 13, 2014 · Vienna, Austria
Overview
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.
This year's UNIF will be a FLoC workshop hosted by RTA-TLCA and IJCAR.
Topics of Interest
A non-exhaustive list of topics of interest include:
- 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
Call for Papers
Accepted Contributions
Invited Speakers
- Jordi Levy, IIIA, CSIC, Barcelona, Spain
- José Meseguer, University of Illinois at Urbana-Champaign, USA
Organization Committee
Program Committee
- Franz Baader (TU Dresden)
- Mnacho Echenim (University of Grenoble)
- Santiago Escobar (Universitat Politecnica de Valencia)
- Maribel Fernandez (King's College London)
- Temur Kutsia (RISC, Johannes Kepler University Linz) - chair
- Christopher Lynch (Clarkson University)
- Mircea Marin (West University of Timisoara)
- Barbara Morawska (TU Dresden)
- Paliath Narendran (University at Albany--SUNY)
- Jan Otop (IST Austria)
- Christophe Ringeissen (LORIA – INRIA Lorraine, Villers-les-Nancy) - chair
- Manfred Schmidt-Schauss (Inst. for Informatik, Goethe-University Frankfurt)
- Ralf Treinen (PPS, Université Paris Diderot)
- Mateu Villaret (Departament d'Informàtica i Matemàtica Aplicada, Universitat de Girona)