<div dir="ltr">UNIF 2016  - Second Final Call for papers<br><br>The 30th International Workshop on Unification is the 30th event in a series <br>of international meetings devoted to unification theory and its applications.<br>Unification is concerned with the problem of making two terms equal, finding <br>solutions for equations, or making formulas equivalent. It is a fundamental <br>process used in a number of fields of computer science, including automated <br>reasoning, term rewriting, logic programming, natural language processing, <br>program analysis, types, etc. <br><br>The International Workshop on Unification (UNIF) is a yearly forum for <br>researchers in unification theory and related fields to meet old and new <br>colleagues, to present recent (even unfinished) work, and to discuss new <br>ideas and trends. It is also a good opportunity for young researchers and <br>scientists working in related areas to get an overview of the current state <br>of the art in unification theory. The workshop will be  hosted by the 1st <br>International Conference on Formal Structures for Computation and Deduction <br>(FSCD, Porto, June 2016)<br><br>Web site<br>--------<br><a href="http://users.mat.unimi.it/users/ghilardi/UNIF2016/">http://users.mat.unimi.it/users/ghilardi/UNIF2016/</a><br><br>Description of the Topic<br>------------------------<br>Unification is one of the central notions in automated reasoning and lies at <br>the heart of many reasoning systems. Unification is concerned with the problem <br>of making two terms equal, either syntactically or modulo a theory. UNIF 2016<br>will be the 30th in a series of annual international workshops on unification. <br>Previous editions have taken place mostly in Europe (Austria, Denmark, France, <br>Germany, Ireland, Italy, Poland, UK), but also in the USA and Japan. For more <br>details on previous UNIF workshops, please see the UNIF homepage at<br>   <a href="http://www.pps.jussieu.fr/~treinen/unif/">http://www.pps.jussieu.fr/~treinen/unif/</a>.<br>Traditionally, the scope of the UNIF workshops has covered the topic of<br>unification in a broad sense, encompassing also research in constraint solving,<br>admissibility of inference rules, and applications such as type checking, <br>query answering and cryptographic protocol analysis. A non-exhaustive list <br>of topics of interest includes:<br>+ Unification algorithms, calculi and implementations<br>+ Equational unification and unification modulo theories<br>+ Unification in modal, temporal and description logics<br>+ Admissibility of Inference Rules<br>+ Narrowing<br>+ Matching algorithms<br>+ Constraint solving<br>+ Combination problems<br>+ Disunification<br>+ Higher-Order Unification<br>+ Type checking and reconstruction<br>+ Typed unification<br>+ Complexity issues<br>+ Query answering<br>+ Implementation techniques<br>+ Applications of unification<br>+ Antiunification/Generalization<br><br>Submission Details<br>------------------<br>Following the tradition of UNIF, we call for submissions of abstracts (5 pages)<br>in EasyChair style, to be submitted electronically as PDF files through the <br>EasyChair submission site:<br>   <a href="https://easychair.org/conferences/?conf=unif2016">https://easychair.org/conferences/?conf=unif2016</a><br><br>Abstracts will be evaluated by the Programme Committee (if necessary with <br>support from external reviewers) regarding their significance for the <br>workshop. Accepted abstracts will be presented at the workshop and included <br>in the informal proceedings of the workshop, available in printed form at <br>the workshop and in electronic form from the UNIF homepage:<br>   <a href="http://www.pps.jussieu.fr/~treinen/unif/">http://www.pps.jussieu.fr/~treinen/unif/</a><br><br>Based on the number and quality of submissions we will decide whether to<br>organize a special journal issue.<br><br>Important Dates<br>---------------<br>+ Paper Submission: May 1, 2016<br>+ Notif. of Acceptance: May 29 2016<br>+ Final version: June 5, 2016<br>+ Conference: June 26, 2016<br><br>Invited Speakers<br>----------------<br><br>Wojciech Dzik, Uniwersytet Śląski, Katowice<br>Ralf Sasse, ETH Zurich<br><br>Organizers<br>----------<br>Silvio Ghilardi<br>Department of Mathematics<br>Universite degli Studi di Milano<br>Milano, Italy<br>email: <a href="mailto:silvio.ghilardi@unimi.it">silvio.ghilardi@unimi.it</a><br>homepage: <a href="http://users.mat.unimi.it/users/ghilardi/">http://users.mat.unimi.it/users/ghilardi/</a><br>phone: +39 02 5031 6142<br><br>Manfred Schmidt-Schauss<br>Department of Computer Science and Mathematics<br>Goethe University<br>Frankfurt, Germany<br>email: <a href="mailto:schauss@ki.informatik.uni-frankfurt.de">schauss@ki.informatik.uni-frankfurt.de</a><br>homepage: <a href="http://www.ki.informatik.uni-frankfurt.de">http://www.ki.informatik.uni-frankfurt.de</a><br>phone: +49 69 798 2859<br clear="all"><br>-- <br><div class="gmail_signature">--------------------------------<br>Prof. Dr.-Ing. Franz Baader<br>Technische Universität Dresden<br>Fakultät Informatik<br>Institut für Theoretische Informatik<br>Lehrstuhl für Automatentheorie<br>01062 Dresden<br>Tel.: +49 (351) 463-39160<br>Fax: +49 (351) 463-37959 <br>E-Mail: <a href="mailto:baader@tcs.inf.tu-dresden.de" target="_blank">baader@tcs.inf.tu-dresden.de</a><br>--------------------------------</div>
</div>