<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;
line-height:normal;mso-outline-level:1"><b><span lang="EN-US" style="font-size:
24.0pt;font-family:"Arial","sans-serif";font-variant:small-caps;color:black;
mso-font-kerning:18.0pt;mso-ansi-language:EN-US;mso-fareast-language:RU">WoLLIC
2011</span></b></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;
line-height:normal;mso-outline-level:1"><b><span lang="EN-US" style="font-size:
24.0pt;font-family:"Arial","sans-serif";color:black;mso-font-kerning:18.0pt;
mso-ansi-language:EN-US;mso-fareast-language:RU">Call for <span style="font-variant:small-caps">Short Presentations and </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/"><b style="mso-bidi-font-weight:
normal"><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;
font-family:"Arial","sans-serif";mso-ansi-language:EN-US;mso-fareast-language:
RU">WoLLIC</span></b></a></span><b style="mso-bidi-font-weight:normal"><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
color:black;mso-ansi-language:EN-US;mso-fareast-language:RU"> </span></b><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
color:black;mso-ansi-language:EN-US;mso-fareast-language:RU">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 20th, 2011<span style="font-variant:small-caps">.</span></span><span lang="EN-US" style="font-size:13.5pt;font-family:"Times New Roman","serif";
mso-ansi-language:EN-US;mso-fareast-language:RU"></span></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;margin-bottom:0cm;margin-bottom:
.0001pt;line-height:normal"><b><span lang="EN-US" style="font-size:13.5pt;
font-family:"Arial","sans-serif";color:black;mso-ansi-language:EN-US;
mso-fareast-language:RU">Invited Speakers</span></b><span lang="EN-US" style="font-size:13.5pt;font-family:"Arial","sans-serif";color:black;
mso-ansi-language:EN-US;mso-fareast-language:RU"></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="RU"><a href="http://www.cis.upenn.edu/~alur/"><b><span lang="EN-US" style="font-size:
13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";mso-ansi-language:
EN-US;mso-fareast-language:RU">Rajeev Alur</span></b></a></span><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
color:black;mso-ansi-language:EN-US;mso-fareast-language:RU"> </span><span lang="EN-US" style="font-size:13.5pt;font-family:"Arial","sans-serif";color:black;
mso-ansi-language:EN-US;mso-fareast-language:RU">(Philadelphia)</span><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
color:black;mso-ansi-language:EN-US;mso-fareast-language:RU"> </span><span lang="EN-US" style="font-size:13.5pt;font-family:"Arial","sans-serif";color:black;
mso-ansi-language:EN-US;mso-fareast-language:RU"><br>
</span><span lang="RU"><a href="http://www.phil.uu.nl/~iemhoff/eigen.html"><b><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
mso-ansi-language:EN-US;mso-fareast-language:RU">Rosalie Iemhoff</span></b></a></span><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
color:black;mso-ansi-language:EN-US;mso-fareast-language:RU"> </span><span lang="EN-US" style="font-size:13.5pt;font-family:"Arial","sans-serif";color:black;
mso-ansi-language:EN-US;mso-fareast-language:RU">(Utrecht)</span><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
color:black;mso-ansi-language:EN-US;mso-fareast-language:RU"> </span><span lang="EN-US" style="font-size:13.5pt;font-family:"Arial","sans-serif";color:black;
mso-ansi-language:EN-US;mso-fareast-language:RU"><br>
</span><span lang="RU"><a href="http://theory.stanford.edu/people/jcm/"><b><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
mso-ansi-language:EN-US;mso-fareast-language:RU">John Mitchell</span></b></a></span><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
color:black;mso-ansi-language:EN-US;mso-fareast-language:RU"> </span><span lang="EN-US" style="font-size:13.5pt;font-family:"Arial","sans-serif";color:black;
mso-ansi-language:EN-US;mso-fareast-language:RU">(Stanford)</span><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
color:black;mso-ansi-language:EN-US;mso-fareast-language:RU"> </span><span lang="EN-US" style="font-size:13.5pt;font-family:"Arial","sans-serif";color:black;
mso-ansi-language:EN-US;mso-fareast-language:RU"><br>
</span><span lang="RU"><a href="http://www.math.ias.edu/~vladimir/Site3/home.html"><b><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
mso-ansi-language:EN-US;mso-fareast-language:RU">Vladimir Voevodsky</span></b></a></span><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
color:black;mso-ansi-language:EN-US;mso-fareast-language:RU"> </span><span lang="EN-US" style="font-size:13.5pt;font-family:"Arial","sans-serif";color:black;
mso-ansi-language:EN-US;mso-fareast-language:RU">(Princeton)</span><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
color:black;mso-ansi-language:EN-US;mso-fareast-language:RU"> </span><span lang="EN-US" style="font-size:13.5pt;font-family:"Arial","sans-serif";color:black;
mso-ansi-language:EN-US;mso-fareast-language:RU"><br>
</span><span lang="RU"><a href="http://www.phil.uu.nl/~yoad/"><b><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
mso-ansi-language:EN-US;mso-fareast-language:RU">Yoad Winter</span></b></a></span><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
color:black;mso-ansi-language:EN-US;mso-fareast-language:RU"> </span><span lang="EN-US" style="font-size:13.5pt;font-family:"Arial","sans-serif";color:black;
mso-ansi-language:EN-US;mso-fareast-language:RU">(Utrecht)</span><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
color:black;mso-ansi-language:EN-US;mso-fareast-language:RU"> </span><span lang="EN-US" style="font-size:13.5pt;font-family:"Arial","sans-serif";color:black;
mso-ansi-language:EN-US;mso-fareast-language:RU"><br>
</span><span lang="RU"><a href="http://www.dcs.bbk.ac.uk/~michael/"><b><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
mso-ansi-language:EN-US;mso-fareast-language:RU">Michael Zakharyaschev</span></b></a></span><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
color:black;mso-ansi-language:EN-US;mso-fareast-language:RU"> </span><span lang="EN-US" style="font-size:13.5pt;font-family:"Arial","sans-serif";color:black;
mso-ansi-language:EN-US;mso-fareast-language:RU">(London)<span style="font-variant:small-caps"></span></span></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;margin-bottom:0cm;margin-bottom:
.0001pt;line-height:normal"><b style="mso-bidi-font-weight:normal"><span lang="EN-US" style="font-size:13.5pt;font-family:"Arial","sans-serif";font-variant:
small-caps;color:black;mso-ansi-language:EN-US;mso-fareast-language:RU">P</span></b><b style="mso-bidi-font-weight:normal"><span lang="EN-US" style="font-size:13.5pt;
font-family:"Arial","sans-serif";color:black;mso-ansi-language:EN-US;
mso-fareast-language:RU">roceedings</span></b><span lang="EN-US" style="font-size:13.5pt;font-family:"Arial","sans-serif";color:black;
mso-ansi-language:EN-US;mso-fareast-language:RU"> of WoLLIC 2011, including
both invited and contributed papers, will be published<span style="font-variant:
small-caps"> </span></span><span lang="EN-US" style="font-size:14.0pt;mso-bidi-font-size:
12.0pt;font-family:"Arial","sans-serif";mso-ansi-language:EN-US">in advance of
the meeting as</span><span lang="EN-US" style="font-size:16.0pt;mso-bidi-font-size:
13.5pt;font-family:"Arial","sans-serif";font-variant:small-caps;color:black;
mso-ansi-language:EN-US;mso-fareast-language:RU"> </span><span lang="EN-US" style="font-size:13.5pt;font-family:"Arial","sans-serif";color:black;
mso-ansi-language:EN-US;mso-fareast-language:RU">volume <span style="font-variant:
small-caps">6642 </span>in Springer's</span><span lang="EN-US" style="font-size:
13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";color:black;
mso-ansi-language:EN-US;mso-fareast-language:RU"> </span><span lang="RU"><a href="http://www.springer.com/lncs"><span lang="EN-US" style="font-size:13.5pt;
mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";mso-ansi-language:
EN-US;mso-fareast-language:RU">LNCS</span></a></span><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
color:black;mso-ansi-language:EN-US;mso-fareast-language:RU"> </span><span lang="EN-US" style="font-size:13.5pt;font-family:"Arial","sans-serif";color:black;
mso-ansi-language:EN-US;mso-fareast-language:RU">series. </span><span lang="EN-US" style="font-size:14.0pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
mso-ansi-language:EN-US">The list of contributed papers can be found here:</span><span lang="EN-US" style="font-size:13.5pt;font-family:"Arial","sans-serif";font-variant:
small-caps;color:black;mso-ansi-language:EN-US;mso-fareast-language:RU"> </span><span lang="RU"><a href="http://wollic.org/wollic2011/programme.html"><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
mso-ansi-language:EN-US;mso-fareast-language:RU">http://wollic.org/wollic2011/programme.html</span></a></span><span lang="EN-US" style="font-size:13.5pt;font-family:"Arial","sans-serif";font-variant:
small-caps;color:black;mso-ansi-language:EN-US;mso-fareast-language:RU"> </span></p>
<p class="MsoNormal" style="mso-margin-bottom-alt:auto;line-height:normal"><span lang="EN-US" style="font-size:13.5pt;font-family:"Arial","sans-serif";color:black;
mso-ansi-language:EN-US;mso-fareast-language:RU">In addition, abstracts will appear
in the Conference Report section of the</span><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
color:black;mso-ansi-language:EN-US;mso-fareast-language:RU"> <i>Logic
Journal of the IGPL</i></span><span lang="EN-US" style="font-size:13.5pt;
font-family:"Arial","sans-serif";color:black;mso-ansi-language:EN-US;
mso-fareast-language:RU">, and selected contributions will be published as a
special post-conference WoLLIC 2011 issue of the</span><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
color:black;mso-ansi-language:EN-US;mso-fareast-language:RU"> </span><span lang="RU"><a href="http://www.elsevier.com/locate/jcss"><i><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
mso-ansi-language:EN-US;mso-fareast-language:RU">Journal of Computer and System
Sciences</span></i></a></span><span lang="EN-US" style="font-size:13.5pt;
font-family:"Arial","sans-serif";color:black;mso-ansi-language:EN-US;
mso-fareast-language:RU">.</span></p>
<p class="1"><a name="pc"><b style="mso-bidi-font-weight:normal"><span lang="EN-US">Short
presentations </span></b></a></p>
<p class="1"><span style="mso-bookmark:pc"><span lang="EN-US">In addition to the
regular papers, WoLLIC 2011 program will include a short presentation session
consisting of 20 minutes talks. These talks can report on work in progress,
etc.</span></span></p>
<p class="1"><span style="mso-bookmark:pc"><span lang="EN-US">The organizers of the
short presentation session are Lev Beklemishev and Andre Scedrov. Abstracts of
5 to 10 pages should be sent to the conference address <</span></span><span style="mso-bookmark:pc"><span lang="EN-US" style="color:#0070C0"><a href="mailto:wollic2011@easychair.org">wollic2011@easychair.org</a></span><span lang="EN-US">> by April 1, 2011. They will be subject to light reviewing.
Accepted presentations will be distributed as a conference booklet. Authors
will be notified by April 6. </span></span></p>
<p class="1"><span style="mso-bookmark:pc"><b style="mso-bidi-font-weight:normal"><span lang="EN-US">Registration</span></b><span lang="EN-US"> </span></span></p>
<p class="1"><span style="mso-bookmark:pc"><span lang="EN-US">Early registration
deadline is April 8, late registration deadline is May 8, see </span></span><a href="http://wollic.org/wollic2011/registration.html"><span style="mso-bookmark:
pc"><span lang="EN-US" style="font-size:14.0pt;mso-bidi-font-size:13.5pt">http://wollic.org/wollic2011/registration.html</span></span><span style="mso-bookmark:pc"></span></a><span style="mso-bookmark:pc"><span lang="EN-US"></span></span></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;
line-height:normal"><span style="mso-bookmark:pc"><b><span lang="EN-US" style="font-size:13.5pt;font-family:"Arial","sans-serif";color:black;
mso-ansi-language:EN-US;mso-fareast-language:RU">Programme Committee</span></b></span><span style="mso-bookmark:pc"><span lang="EN-US" style="font-size:13.5pt;font-family:
"Arial","sans-serif";color:black;mso-ansi-language:EN-US;mso-fareast-language:
RU"></span></span></p>
<span style="mso-bookmark:pc"></span>
<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;font-family:"Arial","sans-serif";color:black;
mso-ansi-language:EN-US;mso-fareast-language:RU"><a href="http://web.cs.gc.cuny.edu/~sartemov/"><span style="mso-bidi-font-size:
12.0pt;mso-bidi-font-family:Arial">Sergei Artemov</span></a></span><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
color:black;mso-ansi-language:EN-US;mso-fareast-language:RU"> </span><span lang="EN-US" style="font-size:13.5pt;font-family:"Arial","sans-serif";color:black;
mso-ansi-language:EN-US;mso-fareast-language:RU">(New York)<br>
</span><span lang="RU"><a href="http://www.andrew.cmu.edu/user/avigad/"><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
mso-ansi-language:EN-US;mso-fareast-language:RU">Jeremy Avigad</span></a></span><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
color:black;mso-ansi-language:EN-US;mso-fareast-language:RU"> </span><span lang="EN-US" style="font-size:13.5pt;font-family:"Arial","sans-serif";color:black;
mso-ansi-language:EN-US;mso-fareast-language:RU">(Pittsburgh)<br>
</span><span lang="RU"><a href="http://www.cs.swan.ac.uk/~csarnold/"><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
mso-ansi-language:EN-US;mso-fareast-language:RU">Arnold Beckman</span></a></span><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
color:black;mso-ansi-language:EN-US;mso-fareast-language:RU"> </span><span lang="EN-US" style="font-size:13.5pt;font-family:"Arial","sans-serif";color:black;
mso-ansi-language:EN-US;mso-fareast-language:RU">(Swansea)<br>
</span><span lang="RU"><a href="http://www.mi.ras.ru/~bekl/"><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
mso-ansi-language:EN-US;mso-fareast-language:RU">Lev Beklemishev</span></a></span><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
color:black;mso-ansi-language:EN-US;mso-fareast-language:RU"> </span><span lang="EN-US" style="font-size:13.5pt;font-family:"Arial","sans-serif";color:black;
mso-ansi-language:EN-US;mso-fareast-language:RU">(Moscow) (CHAIR)<br>
</span><span lang="RU"><a href="http://www.dm.unipi.it/~berardu/"><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
mso-ansi-language:EN-US;mso-fareast-language:RU">Alessandro Berarducci</span></a></span><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
color:black;mso-ansi-language:EN-US;mso-fareast-language:RU"> </span><span lang="EN-US" style="font-size:13.5pt;font-family:"Arial","sans-serif";color:black;
mso-ansi-language:EN-US;mso-fareast-language:RU">(Pisa)<br>
</span><span lang="RU"><a href="http://www.math.ucsd.edu/~sbuss/"><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
mso-ansi-language:EN-US;mso-fareast-language:RU">Sam Buss</span></a></span><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
color:black;mso-ansi-language:EN-US;mso-fareast-language:RU"> </span><span lang="EN-US" style="font-size:13.5pt;font-family:"Arial","sans-serif";color:black;
mso-ansi-language:EN-US;mso-fareast-language:RU">(San Diego)<br>
</span><span lang="RU"><a href="http://www.cs.bham.ac.uk/~axj/"><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
mso-ansi-language:EN-US;mso-fareast-language:RU">Achim Jung</span></a></span><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
color:black;mso-ansi-language:EN-US;mso-fareast-language:RU"> </span><span lang="EN-US" style="font-size:13.5pt;font-family:"Arial","sans-serif";color:black;
mso-ansi-language:EN-US;mso-fareast-language:RU">(Birmingham)<br>
</span><span lang="RU"><a href="http://staff.science.uva.nl/~bloewe/"><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
mso-ansi-language:EN-US;mso-fareast-language:RU">Benedikt Löwe</span></a></span><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
color:black;mso-ansi-language:EN-US;mso-fareast-language:RU"> </span><span lang="EN-US" style="font-size:13.5pt;font-family:"Arial","sans-serif";color:black;
mso-ansi-language:EN-US;mso-fareast-language:RU">(Amsterdam)<br>
</span><span lang="RU"><a href="http://www.cs.technion.ac.il/~janos/"><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
mso-ansi-language:EN-US;mso-fareast-language:RU">Janos Makowsky</span></a></span><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
color:black;mso-ansi-language:EN-US;mso-fareast-language:RU"> </span><span lang="EN-US" style="font-size:13.5pt;font-family:"Arial","sans-serif";color:black;
mso-ansi-language:EN-US;mso-fareast-language:RU">(Haifa)<br>
</span><span lang="RU"><a href="http://www.let.uu.nl/~ctl/docenten/moortgat.html"><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
mso-ansi-language:EN-US;mso-fareast-language:RU">Michael Moortgat</span></a></span><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
color:black;mso-ansi-language:EN-US;mso-fareast-language:RU"> </span><span lang="EN-US" style="font-size:13.5pt;font-family:"Arial","sans-serif";color:black;
mso-ansi-language:EN-US;mso-fareast-language:RU">(Utrecht)<br>
</span><span lang="RU"><a href="http://www.phil.uu.nl/~oostrom/"><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
mso-ansi-language:EN-US;mso-fareast-language:RU">Vincent van Oostrom</span></a></span><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
color:black;mso-ansi-language:EN-US;mso-fareast-language:RU"> </span><span lang="EN-US" style="font-size:13.5pt;font-family:"Arial","sans-serif";color:black;
mso-ansi-language:EN-US;mso-fareast-language:RU">(Utrecht)<br>
</span><span lang="RU"><a href="http://www.cs.mcgill.ca/~prakash/"><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
mso-ansi-language:EN-US;mso-fareast-language:RU">Prakash Panangaden</span></a></span><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
color:black;mso-ansi-language:EN-US;mso-fareast-language:RU"> </span><span lang="EN-US" style="font-size:13.5pt;font-family:"Arial","sans-serif";color:black;
mso-ansi-language:EN-US;mso-fareast-language:RU">(Montréal)<br>
</span><span lang="RU"><a href="http://www.sci.brooklyn.cuny.edu/cis/parikh/"><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
mso-ansi-language:EN-US;mso-fareast-language:RU">Rohit Parikh</span></a></span><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
color:black;mso-ansi-language:EN-US;mso-fareast-language:RU"> </span><span lang="EN-US" style="font-size:13.5pt;font-family:"Arial","sans-serif";color:black;
mso-ansi-language:EN-US;mso-fareast-language:RU">(New York)<br>
</span><span lang="RU"><a href="http://www.cin.ufpe.br/~ruy"><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
mso-ansi-language:EN-US;mso-fareast-language:RU">Ruy de Queiroz</span></a></span><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
color:black;mso-ansi-language:EN-US;mso-fareast-language:RU"> </span><span lang="EN-US" style="font-size:13.5pt;font-family:"Arial","sans-serif";color:black;
mso-ansi-language:EN-US;mso-fareast-language:RU">(Recife)<br>
</span><span lang="RU"><a href="http://www.poncelet.ru/pers/shen.htm"><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
mso-ansi-language:EN-US;mso-fareast-language:RU">Alexander Shen</span></a></span><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
color:black;mso-ansi-language:EN-US;mso-fareast-language:RU"> </span><span lang="EN-US" style="font-size:13.5pt;font-family:"Arial","sans-serif";color:black;
mso-ansi-language:EN-US;mso-fareast-language:RU">(Marseilles and Moscow)<br>
</span><span lang="RU"><a href="http://www.cs.ru.nl/~spitters/"><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
mso-ansi-language:EN-US;mso-fareast-language:RU">Bas Spitters</span></a></span><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
color:black;mso-ansi-language:EN-US;mso-fareast-language:RU"> </span><span lang="EN-US" style="font-size:13.5pt;font-family:"Arial","sans-serif";color:black;
mso-ansi-language:EN-US;mso-fareast-language:RU">(Nijmegen)<br>
</span><span lang="RU"><a href="http://www7.in.tum.de/~veith/"><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
mso-ansi-language:EN-US;mso-fareast-language:RU">Helmut Veith</span></a></span><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
color:black;mso-ansi-language:EN-US;mso-fareast-language:RU"> </span><span lang="EN-US" style="font-size:13.5pt;font-family:"Arial","sans-serif";color:black;
mso-ansi-language:EN-US;mso-fareast-language:RU">(Wien)<br>
</span><span lang="RU"><a href="http://staff.science.uva.nl/~yde/"><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
mso-ansi-language:EN-US;mso-fareast-language:RU">Yde Venema</span></a></span><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
color:black;mso-ansi-language:EN-US;mso-fareast-language:RU"> </span><span lang="EN-US" style="font-size:13.5pt;font-family:"Arial","sans-serif";color:black;
mso-ansi-language:EN-US;mso-fareast-language:RU">(Amsterdam)<br>
</span><span lang="RU"><a href="http://www.cis.upenn.edu/~weinstei/"><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
mso-ansi-language:EN-US;mso-fareast-language:RU">Scott Weinstein</span></a></span><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
color:black;mso-ansi-language:EN-US;mso-fareast-language:RU"> </span><span lang="EN-US" style="font-size:13.5pt;font-family:"Arial","sans-serif";color:black;
mso-ansi-language:EN-US;mso-fareast-language:RU">(Philadelphia)<br>
</span><span lang="RU"><a href="http://www.csc.liv.ac.uk/~frank/"><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
mso-ansi-language:EN-US;mso-fareast-language:RU">Frank Wolter</span></a></span><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
color:black;mso-ansi-language:EN-US;mso-fareast-language:RU"> </span><span lang="EN-US" style="font-size:13.5pt;font-family:"Arial","sans-serif";color:black;
mso-ansi-language:EN-US;mso-fareast-language:RU">(Liverpool)</span></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;margin-bottom:0cm;margin-bottom:
.0001pt;line-height:normal"><b><span lang="EN-US" style="font-size:13.5pt;
font-family:"Arial","sans-serif";color:black;mso-ansi-language:EN-US;
mso-fareast-language:RU">Steering Committee</span></b><span lang="EN-US" style="font-size:13.5pt;font-family:"Arial","sans-serif";color:black;
mso-ansi-language:EN-US;mso-fareast-language:RU"></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;font-family:"Arial","sans-serif";color:black;
mso-ansi-language:EN-US;mso-fareast-language:RU">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="mso-margin-top-alt:auto;margin-bottom:0cm;margin-bottom:
.0001pt;line-height:normal"><b><span lang="EN-US" style="font-size:13.5pt;
font-family:"Arial","sans-serif";color:black;mso-ansi-language:EN-US;
mso-fareast-language:RU">Organising Committee</span></b><span lang="EN-US" style="font-size:13.5pt;font-family:"Arial","sans-serif";color:black;
mso-ansi-language:EN-US;mso-fareast-language:RU"></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="RU"><a href="http://www.math.upenn.edu/~vnigam/"><span lang="EN-US" style="font-size:
13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";mso-ansi-language:
EN-US;mso-fareast-language:RU">Vivek Nigam</span></a></span><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
color:black;mso-ansi-language:EN-US;mso-fareast-language:RU"> </span><span lang="EN-US" style="font-size:13.5pt;font-family:"Arial","sans-serif";color:black;
mso-ansi-language:EN-US;mso-fareast-language:RU">(U Penn)</span><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
color:black;mso-ansi-language:EN-US;mso-fareast-language:RU"> </span><span lang="EN-US" style="font-size:13.5pt;font-family:"Arial","sans-serif";color:black;
mso-ansi-language:EN-US;mso-fareast-language:RU"><br>
</span><span lang="RU"><a href="http://www.cin.ufpe.br/~ago"><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
mso-ansi-language:EN-US;mso-fareast-language:RU">Anjolina G. de Oliveira</span></a></span><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
color:black;mso-ansi-language:EN-US;mso-fareast-language:RU"> </span><span lang="EN-US" style="font-size:13.5pt;font-family:"Arial","sans-serif";color:black;
mso-ansi-language:EN-US;mso-fareast-language:RU">(U Fed Pernambuco)</span><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
color:black;mso-ansi-language:EN-US;mso-fareast-language:RU"> </span><span lang="EN-US" style="font-size:13.5pt;font-family:"Arial","sans-serif";color:black;
mso-ansi-language:EN-US;mso-fareast-language:RU"><br>
</span><span lang="RU"><a href="http://www.cin.ufpe.br/~ruy"><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
mso-ansi-language:EN-US;mso-fareast-language:RU">Ruy de Queiroz</span></a></span><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
color:black;mso-ansi-language:EN-US;mso-fareast-language:RU"> </span><span lang="EN-US" style="font-size:13.5pt;font-family:"Arial","sans-serif";color:black;
mso-ansi-language:EN-US;mso-fareast-language:RU">(U Fed Pernambuco) (co-chair)</span><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
color:black;mso-ansi-language:EN-US;mso-fareast-language:RU"> </span><span lang="EN-US" style="font-size:13.5pt;font-family:"Arial","sans-serif";color:black;
mso-ansi-language:EN-US;mso-fareast-language:RU"><br>
</span><span lang="RU"><a href="http://www.cis.upenn.edu/~scedrov/"><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
mso-ansi-language:EN-US;mso-fareast-language:RU">Andre Scedrov</span></a></span><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
color:black;mso-ansi-language:EN-US;mso-fareast-language:RU"> </span><span lang="EN-US" style="font-size:13.5pt;font-family:"Arial","sans-serif";color:black;
mso-ansi-language:EN-US;mso-fareast-language:RU">(U Penn) (co-chair)</span></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;
line-height:normal"><b><span lang="EN-US" style="font-size:13.5pt;font-family:
"Arial","sans-serif";color:black;mso-ansi-language:EN-US;mso-fareast-language:
RU">Further information</span></b><span lang="EN-US" style="font-size:13.5pt;
font-family:"Arial","sans-serif";color:black;mso-ansi-language:EN-US;
mso-fareast-language:RU"><br>
Contact one of the Co-Chairs of the Organising Committee.</span></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;
line-height:normal"><b><span lang="EN-US" style="font-size:13.5pt;font-family:
"Arial","sans-serif";color:black;mso-ansi-language:EN-US;mso-fareast-language:
RU">Web page</span></b><span lang="EN-US" style="font-size:13.5pt;font-family:
"Arial","sans-serif";color:black;mso-ansi-language:EN-US;mso-fareast-language:
RU"> </span><span lang="RU"><a href="http://wollic.org/wollic2011/"><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
mso-ansi-language:EN-US;mso-fareast-language:RU">http://wollic.org/wollic2011/</span></a></span><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
color:black;mso-ansi-language:EN-US;mso-fareast-language:RU"> </span><span lang="EN-US" style="font-size:13.5pt;font-family:"Arial","sans-serif";color:black;
mso-ansi-language:EN-US;mso-fareast-language:RU"></span></p>
<p class="MsoNormal" style="margin-bottom:0cm;margin-bottom:.0001pt;line-height:
normal"><b style="mso-bidi-font-weight:normal"><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
font-variant:small-caps;color:black;mso-ansi-language:EN-US;mso-fareast-language:
RU">S</span></b><b style="mso-bidi-font-weight:normal"><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
color:black;mso-ansi-language:EN-US;mso-fareast-language:RU">ponsor<span style="font-variant:small-caps">s</span></span></b><span lang="EN-US" style="font-size:13.5pt;mso-bidi-font-size:12.0pt;font-family:"Arial","sans-serif";
color:black;mso-ansi-language:EN-US;mso-fareast-language:RU"> <span style="font-variant:small-caps"></span></span></p>
<p class="MsoNormal"><span lang="RU"><a href="http://www.aslonline.org/"><span lang="EN-US" style="mso-ansi-language:EN-US;mso-fareast-language:RU">Association
for Symbolic Logic</span></a></span><span lang="EN-US" style="mso-ansi-language:
EN-US;mso-fareast-language:RU"> (ASL), the </span><span lang="RU"><a href="http://www.cin.ufpe.br/~igpl"><span lang="EN-US" style="mso-ansi-language:
EN-US;mso-fareast-language:RU">Interest Group in Pure and Applied Logics</span></a></span><span lang="EN-US" style="mso-ansi-language:EN-US;mso-fareast-language:RU"> (IGPL),
</span><span lang="RU"><a href="http://www.folli.org/"><span lang="EN-US" style="mso-ansi-language:EN-US;mso-fareast-language:RU">The Association for
Logic, Language and Information</span></a></span><span lang="EN-US" style="mso-ansi-language:EN-US;mso-fareast-language:RU"> (FoLLI),
the </span><span lang="RU"><a href="http://www.eatcs.org/"><span lang="EN-US" style="mso-ansi-language:EN-US;mso-fareast-language:RU">European Association
for Theoretical Computer Science</span></a></span><span lang="EN-US" style="mso-ansi-language:EN-US;mso-fareast-language:RU"> (EATCS),
the </span><span lang="RU"><a href="http://www.eacsl.org/"><span lang="EN-US" style="mso-ansi-language:EN-US;mso-fareast-language:RU">European Association
for Computer Science Logic</span></a></span><span lang="EN-US" style="mso-ansi-language:
EN-US;mso-fareast-language:RU"> (EACSL), the </span><span lang="RU"><a href="http://www.sbc.org.br/"><span lang="EN-US" style="mso-ansi-language:EN-US;
mso-fareast-language:RU">Sociedade Brasileira de Computação</span></a></span><span lang="EN-US" style="mso-ansi-language:EN-US;mso-fareast-language:RU"> (SBC),
and the </span><span lang="RU"><a href="http://www.cle.unicamp.br/sbl/"><span lang="EN-US" style="mso-ansi-language:EN-US;mso-fareast-language:RU">Sociedade
Brasileira de Lógica</span></a></span><span lang="EN-US" style="mso-ansi-language:
EN-US;mso-fareast-language:RU"> (SBL).</span><span lang="EN-US" style="mso-bidi-font-size:13.5pt;line-height:115%;font-family:"Times New Roman","serif";
mso-ansi-language:EN-US;mso-fareast-language:RU"></span></p>