[DL] UNIF 2016 call for papers

Franz Baader baader at tcs.inf.tu-dresden.de
Sat Apr 16 10:59:47 CEST 2016

UNIF 2016  - Second Final Call for papers

The 30th International Workshop on Unification is the 30th event in a
of international meetings devoted to unification theory and its
Unification is concerned with the problem of making two terms equal,
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. The workshop will be  hosted by the 1st
International Conference on Formal Structures for Computation and Deduction
(FSCD, Porto, June 2016)

Web site

Description of the Topic
Unification is one of the central notions in automated reasoning and lies
the heart of many reasoning systems. Unification is concerned with the
of making two terms equal, either syntactically or modulo a theory. UNIF
will be the 30th in a series of annual international workshops on
Previous editions have taken place mostly in Europe (Austria, Denmark,
Germany, Ireland, Italy, Poland, UK), but also in the USA and Japan. For
details on previous UNIF workshops, please see the UNIF homepage at
Traditionally, the scope of the UNIF workshops has covered the topic of
unification in a broad sense, encompassing also research in constraint
admissibility of inference rules, and applications such as type checking,
query answering and cryptographic protocol analysis. 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
+ Antiunification/Generalization

Submission Details
Following the tradition of UNIF, we call for submissions of abstracts (5
in EasyChair style, to be submitted electronically as PDF files through the
EasyChair submission site:

Abstracts will be evaluated by the Programme Committee (if necessary with
support from external reviewers) regarding their significance for the
workshop. Accepted abstracts will be presented at the workshop and included
in the informal proceedings of the workshop, available in printed form at
the workshop and in electronic form from the UNIF homepage:

Based on the number and quality of submissions we will decide whether to
organize a special journal issue.

Important Dates
+ Paper Submission: May 1, 2016
+ Notif. of Acceptance: May 29 2016
+ Final version: June 5, 2016
+ Conference: June 26, 2016

Invited Speakers

Wojciech Dzik, Uniwersytet Śląski, Katowice
Ralf Sasse, ETH Zurich

Silvio Ghilardi
Department of Mathematics
Universite degli Studi di Milano
Milano, Italy
email: silvio.ghilardi at unimi.it
homepage: http://users.mat.unimi.it/users/ghilardi/
phone: +39 02 5031 6142

Manfred Schmidt-Schauss
Department of Computer Science and Mathematics
Goethe University
Frankfurt, Germany
email: schauss at ki.informatik.uni-frankfurt.de
homepage: http://www.ki.informatik.uni-frankfurt.de
phone: +49 69 798 2859

Prof. Dr.-Ing. Franz Baader
Technische Universität Dresden
Fakultät Informatik
Institut für Theoretische Informatik
Lehrstuhl für Automatentheorie
01062 Dresden
Tel.: +49 (351) 463-39160
Fax: +49 (351) 463-37959
E-Mail: baader at tcs.inf.tu-dresden.de
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.informatik.uni-bremen.de/pipermail/dl/attachments/20160416/55887282/attachment-0001.html>

More information about the dl mailing list