<span style="font-family:arial, sans-serif;font-size:13px;border-collapse:collapse"><div><span style="font-family:Arial, Helvetica, sans-serif;font-size:medium"><div><b><i><font size="+2">WoLLIC 2011<br>18^{<span style="font-size:x-small">th</span>} Workshop on Logic, Language, Information and Computation </font></i></b><br>

<b><font size="+2">May 18^{<span style="font-size:x-small">th</span>} to 21^{<span style="font-size:x-small">st</span>}, 2011<br></font></b><div><p><b><font size="+1">University of Pennsylvania<br>Philadelphia, USA</font></b></p>

<p></p><p><b>Scientific Sponsorship</b> </p></div><div><i>Interest Group in Pure and Applied Logics (<a href="http://www.cin.ufpe.br/~igpl/" target="_blank"><font color="#000000">IGPL</font></a>)</i> <br></div><i>The Association for Logic, Language and Information (<a href="http://www.folli.org/" target="_blank"><font color="#000000">FoLLI</font></a>)</i> <div>

<i>Association for Symbolic Logic (<a href="http://www.aslonline.org/" target="_blank"><font color="#000000">ASL</font></a>)</i> <br></div><div><i>European Association for Theoretical Computer Science (<a href="http://www.eatcs.org/" target="_blank"><font color="#000000">EATCS</font></a>)</i> <br>

</div><i>Sociedade Brasileira de Computação (<a href="http://www.sbc.org.br/" target="_blank"><font color="#000000">SBC</font></a>)</i> <br><i>Sociedade Brasileira de Lógica (<a href="http://www.cle.unicamp.br/sbl/" target="_blank"><font color="#000000">SBL</font></a>)</i><p>

</p><p><b>Organisation</b> <br><i><font face="Arial,Helvetica,Sans-Serif"><font color="#000000"><a href="http://www.math.upenn.edu" target="_blank">Department of Mathematics</a>, <a href="http://www.upenn.edu/" target="_blank">University of Pennsylvania</a></font>, USA<br>

<a href="http://www.cin.ufpe.br/" target="_blank"><font color="#000000">Centro de Informática</font></a>, <a href="http://www.ufpe.br/" target="_blank"><font color="#000000">Universidade Federal de Pernambuco</font></a>, Brazil </font></i><font face="Arial,Helvetica,Sans-Serif"><br>

</font></p></div><font face="Arial,Helvetica,Sans-Serif"><p></p><hr><h1>Call for Papers</h1><a href="http://wollic.org/" target="_blank"><font color="#000000">WoLLIC</font></a> 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 eighteenth WoLLIC will be held at the University of Pennsylvania, Philadelphia, USA, from May 18th to 21st, 2011. It is sponsored by the <a href="http://www.aslonline.org/" target="_blank"><font color="#000000">Association for Symbolic Logic</font></a> (ASL), the <a href="http://www.cin.ufpe.br/~igpl" target="_blank"><font color="#000000">Interest Group in Pure and Applied Logics</font></a> (IGPL), the <a href="http://www.folli.org/" target="_blank"><font color="#000000">The Association for Logic, Language and Information</font></a> (FoLLI), the <a href="http://www.eatcs.org/" target="_blank"><font color="#000000">European Association for Theoretical Computer Science</font></a> (EATCS), the <a href="http://www.sbc.org.br/" target="_blank"><font color="#000000">Sociedade Brasileira de Computação</font></a> (SBC), and the <a href="http://www.cle.unicamp.br/sbl/" target="_blank"><font color="#000000">Sociedade Brasileira de Lógica</font></a> (SBL).<div>

<p><b>Special Event</b><br><span style="font-family:arial, sans-serif;font-size:13px"><span style="font-family:Arial, Helvetica, sans-serif;font-size:medium">(tba)</span></span></p><p><span style="font-family:arial, sans-serif;font-size:13px"><span style="font-family:Arial, Helvetica, sans-serif;font-size:medium"></span></span><b>Paper submission</b></p>

<p>Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. They must not exceed 10 pages (in font 10 or higher), with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors. Papers must be submitted electronically at the WoLLIC 2011 EasyChair website. (Please go to <a href="http://wollic.org/wollic2011/instructions.html" target="_blank"><font color="#000000">http://wollic.org/wollic2011/instructions.html</font></a> for instructions.) A title and single-paragraph abstract should be submitted by January 1st, and the full paper by January 8 (firm date). Notifications are expected by February 21, and final papers for the proceedings will be due by March 1 (firm date).</p>

</div><div><p><b>Proceedings</b><br>The proceedings of WoLLIC 2011, including both invited and contributed papers, will be published in advance of the meeting as a volume in Springer's <a href="http://www.springer.com/lncs" target="_blank"><font color="#000000">LNCS</font></a> series. In addition, abstracts will be published in the Conference Report section of the <em>Logic Journal of the IGPL</em>, and selected contributions will be published as a special post-conference WoLLIC 2011 issue of a scientific journal (soon to be announced).</p>

</div><div><p><b>Invited Speakers</b></p><p>(tba)</p><p><b>Student Grants</b><br>ASL sponsorship of WoLLIC 2011 will permit ASL student members to apply for a modest travel grant. See <a href="http://www.aslonline.org/studenttravelawards.html" target="_blank"><font color="#000000">http://www.aslonline.org/studenttravelawards.html</font></a> for details.</p>

<p><b>Important Dates</b></p></div></font></span></div></span><blockquote style="margin-top:0px;margin-right:0px;margin-bottom:0px;margin-left:40px;border-top-style:none;border-right-style:none;border-bottom-style:none;border-left-style:none;border-width:initial;border-color:initial;padding-top:0px;padding-right:0px;padding-bottom:0px;padding-left:0px">

<span style="font-family:arial, sans-serif;font-size:13px;border-collapse:collapse"><div><span style="font-family:Arial, Helvetica, sans-serif;font-size:medium"><font face="Arial,Helvetica,Sans-Serif"><div><p>
January 1, 2011: Paper title and abstract deadline</p><p>January 8, 2011: Full paper deadline (firm)</p><p>February 21, 2011: Author notification</p><p>March 1, 2011: Final version deadline (firm)</p></div></font></span></div>

</span></blockquote><span style="font-family:arial, sans-serif;font-size:13px;border-collapse:collapse"><div><span style="font-family:Arial, Helvetica, sans-serif;font-size:medium"><font face="Arial,Helvetica,Sans-Serif"><div>

<p><b></b></p></div></font></span></div><div><div style="color:rgb(80, 0, 80)"><div><span style="font-family:Arial, Helvetica, sans-serif;font-size:medium"><b><font color="#000000">Programme Committee</font></b></span></div>

<blockquote style="margin-top:0px;margin-right:0px;margin-bottom:0px;margin-left:40px;border-top-style:none;border-right-style:none;border-bottom-style:none;border-left-style:none;border-width:initial;border-color:initial;padding-top:0px;padding-right:0px;padding-bottom:0px;padding-left:0px">

<div><font face="Arial, Helvetica, sans-serif"><span style="font-size:medium"><font color="#000000">Krzysztof Apt</font><font color="#000000"> (Amsterdam) (tbc)</font></span></font></div><div><font face="Arial, Helvetica, sans-serif"><span style="font-size:medium"><a href="http://web.cs.gc.cuny.edu/~sartemov/" target="_blank"><font color="#000000">Sergei Artemov</font></a><font color="#000000"> (New York)</font></span></font></div>

<div><font face="Arial, Helvetica, sans-serif"><span style="font-size:medium"><a href="http://www.andrew.cmu.edu/user/avigad/" target="_blank"><font color="#000000">Jeremy Avigad</font></a><font color="#000000"> (Pittsburgh)</font></span></font></div>

<div><font face="Arial, Helvetica, sans-serif"><span style="font-size:medium"><a href="http://www.cs.swan.ac.uk/~csarnold/" target="_blank"><font color="#000000">Arnold Beckman</font></a><font color="#000000"> (Swansea)</font></span></font></div>

<span style="font-family:Arial, Helvetica, sans-serif;font-size:medium"><a href="http://www.mi.ras.ru/~bekl/" target="_blank"><font color="#000000">Lev </font><span style="background-color:rgb(255, 255, 204)"><font color="#000000">Beklemishev</font></span></a><font color="#000000"> (Moscow) (CHAIR)<br>

</font></span><div><font face="Arial, Helvetica, sans-serif"><span style="font-size:medium"><font color="#000000"><a href="http://www.dm.unipi.it/~berardu/" target="_blank">Alessandro Berarducci</a> (Pisa)</font></span></font></div>

<div><font face="Arial, Helvetica, sans-serif"><span style="font-size:medium"><font color="#000000"><a href="http://www.math.lsa.umich.edu/~ablass/" target="_blank">Andreas Blass</a></font><font color="#000000"> (Ann Arbor) (tbc)</font></span></font></div>

<div><font face="Arial, Helvetica, sans-serif"><span style="font-size:medium"><a href="http://www.math.ucsd.edu/~sbuss/" target="_blank"><font color="#000000">Sam Buss</font></a><font color="#000000"> (San Diego)</font></span></font></div>

<div><font face="Arial, Helvetica, sans-serif"><span style="font-size:medium"><font color="#000000"><a href="http://www.cs.bham.ac.uk/~axj/" target="_blank">Achim Jung</a> (Birmingham)</font></span></font></div><div><font face="Arial, Helvetica, sans-serif"><span style="font-size:medium"><a href="http://staff.science.uva.nl/~bloewe/" target="_blank"><font color="#000000">Benedikt Löwe</font></a><font color="#000000"> (Amsterdam)</font></span></font></div>

<div><font face="Arial, Helvetica, sans-serif"><span style="font-size:medium"><a href="http://www.cs.technion.ac.il/~janos/" target="_blank"><font color="#000000">Janos Makowski</font></a><font color="#000000"> (Haifa)</font></span></font></div>

<div><font face="Arial, Helvetica, sans-serif"><span style="font-size:medium"><font color="#000000"><a href="http://www.let.uu.nl/~ctl/docenten/moortgat.html" target="_blank">Michael Moortgat</a> (Utrecht)</font></span></font></div>

<div><font face="Arial, Helvetica, sans-serif"><span style="font-size:medium"><a href="http://www.dtc.umn.edu/~odlyzko/" target="_blank"><font color="#000000">Andrew Odlyzko</font></a><font color="#000000"> (Minneapolis) (tbc)</font></span></font></div>

<div><font face="Arial, Helvetica, sans-serif"><span style="font-size:medium"><a href="http://www.phil.uu.nl/~oostrom/" target="_blank"><font color="#000000">Vincent van Oostrom</font></a><font color="#000000"> (Utrecht)</font></span></font></div>

<div><font face="Arial, Helvetica, sans-serif"><span style="font-size:medium"><a href="http://www.cs.mcgill.ca/~prakash/" target="_blank"><font color="#000000">Prakash Panangaden</font></a><font color="#000000"> (Montréal)</font></span></font></div>

<div><font face="Arial, Helvetica, sans-serif"><span style="font-size:medium"><a href="http://www.sci.brooklyn.cuny.edu/cis/parikh/" target="_blank"><font color="#000000">Rohit Parikh</font></a><font color="#000000"> (New York)</font></span></font></div>

<div><font face="Arial, Helvetica, sans-serif"><span style="font-size:medium"><a href="http://www.cis.upenn.edu/~pereira/" target="_blank"><font color="#000000">Fernando Pereira</font></a><font color="#000000"> (Philadelphia) (tbc)</font></span></font></div>

<div><font face="Arial, Helvetica, sans-serif"><span style="font-size:medium"><a href="http://www.cin.ufpe.br/~ruy" target="_blank"><font color="#000000">Ruy de Queiroz</font></a><font color="#000000"> (Recife)</font></span></font></div>

<div><font face="Arial, Helvetica, sans-serif"><span style="font-size:medium"><font color="#000000"><a href="http://www.poncelet.ru/pers/shen.htm" target="_blank">Alexander Shen</a> (Marseilles and Moscow)</font></span></font></div>

<span style="font-family:Arial, Helvetica, sans-serif;font-size:medium"><a href="http://www.cs.ru.nl/~spitters/" target="_blank"><font color="#000000">Bas Spitters</font></a><font color="#000000"> (Nijmegen)</font></span><div>

<font face="Arial, Helvetica, sans-serif"><span style="font-size:medium"><font color="#000000"><a href="http://www7.in.tum.de/~veith/" target="_blank">Helmut Veith</a> (Wien)</font></span></font></div><div><font face="Arial, Helvetica, sans-serif"><span style="font-size:medium"><a href="http://staff.science.uva.nl/~yde/" target="_blank"><font color="#000000">Yde Venema</font></a><font color="#000000"> (Amsterdam) (tbc)</font></span></font></div>

<div><font face="Arial, Helvetica, sans-serif"><span style="font-size:medium"><font color="#000000"><a href="http://www.cis.upenn.edu/~weinstei/" target="_blank">Scott Weinstein</a> (Philadelphia)</font></span></font></div>

<div><font face="Arial, Helvetica, sans-serif"><span style="font-size:medium"><font color="#000000"><a href="http://www.csc.liv.ac.uk/~frank/" target="_blank">Frank Wolter</a> (Liverpool)</font></span></font></div></blockquote>

<div><span style="font-family:Arial, Helvetica, sans-serif;font-size:medium"><b><font color="#000000"><br></font></b></span></div><div><span style="font-family:Arial, Helvetica, sans-serif;font-size:medium"><b><font color="#000000">Organising Committee</font></b></span></div>

<blockquote style="margin-top:0px;margin-right:0px;margin-bottom:0px;margin-left:40px;border-top-style:none;border-right-style:none;border-bottom-style:none;border-left-style:none;border-width:initial;border-color:initial;padding-top:0px;padding-right:0px;padding-bottom:0px;padding-left:0px">

<div><span style="font-family:Arial, Helvetica, sans-serif;font-size:medium"><a href="http://www.math.upenn.edu/~vnigam/" target="_blank"><font color="#000000">Vivek Nigam</font></a><font color="#000000"> (UPenn)</font></span></div>

<div><span style="font-family:Arial, Helvetica, sans-serif;font-size:medium"><a href="http://www.cin.ufpe.br/~ago" target="_blank"><font color="#000000">Anjolina de Oliveira</font></a><font color="#000000"> (U Fed Pernambuco)</font></span></div>

<div><span style="font-family:Arial, Helvetica, sans-serif;font-size:medium"><a href="http://www.cin.ufpe.br/~ruy" target="_blank"><font color="#000000">Ruy de Queiroz</font></a><font color="#000000"> (U Fed Pernambuco) (co-chair)</font></span></div>

<div><font face="Arial, Helvetica, sans-serif"><span style="font-size:medium"><a href="http://www.cis.upenn.edu/~scedrov/" target="_blank"><font color="#000000">Andre </font><span style="background-color:rgb(255, 255, 204)"><font color="#000000">Scedrov</font></span></a><font color="#000000"> (UPenn) (co-chair)</font></span></font></div>

</blockquote><div style="color:rgb(80, 0, 80)"><div><font face="Arial, Helvetica, sans-serif"><span style="font-size:medium"><b><span style="font-weight:normal"><font color="#000000"><br></font></span></b></span></font></div>

<div><span style="font-family:Arial, Helvetica, sans-serif;font-size:medium"><b><font color="#000000">Steering Committee</font></b></span></div><blockquote style="margin-top:0px;margin-right:0px;margin-bottom:0px;margin-left:40px;border-top-style:none;border-right-style:none;border-bottom-style:none;border-left-style:none;border-width:initial;border-color:initial;padding-top:0px;padding-right:0px;padding-bottom:0px;padding-left:0px">

<div><span style="font-family:Arial, Helvetica, sans-serif;font-size:medium"><font color="#000000">Samson Abramksy, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Daniel Leivant, Angus Macintyre, Grigori Mints, Hiroakira Ono, Ruy de Queiroz.</font></span></div>

</blockquote><div><span style="font-family:Arial, Helvetica, sans-serif;font-size:medium"><font color="#000000"><br></font></span></div><div><span style="font-family:Arial, Helvetica, sans-serif;font-size:medium"><b><span style="font-weight:normal"><p style="display:inline !important">

<b><font color="#000000">Further information</font></b></p></span></b></span></div><div><span style="font-family:Arial, Helvetica, sans-serif;font-size:medium"><b><span style="font-weight:normal"><p><font color="#000000">Contact one of the Co-Chairs of the Organising Committee.</font></p>

<p><b><font color="#000000">Web page</font></b><font color="#000000"><br></font><a href="http://wollic.org/wollic2011/" target="_blank"><font color="#000000">http://wollic.org/wollic2011/ </font></a></p></span></b></span></div>

</div></div></div></span>