<div dir="ltr"><br><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"> Call for Papers</span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">
<span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"> </span><span style="background-color:rgb(255,255,204);color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">UNIF</span><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"> 2013</span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">
<span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"> The 27th International Workshop on Unification</span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">
<span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"> </span><a href="http://lat.inf.tu-dresden.de/UNIF2013/" style="color:rgb(17,85,204);font-family:arial,sans-serif;font-size:13px" target="_blank">http://lat.inf.tu-dresden.de/UNIF2013/</a><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">
<br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"> June 27th, 2013, Eindhoven, The Netherlands</span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">
<span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"> Satellite event of RTA-24, part of RDP 2013</span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">
<br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"><span style="background-color:rgb(255,255,204);color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">UNIF</span><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"> 2013 is the
27th event in a series of international meetings</span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">devoted to unification theory and its applications.</span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">
<br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">The aim of </span><span style="background-color:rgb(255,255,204);color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">UNIF</span><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"> 2013, as that of the previous meetings, is to</span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">
<span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">bring together researchers interested in unification theory and</span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">
<span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">related topics, to present recent (even unfinished) work, and</span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">
<span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">discuss new ideas and trends in this and related fields.</span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">
<span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">A non-exhaustive list of topics of interest includes:</span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">
<span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">* unification algorithms, calculi and implementations</span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">* equational unification and unification modulo theories</span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">
<span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">* unification in modal, temporal and description logics</span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">*
admissibility of inference rules</span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">* narrowing matching algorithms</span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">
<span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">* constraint solving</span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">* combination problems</span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">
<span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">* disunification</span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">* higher-order unification,</span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">
<span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">* type checking and reconstruction</span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">* typed unification</span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">
<span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">* complexity issues</span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">* query answering</span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">
<span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">* implementation techniques</span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">* applications of unification</span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">
<br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">Submission:</span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">
<span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">==========</span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">Submissions should not exceed 5 pages in LNCS style, as PDF files</span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">
<span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">through the EasyChair submission site:</span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">
<a href="https://www.easychair.org/account/signin.cgi?conf=unif2013" style="color:rgb(17,85,204);font-family:arial,sans-serif;font-size:13px" target="_blank">https://www.easychair.org/account/signin.cgi?conf=unif2013</a><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">
<br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">Accepted abstracts will be presented at the workshop and</span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">
<span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">included in the preliminary proceedings,</span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">available at the workshop and also in the electronic form at the </span><span style="background-color:rgb(255,255,204);color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">UNIF</span><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"> web page:</span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">
<br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"> </span><a href="http://www.pps.jussieu.fr/%7Etreinen/unif/" style="color:rgb(17,85,204);font-family:arial,sans-serif;font-size:13px" target="_blank">http://www.pps.jussieu.fr/~treinen/<span style="background-color:rgb(255,255,204);color:rgb(34,34,34)">unif</span>/</a><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">
<br><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">Important Dates:</span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">
<span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">================</span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">
<span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">Submission: April 14</span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">Notification: May 25</span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">
<span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">Final version: June 8</span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">Workshop: June 27</span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">
<br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">Programme Committee:</span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">
<span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">===================</span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">
<span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"># Franz Baader, TU Dresden, Germany</span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"># Benzmueller, Free University Berlin,
Germany</span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"># Santiago Escobar, Universitat Politecnica de Valencia, Spain</span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">
<span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"># Silvio Ghilardi, Universita di Milano, Italy</span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"># Konstantin Korovin, University of Manchester, UK</span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">
<span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"># Jordi Levy, IIIA - CSIC, Spain</span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"># Christopher Lynch, Clarkson University, USA</span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">
<span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"># George Metcalfe, University of Bern, Switzerland</span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"># Barbara Morawska, TU Dresden, Germany</span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">
<span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"># Paliath Narendran, University at Albany, USA</span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"># Christophe Ringeissen, LORIA-INRIA, France</span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">
<span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"># Vladimir Rybakov, Manchester Metropolitan University</span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"># Laurent Vigneron, LORIA-Nancy University, France</span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">
<br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">For more information,
please contact any of</span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px">the chairs: Barbara Morawska and Konstantin Korovin.</span></div>