[DL] UNIF 2016 call for papers

[Franz Baader]

UNIF 2016  - Second Final Call for papers

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

Web site
--------
http://users.mat.unimi.it/users/ghilardi/UNIF2016/

Description of the Topic
------------------------
Unification is one of the central notions in automated reasoning and lies
at
the heart of many reasoning systems. Unification is concerned with the
problem
of making two terms equal, either syntactically or modulo a theory. UNIF
2016
will be the 30th in a series of annual international workshops on
unification.
Previous editions have taken place mostly in Europe (Austria, Denmark,
France,
Germany, Ireland, Italy, Poland, UK), but also in the USA and Japan. For
more
details on previous UNIF workshops, please see the UNIF homepage at
   http://www.pps.jussieu.fr/~treinen/unif/.
Traditionally, the scope of the UNIF workshops has covered the topic of
unification in a broad sense, encompassing also research in constraint
solving,
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
pages)
in EasyChair style, to be submitted electronically as PDF files through the
EasyChair submission site:
   https://easychair.org/conferences/?conf=unif2016

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:
   http://www.pps.jussieu.fr/~treinen/unif/

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

Organizers
----------
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: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20160416/55887282/attachment.htm>