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