<div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div class="gmail_quote"><div class="gmail_quote"><p style="line-height:normal"><b><span lang="EN-US" style="font-variant:small-caps;font-size:24pt">WoLLIC
2013</span></b></p>
<p style="line-height:normal"><b><span lang="EN-US" style="font-size:24pt">Call for<span style="font-variant:small-caps"> </span>Par<span style="font-variant:small-caps">ticipation</span></span></b></p>
<p style="margin-bottom:0.0001pt;line-height:normal"><span lang="RU"><a href="http://wollic.org/" target="_blank"><b><span lang="EN-US" style="font-size:13.5pt">WoLLIC</span></b></a></span><b><span lang="EN-US" style="font-size:13.5pt"> </span></b><span lang="EN-US" style="font-size:13.5pt">is an annual
international forum on inter-disciplinary research involving formal logic,
computing and programming theory, and natural language and reasoning. Each
meeting includes invited talks and tutorials as well as contributed papers. The
nineteenth WoLLIC will be held at the Fachbereich Mathematik, Technische Universität Darmstadt, Darmstadt, Germany, from August 20th to 23rd, 2013<span style="font-variant:small-caps">.</span></span><span lang="EN-US" style="font-size:13.5pt;font-family:'Times New Roman',serif"></span></p>
<p style="margin-bottom:0.0001pt;line-height:normal"><span lang="EN-US" style="font-size:13.5pt"><span style="font-variant:small-caps"><br></span></span></p>
<p style="margin-bottom:0.0001pt;line-height:normal"><b><span lang="EN-US" style="font-size:13.5pt">Invited Speakers</span></b><span lang="EN-US" style="font-size:13.5pt"></span></p>
<p style="margin:0cm 0cm 0.0001pt 36pt"><font color="#0000ee" size="4"><b></b></font></p><p style="margin:0cm 0cm 0.0001pt 36pt"></p><p style="margin:0cm 0cm 0.0001pt 36pt"><font color="#0000ee" size="4"><b>Natasha Alechina (University of Nottingham) </b></font></p>
<p style="margin:0cm 0cm 0.0001pt 36pt"><font color="#0000ee" size="4"><b>Steve Awodey (Carnegie Mellon University) </b></font></p><p style="margin:0cm 0cm 0.0001pt 36pt"><font color="#0000ee" size="4"><b>Mikolaj Bojanczyk (Warsaw University) </b></font></p>
<p style="margin:0cm 0cm 0.0001pt 36pt"><font color="#0000ee" size="4"><b>Wim Martens (Universität Bayreuth)</b></font></p><p style="margin:0cm 0cm 0.0001pt 36pt"><font color="#0000ee" size="4"><b>Catuscia Palamidessi (INRIA Saclay and LIX)</b></font></p>
<p style="margin:0cm 0cm 0.0001pt 36pt"><font color="#0000ee" size="4"><b>Thomas Schwentick (TU Dortmund)</b></font></p><p></p>
<p></p>
<p style="margin-bottom:0.0001pt"><b style="line-height:normal"><span lang="EN-US" style="font-variant:small-caps;font-size:13.5pt">P</span></b><b style="line-height:normal"><span lang="EN-US" style="font-size:13.5pt">roceedings</span></b><span lang="EN-US" style="line-height:normal;font-size:13.5pt"> of WoLLIC 2013, including
both invited and contributed papers, will be published<span style="font-variant:small-caps"> </span></span><span lang="EN-US" style="line-height:normal;font-size:14pt">in advance of
the meeting as</span><span lang="EN-US" style="line-height:normal;font-variant:small-caps;font-size:16pt"> </span><span style="font-size:19px">a </span><span lang="EN-US" style="font-size:13.5pt">volume in Springer's</span><span lang="EN-US" style="font-size:13.5pt"> </span><span lang="RU"><a href="http://www.springer.com/lncs" target="_blank"><span lang="EN-US" style="font-size:13.5pt">LNCS</span></a></span><span lang="EN-US" style="font-size:13.5pt"> </span><span lang="EN-US" style="font-size:13.5pt">series. </span><span lang="EN-US" style="font-size:14pt">The list of contributed papers is:</span><span lang="EN-US" style="font-variant:small-caps;font-size:13.5pt"> </span><font color="#0000ee" size="4"><u></u></font></p>
<p style="line-height:normal"><span lang="EN-US" style="font-size:13.5pt">In addition, abstracts will appear
in the Conference Report section of the</span><span lang="EN-US" style="font-size:13.5pt"> <i>Logic
Journal of the IGPL</i></span><span lang="EN-US" style="font-size:13.5pt">, and selected contributions will be published as a
special post-conference WoLLIC 2013 issue of the</span><span lang="EN-US" style="font-size:13.5pt"> <i>Journal of Computer System and Sciences</i></span><span lang="EN-US" style="font-size:13.5pt">.</span></p>
<p><span><b><span lang="EN-US"><font size="4">Registration</font></span></b><span lang="EN-US"> </span></span></p>
<p><span><span lang="EN-US"><font size="4">Early registration
deadline is June 14, see</font> </span></span><font color="#1155cc"><span style="font-size:19px"><u><a href="http://www3.mathematik.tu-darmstadt.de/wollic/registration.html" target="_blank">http://www3.mathematik.tu-darmstadt.de/wollic/registration.html</a></u></span></font></p>
<p style="line-height:normal"><span><b><span lang="EN-US" style="font-size:13.5pt">Programme Committee</span></b></span><span><span lang="EN-US" style="font-size:13.5pt"></span></span></p>
<span></span>
<p style="margin:0cm 0cm 0.0001pt 36pt"><font color="#0000ee" size="4"></font></p><p style="margin:0cm 0cm 0.0001pt 36pt"></p><p style="margin:0cm 0cm 0.0001pt 36pt"><font color="#0000ee" size="4">Albert Atserias (UPC Barcelona) </font></p>
<p style="margin:0cm 0cm 0.0001pt 36pt"><font color="#0000ee" size="4">Alexandru Baltag (Univ Amsterdam)</font></p><p style="margin:0cm 0cm 0.0001pt 36pt"><font color="#0000ee" size="4">Stephanie Delaune (ENS, CNRS)</font></p>
<p style="margin:0cm 0cm 0.0001pt 36pt"><font color="#0000ee" size="4">Amy Felty (Univ Ottawa)</font></p><p style="margin:0cm 0cm 0.0001pt 36pt"><font color="#0000ee" size="4">Santiago Figueira (Univ Buenos Aires) </font></p>
<p style="margin:0cm 0cm 0.0001pt 36pt"><font color="#0000ee" size="4">Amelie Gheerbrant (Univ Edinburgh)</font></p><p style="margin:0cm 0cm 0.0001pt 36pt"><font color="#0000ee" size="4">Radha Jagadeesan (DePaul Univ)</font></p>
<p style="margin:0cm 0cm 0.0001pt 36pt"><font color="#0000ee" size="4">Delia Kesner (Univ Paris-Diderot)</font></p><p style="margin:0cm 0cm 0.0001pt 36pt"><font color="#0000ee" size="4">Benoit Larose (Concordia Univ)</font></p>
<p style="margin:0cm 0cm 0.0001pt 36pt"><font color="#0000ee" size="4">Leonid Libkin (Univ Edinburgh - CHAIR)</font></p><p style="margin:0cm 0cm 0.0001pt 36pt"><font color="#0000ee" size="4">Fenrong Liu (Tsinghua Univ)</font></p>
<p style="margin:0cm 0cm 0.0001pt 36pt"><font color="#0000ee" size="4">Jerzy Marcinkowski (Wroclaw Univ)</font></p><p style="margin:0cm 0cm 0.0001pt 36pt"><font color="#0000ee" size="4">Peter O'Hearn (UCL) </font></p>
<p style="margin:0cm 0cm 0.0001pt 36pt"><font color="#0000ee" size="4">Joël Ouaknine (Oxford Univ) </font></p><p style="margin:0cm 0cm 0.0001pt 36pt"><font color="#0000ee" size="4">Gerald Penn (Univ Toronto)</font></p>
<p style="margin:0cm 0cm 0.0001pt 36pt"><font color="#0000ee" size="4">Gabriele Puppis (CNRS/LaBRI - Univ Bordeaux)</font></p><p style="margin:0cm 0cm 0.0001pt 36pt"><font color="#0000ee" size="4">R. Ramanujam (The Institute of Mathematical Sciences)</font></p>
<p style="margin:0cm 0cm 0.0001pt 36pt"><font color="#0000ee" size="4">Peter Selinger (Dalhousie Univ)</font></p><p style="margin:0cm 0cm 0.0001pt 36pt"><font color="#0000ee" size="4">Szymon Torunczyk (Warsaw Univ) </font></p>
<p style="margin:0cm 0cm 0.0001pt 36pt"><font color="#0000ee" size="4">Anna Zamansky (TU Wien)</font></p><p></p><p></p>
<p style="margin-bottom:0.0001pt;line-height:normal"><b><span lang="EN-US" style="font-size:13.5pt">Steering Committee</span></b><span lang="EN-US" style="font-size:13.5pt"></span></p>
<p style="margin:0cm 0cm 0.0001pt 36pt;line-height:normal"><span lang="EN-US" style="font-size:13.5pt">Samson Abramksy, Johan van
Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Daniel Leivant, Angus
Macintyre, Grigori Mints, Luke Ong, Hiroakira Ono, Ruy de Queiroz.</span></p>
<p style="margin-bottom:0.0001pt;line-height:normal"><b><span lang="EN-US" style="font-size:13.5pt">Organising Committee</span></b><span lang="EN-US" style="font-size:13.5pt"></span></p>
<p style="margin:0cm 0cm 0.0001pt 36pt"></p><p style="margin:0cm 0cm 0.0001pt 36pt"><font size="4">Ulrich Kohlenbach (Tech U Darmstadt) (Local chair) </font></p><p style="margin:0cm 0cm 0.0001pt 36pt">
<font size="4">Anjolina G. de Oliveira (U Fed Pernambuco) </font></p><p style="margin:0cm 0cm 0.0001pt 36pt"><font size="4">Martin Otto (Tech U Darmstadt)</font></p><p style="margin:0cm 0cm 0.0001pt 36pt">
<font size="4">Ruy de Queiroz (U Fed Pernambuco) (co-chair)</font></p><p style="margin:0cm 0cm 0.0001pt 36pt"><font size="4">Thomas Streicher (Tech U Darmstadt)</font></p><p style="margin:0cm 0cm 0.0001pt 36pt">
<font size="4">Martin Ziegler (Tech U Darmstadt)</font></p><p></p>
<p style="line-height:normal"><b><span lang="EN-US" style="font-size:13.5pt">Further information</span></b><span lang="EN-US" style="font-size:13.5pt"><br>
Contact one of the Co-Chairs of the Organising Committee.</span></p>
<p style="line-height:normal"><b><span lang="EN-US" style="font-size:13.5pt">Web page</span></b><span lang="EN-US" style="font-size:13.5pt"> </span><span lang="RU"><a href="http://wollic.org/wollic2013/" target="_blank"><span lang="EN-US" style="font-size:13.5pt">http://wollic.org/wollic2013/</span></a></span><span lang="EN-US" style="font-size:13.5pt"> </span><span lang="EN-US" style="font-size:13.5pt"></span></p>
<p style="margin-bottom:0.0001pt;line-height:normal"><b><span lang="EN-US" style="font-variant:small-caps;font-size:13.5pt">S</span></b><b><span lang="EN-US" style="font-size:13.5pt">ponsor</span></b><span lang="EN-US" style="font-size:13.5pt"><b style="font-size:small"><span lang="EN-US" style="font-size:13.5pt">s</span></b> <span style="font-variant:small-caps"></span></span></p>
<p><font size="4"><u><a href="http://www.dvmlg.de/" style="color:rgb(17,85,204)" target="_blank">Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung der Exakten Wissenschaften</a> <font color="#000000">(DVMLG)</font><font color="#1155cc">, </font></u></font><font size="4"><span lang="RU"><span lang="EN-US"><a href="http://www.aslonline.org/" target="_blank">Association
for Symbolic Logic</a></span></span><span lang="EN-US"> (ASL), the </span><span lang="RU"><a href="http://www.cin.ufpe.br/~igpl" target="_blank"><span lang="EN-US">Interest Group in Pure and Applied Logics</span></a></span><span lang="EN-US"> (IGPL),
</span><span lang="RU"><a href="http://www.folli.org/" target="_blank"><span lang="EN-US">The Association for
Logic, Language and Information</span></a></span><span lang="EN-US"> (FoLLI),
the </span><span lang="RU"><a href="http://www.eatcs.org/" target="_blank"><span lang="EN-US">European Association
for Theoretical Computer Science</span></a></span><span lang="EN-US"> (EATCS),
the </span><span lang="RU"><a href="http://www.eacsl.org/" target="_blank"><span lang="EN-US">European Association
for Computer Science Logic</span></a></span><span lang="EN-US"> (EACSL), the </span><span lang="RU"><a href="http://www.sbc.org.br/" target="_blank"><span lang="EN-US">Sociedade Brasileira de Computação</span></a></span><span lang="EN-US"> (SBC),
and the </span><span lang="RU"><a href="http://www.cle.unicamp.br/sbl/" target="_blank"><span lang="EN-US">Sociedade
Brasileira de Lógica</span></a></span><span lang="EN-US"> (SBL).</span></font><span lang="EN-US" style="line-height:115%;font-family:'Times New Roman',serif"></span></p>
</div></div><br>
</div><br></div>
</div><br></div>