<div class="gmail_quote"><div class="gmail_quote"><br><div class="gmail_quote"><p class="MsoNormal" style="line-height:normal"><b><span lang="EN-US" style="font-variant:small-caps;font-size:24.0pt">WoLLIC
2012</span></b></p>

<p class="MsoNormal" style="line-height:normal"><b><span lang="EN-US" style="font-size:24.0pt">Call for<span style="font-variant:small-caps"> </span>Par<span style="font-variant:small-caps">ticipation</span></span></b></p>






<p class="MsoNormal" style="margin-bottom:0cm;margin-bottom:.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 University of Buenos Aires, Argentina, from September 3rd to 7th, 2012<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 class="MsoNormal" style="margin-bottom:0cm;margin-bottom:.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 class="MsoNormal" style="margin-top:0cm;margin-right:0cm;margin-left:36pt;margin-bottom:0.0001pt"><font color="#0000ee" size="4"><b></b></font></p><p class="MsoNormal" style="margin-top:0cm;margin-right:0cm;margin-left:36pt;margin-bottom:0.0001pt">



<font color="#0000ee" size="4"><b>Andrea Asperti (Bologna)</b></font></p><p class="MsoNormal" style="margin-top:0cm;margin-right:0cm;margin-left:36pt;margin-bottom:0.0001pt"><font color="#0000ee" size="4"><b>Hans van Ditmarsch(Sevilla)</b></font></p>



<p class="MsoNormal" style="margin-top:0cm;margin-right:0cm;margin-left:36pt;margin-bottom:0.0001pt"><font color="#0000ee" size="4"><b>Laura Kallmeyer (Düselldorf)</b></font></p><p class="MsoNormal" style="margin-top:0cm;margin-right:0cm;margin-left:36pt;margin-bottom:0.0001pt">



<font color="#0000ee" size="4"><b>George Metcalfe (Nashville)</b></font></p><p class="MsoNormal" style="margin-top:0cm;margin-right:0cm;margin-left:36pt;margin-bottom:0.0001pt"><font color="#0000ee" size="4"><b>Anca Muscholl (Bordeaux)</b></font></p>



<p class="MsoNormal" style="margin-top:0cm;margin-right:0cm;margin-left:36pt;margin-bottom:0.0001pt"><font color="#0000ee" size="4"><b>Andre Nies (Auckland)</b></font></p><p class="MsoNormal" style="margin-top:0cm;margin-right:0cm;margin-left:36pt;margin-bottom:0.0001pt">



<font color="#0000ee" size="4"><b>Peter Selinger (Halifax)</b></font></p><p class="MsoNormal" style="margin-top:0cm;margin-right:0cm;margin-left:36pt;margin-bottom:0.0001pt"><font color="#0000ee" size="4"><b>Nicole Schweikardt (Frankfurt)</b></font></p>



<p></p>


<p class="MsoNormal" 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 2012, 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 lang="EN-US" style="line-height:normal;font-size:13.5pt">volume <span style="font-variant:small-caps">7456 </span>in Springer's</span><span lang="EN-US" style="line-height:normal;font-size:13.5pt"> </span><span lang="RU" style="line-height:normal"><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="line-height:normal;font-size:13.5pt"> </span><span lang="EN-US" style="line-height:normal;font-size:13.5pt">series. </span><span lang="EN-US" style="line-height:normal;font-size:14pt">The list of contributed papers can be found here:</span><span lang="EN-US" style="line-height:normal;font-variant:small-caps;font-size:13.5pt"> </span><font color="#0000ee" size="4"><u><a href="http://www.glyc.dc.uba.ar/wollic12/call-for-papers.php" target="_blank">http://www.glyc.dc.uba.ar/wollic12/call-for-papers.php</a></u></font></p>






<p class="MsoNormal" 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 2012 issue of the</span><span lang="EN-US" style="font-size:13.5pt"> <i>T</i></span><span lang="RU"><i><span lang="EN-US" style="font-size:13.5pt">heoretical Computer Science</span></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 July 8, see</font> </span></span><font color="#0000ee"><span style="font-size:19px"><u><a href="http://www.glyc.dc.uba.ar/wollic12/registration.php" target="_blank">http://www.glyc.dc.uba.ar/wollic12/registration.php</a></u></span></font></p>







<p class="MsoNormal" 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 class="MsoNormal" style="margin-top:0cm;margin-right:0cm;margin-left:36pt;margin-bottom:0.0001pt"><font color="#0000ee" size="4"></font></p><p class="MsoNormal" style="margin-top:0cm;margin-right:0cm;margin-left:36pt;margin-bottom:0.0001pt">



<font color="#0000ee" size="4">Carlos Areces (Cordoba) </font></p><p class="MsoNormal" style="margin-top:0cm;margin-right:0cm;margin-left:36pt;margin-bottom:0.0001pt"><font color="#0000ee" size="4">Marcelo Arenas (Santiago)</font></p>



<p class="MsoNormal" style="margin-top:0cm;margin-right:0cm;margin-left:36pt;margin-bottom:0.0001pt"><font color="#0000ee" size="4">Steve Awodey (Pittsburgh) </font></p><p class="MsoNormal" style="margin-top:0cm;margin-right:0cm;margin-left:36pt;margin-bottom:0.0001pt">



<font color="#0000ee" size="4">Verónica Becher (Buenos Aires) </font></p><p class="MsoNormal" style="margin-top:0cm;margin-right:0cm;margin-left:36pt;margin-bottom:0.0001pt"><font color="#0000ee" size="4">Patrick Blackburn (Roskilde) </font></p>



<p class="MsoNormal" style="margin-top:0cm;margin-right:0cm;margin-left:36pt;margin-bottom:0.0001pt"><font color="#0000ee" size="4">Maribel Fernandez (London) </font></p><p class="MsoNormal" style="margin-top:0cm;margin-right:0cm;margin-left:36pt;margin-bottom:0.0001pt">



<font color="#0000ee" size="4">Santiago Figueira (Buenos Aires) </font></p><p class="MsoNormal" style="margin-top:0cm;margin-right:0cm;margin-left:36pt;margin-bottom:0.0001pt"><font color="#0000ee" size="4">Marcelo Finger (São Paulo) </font></p>



<p class="MsoNormal" style="margin-top:0cm;margin-right:0cm;margin-left:36pt;margin-bottom:0.0001pt"><font color="#0000ee" size="4">Marcelo Fiore (Cambridge) </font></p><p class="MsoNormal" style="margin-top:0cm;margin-right:0cm;margin-left:36pt;margin-bottom:0.0001pt">



<font color="#0000ee" size="4">Yuxi Fu (Shanghai) </font></p><p class="MsoNormal" style="margin-top:0cm;margin-right:0cm;margin-left:36pt;margin-bottom:0.0001pt"><font color="#0000ee" size="4">Rosalie Iemhoff (Utrecht) </font></p>



<p class="MsoNormal" style="margin-top:0cm;margin-right:0cm;margin-left:36pt;margin-bottom:0.0001pt"><font color="#0000ee" size="4">Neil Immerman (Amherst)</font></p><p class="MsoNormal" style="margin-top:0cm;margin-right:0cm;margin-left:36pt;margin-bottom:0.0001pt">



<font color="#0000ee" size="4">Jean-Pierre Jouannaud (Paris) </font></p><p class="MsoNormal" style="margin-top:0cm;margin-right:0cm;margin-left:36pt;margin-bottom:0.0001pt"><font color="#0000ee" size="4">Makoto Kanazawa (Tokyo) </font></p>



<p class="MsoNormal" style="margin-top:0cm;margin-right:0cm;margin-left:36pt;margin-bottom:0.0001pt"><font color="#0000ee" size="4">Delia Kesner (Paris) </font></p><p class="MsoNormal" style="margin-top:0cm;margin-right:0cm;margin-left:36pt;margin-bottom:0.0001pt">



<font color="#0000ee" size="4">Dexter Kozen (Ithaca) </font></p><p class="MsoNormal" style="margin-top:0cm;margin-right:0cm;margin-left:36pt;margin-bottom:0.0001pt"><font color="#0000ee" size="4">Martin Lange (Kassel)</font></p>



<p class="MsoNormal" style="margin-top:0cm;margin-right:0cm;margin-left:36pt;margin-bottom:0.0001pt"><font color="#0000ee" size="4">Benedikt Löwe (Amsterdam) </font></p><p class="MsoNormal" style="margin-top:0cm;margin-right:0cm;margin-left:36pt;margin-bottom:0.0001pt">



<font color="#0000ee" size="4">Dag Normann (Oslo)</font></p><p class="MsoNormal" style="margin-top:0cm;margin-right:0cm;margin-left:36pt;margin-bottom:0.0001pt"><font color="#0000ee" size="4">Luke Ong (Oxford) (CHAIR)</font></p>



<p class="MsoNormal" style="margin-top:0cm;margin-right:0cm;margin-left:36pt;margin-bottom:0.0001pt"><font color="#0000ee" size="4">Erik Palmgren (Uppsala) </font></p><p class="MsoNormal" style="margin-top:0cm;margin-right:0cm;margin-left:36pt;margin-bottom:0.0001pt">



<font color="#0000ee" size="4">Sylvain Salvati (Bordeaux)</font></p><p class="MsoNormal" style="margin-top:0cm;margin-right:0cm;margin-left:36pt;margin-bottom:0.0001pt"><font color="#0000ee" size="4">Philippe Schnoebelen (Cachan) </font></p>



<p class="MsoNormal" style="margin-top:0cm;margin-right:0cm;margin-left:36pt;margin-bottom:0.0001pt"><font color="#0000ee" size="4">Fernando Souza (Recife) </font></p><p class="MsoNormal" style="margin-top:0cm;margin-right:0cm;margin-left:36pt;margin-bottom:0.0001pt">



<font color="#0000ee" size="4">Kazushige Terui (Kyoto)</font></p><p></p>


<p class="MsoNormal" style="margin-bottom:0cm;margin-bottom:.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 class="MsoNormal" style="margin-top:0cm;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;margin-bottom:.0001pt;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, Hiroakira Ono, Ruy de Queiroz.</span></p>

<p class="MsoNormal" style="margin-bottom:0cm;margin-bottom:.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 class="MsoNormal" style="margin-top:0cm;margin-right:0cm;margin-left:36pt;margin-bottom:0.0001pt"><span lang="EN-US"><font><font size="4">Carlos Areces<font color="#0000ee"> </font></font></font><font size="4">(U Nacional Cordoba) (co-chair) (Local co-chair) </font></span></p>



<p class="MsoNormal" style="margin-top:0cm;margin-right:0cm;margin-left:36pt;margin-bottom:0.0001pt"><span style="font-size:large">Santiago Figueira (U Buenos Aires) (Local co-chair) </span></p><p class="MsoNormal" style="margin-top:0cm;margin-right:0cm;margin-left:36pt;margin-bottom:0.0001pt">



<span style="font-size:large">Javier Legris (U Buenos Aires) </span></p><p class="MsoNormal" style="margin-top:0cm;margin-right:0cm;margin-left:36pt;margin-bottom:0.0001pt"><span lang="RU" style="line-height:normal"><span lang="EN-US" style="font-size:13.5pt"><span style="font-size:small"><span lang="RU" style="line-height:normal"><span lang="EN-US" style="font-size:13.5pt">Anjolina G. de Oliveira</span></span><span lang="EN-US" style="line-height:normal;font-size:13.5pt"> </span><span lang="EN-US" style="line-height:normal;font-size:13.5pt">(U Fed Pernambuco)</span><span lang="EN-US" style="line-height:normal;font-size:13.5pt"> </span></span></span></span></p>



<p class="MsoNormal" style="margin-top:0cm;margin-right:0cm;margin-left:36pt;margin-bottom:0.0001pt"><span lang="RU" style="line-height:normal"><span lang="EN-US" style="font-size:13.5pt">Ruy de Queiroz</span></span><span lang="EN-US" style="line-height:normal;font-size:13.5pt"> </span><span lang="EN-US" style="line-height:normal;font-size:13.5pt">(U Fed Pernambuco) (co-chair)</span><span lang="EN-US" style="line-height:normal;font-size:13.5pt"> </span><font size="4"><br>



</font></p>


<p class="MsoNormal" 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 class="MsoNormal" 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/wollic2012/" target="_blank"><span lang="EN-US" style="font-size:13.5pt">http://wollic.org/wollic2012/</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 class="MsoNormal" style="margin-bottom:0cm;margin-bottom:.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 style="font-variant:small-caps">s</span></span></b><span lang="EN-US" style="font-size:13.5pt"> <span style="font-variant:small-caps"></span></span></p>






<p class="MsoNormal"><font size="4"><span lang="RU"><a href="http://www.aslonline.org/" target="_blank"><span lang="EN-US">Association
for Symbolic Logic</span></a></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>