<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta content="text/html;charset=ISO-8859-1" http-equiv="Content-Type">
</head>
<body bgcolor="#ffffff" text="#000000">
<span class="Apple-style-span"
style="border-collapse: separate; color: rgb(0, 0, 0); font-family: 'times new roman'; font-size: 16px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px;"><span
class="Apple-style-span" style="font-family: Arial;"><small><font
size="+2"><small>(please circulate; apologies for any cross-postings)</small></font></small><b><i><font
size="+2"><br>
<br>
WoLLIC 2010<span class="Apple-converted-space"> </span><br>
17<sup>th</sup><span class="Apple-converted-space"> </span>Workshop on
Logic, Language, Information and Computation<span
class="Apple-converted-space"> </span></font></i></b><br>
<b><font size="+2">July 6<sup>th</sup><span
class="Apple-converted-space"> </span>to 9<sup>th</sup>, 2010<br>
</font></b>
<p><b><font size="+1">Universidade de Brasília,<br>
Brasília, Brazil</font></b></p>
<p><b>Scientific Sponsorship</b><span class="Apple-converted-space"> </span><br>
<i>Interest Group in Pure and Applied Logics (<a
href="http://www.cin.ufpe.br/%7Eigpl/">IGPL</a>)</i><span
class="Apple-converted-space"> </span><br>
<i>The Association for Logic, Language and Information (<a
href="http://www.folli.org">FoLLI</a>)</i><span
class="Apple-converted-space"> </span><br>
<i>Association for Symbolic Logic (<a href="http://www.aslonline.org/">ASL</a>)</i><span
class="Apple-converted-space"> </span><br>
<i>European Association for Theoretical Computer Science (<a
href="http://www.eatcs.org">EATCS</a>)</i><span
class="Apple-converted-space"> </span><br>
<i>Sociedade Brasileira de Computação (<a href="http://www.sbc.org.br/">SBC</a>)</i><span
class="Apple-converted-space"> </span><br>
<i>Sociedade Brasileira de Lógica (<a
href="http://www.cle.unicamp.br/sbl/">SBL</a>)</i></p>
<p><b>Funding</b><span class="Apple-converted-space"> </span><br>
(tbc)<span class="Apple-converted-space"> </span><br>
</p>
<center><font size="+2"><b>Special:<span class="Apple-converted-space"> </span><br>
A screening of<span class="Apple-converted-space"> </span><a
href="http://zalafilms.com/films/halmos.html"><em>I want to be a
mathematician: A conversation with Paul Halmos</em></a></b></font></center>
<br>
<p><b>Organisation</b><span class="Apple-converted-space"> </span><br>
<i><font face="Arial,Helvetica,Sans-Serif"><a
href="http://www.mat.unb.br/">Department of Mathematics</a>,<span
class="Apple-converted-space"> </span><a href="http://www.mat.unb.br">Universidade
de Brasília</a>, Brazil<span class="Apple-converted-space"> </span><br>
<a href="http://www.cin.ufpe.br/">Centro de Informática</a>,<span
class="Apple-converted-space"> </span><a href="http://www.ufpe.br">Universidade
Federal de Pernambuco</a>, Brazil<span class="Apple-converted-space"> </span></font></i><font
face="Arial,Helvetica,Sans-Serif"><br>
</font></p>
<font face="Arial,Helvetica,Sans-Serif">
<hr>
<h1>Call for Papers</h1>
<a href="http://wollic.org">WoLLIC</a><span
class="Apple-converted-space"> </span>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
Seventeenth WoLLIC will be held in Brasília, Brazil, from July 6th to
9th, 2010. It is sponsored by the<a href="http://www.aslonline.org">Association
for Symbolic Logic</a><span class="Apple-converted-space"> </span>(ASL),
the<span class="Apple-converted-space"> </span><a
href="http://www.cin.ufpe.br/%7Eigpl">Interest Group in Pure and
Applied Logics</a><span class="Apple-converted-space"> </span>(IGPL),
the<span class="Apple-converted-space"> </span><a
href="http://www.folli.org">The Association for Logic, Language and
Information</a><span class="Apple-converted-space"> </span>(FoLLI), the<span
class="Apple-converted-space"> </span><a href="http://www.eatcs.org">European
Association for Theoretical Computer Science</a><span
class="Apple-converted-space"> </span>(EATCS), the<span
class="Apple-converted-space"> </span><a href="http://www.sbc.org.br">Sociedade
Brasileira de Computação</a><span class="Apple-converted-space"> </span>(SBC),
and the<span class="Apple-converted-space"> </span><a
href="http://www.cle.unicamp.br/sbl/">Sociedade Brasileira de Lógica</a><span
class="Apple-converted-space"> </span>(SBL).
<p><b>Special Event</b><br>
2010 will mark the 50-th anniversary of the first publication of Paul
Halmos' classic book<span class="Apple-converted-space"> </span><em>Naïve
Set Theory</em><span class="Apple-converted-space"> </span>by Springer
Verlag. WoLLIC will celebrate this by screening the documentary about
Paul Halmos which was directed by George Csicsery: "I want to be a
mathematician. A conversation with Paul Halmos"
<a class="moz-txt-link-freetext"
href="http://zalafilms.com/films/halmos.html">http://zalafilms.com/films/halmos.html</a></p>
<p><b>Paper submission</b><br>
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 2010 EasyChair website (soon to be announced). A title
and single-paragraph abstract should be submitted by February 28, and
the full paper by March 7 (firm date). Notifications are expected by
April 12, and final papers for the proceedings will be due by May 3
(firm date).</p>
<p><b>Proceedings</b><br>
The proceedings of WoLLIC 2010, including both invited and contributed
papers, will be published in advance of the meeting as a volume in
Springer's<span class="Apple-converted-space"> </span><a
href="http://www.springer.com/lncs">LNCS</a><span
class="Apple-converted-space"> </span>series (TBC). In addition,
abstracts will be published in the Conference Report section of the
Logic Journal of the IGPL, and selected contributions will be published
as a special post-conference WoLLIC 2010 issue of a scientific journal
(soon to be announced).</p>
<p><b>Invited Speakers</b><br>
(tba)<span class="Apple-converted-space"> </span><br>
</p>
<p><b>Student Grants</b><br>
ASL sponsorship of WoLLIC 2010 will permit ASL student members to apply
for a modest travel grant (deadline: April 1, 2010). See<a
href="http://www.aslonline.org/studenttravelawards.html">http://www.aslonline.org/studenttravelawards.html</a><span
class="Apple-converted-space"> </span>for details.</p>
<p><b>Important Dates</b></p>
<li>February 28, 2010: Paper title and abstract deadline</li>
<li>March 7, 2010: Full paper deadline (firm)</li>
<li>April 12, 2010: Author notification</li>
<li>May 3, 2010: Final version deadline (firm)
<p><a name="pc"><b>Programme Committee</b></a></p>
<ul>
<a href="http://www-2.dc.uba.ar/profesores/becher/"><b>Verónica
Becher</b></a><span class="Apple-converted-space"> </span>(Buenos Aires)<span
class="Apple-converted-space"> </span><br>
<a href="http://www.inf.unibz.it/%7Ebernardi/"><b>Rafaella Bernardi</b></a><span
class="Apple-converted-space"> </span>(Bolzano)<span
class="Apple-converted-space"> </span><br>
<a href="http://www.ime.usp.br/%7Ebianconi/"><b>Ricardo Bianconi</b></a><span
class="Apple-converted-space"> </span>(São Paulo)<span
class="Apple-converted-space"> </span><br>
<a href="http://cca-net.de/vasco/"><b>Vasco Brattka</b></a><span
class="Apple-converted-space"> </span>(Cape Town)<span
class="Apple-converted-space"> </span><br>
<a href="http://staff.science.uva.nl/%7Ebcate/"><b>Balder ten Cate</b></a><span
class="Apple-converted-space"> </span>(ENS, Cachan)<span
class="Apple-converted-space"> </span><br>
<a href="http://www.comlab.ox.ac.uk/people/bob.coecke/"><b>Bob
Coecke</b></a><span class="Apple-converted-space"> </span>(Oxford)<span
class="Apple-converted-space"> </span><br>
<a href="http://www.cs.stevens.edu/%7Eabc/"><b>Adriana Compagnoni</b></a><span
class="Apple-converted-space"> </span>(Stevens)<span
class="Apple-converted-space"> </span><br>
<a href="http://www.cle.unicamp.br/prof/coniglio/"><b>Marcelo
Coniglio</b></a><span class="Apple-converted-space"> </span>(Campinas)<span
class="Apple-converted-space"> </span><br>
<a href="http://www.cl.cam.ac.uk/%7Ead260/"><b>Anuj Dawar</b></a><span
class="Apple-converted-space"> </span>(Cambridge), chair<span
class="Apple-converted-space"> </span><br>
<a href="http://www2.imm.dtu.dk/%7Evfgo/"><b>Valentin Goranko</b></a><span
class="Apple-converted-space"> </span>(Copenhagen)<span
class="Apple-converted-space"> </span><br>
<a href="http://www.kurims.kyoto-u.ac.jp/%7Ehassei/"><b>Masahito
Hasegawa</b></a><span class="Apple-converted-space"> </span>(Kyoto U,
Japan)<span class="Apple-converted-space"> </span><br>
<a href="http://www.phil.uu.nl/%7Eiemhoff/eigen.html"><b>Rosalie
Iemhoff</b></a><span class="Apple-converted-space"> </span>(Utrecht)<span
class="Apple-converted-space"> </span><br>
<a href="http://research.nii.ac.jp/%7Ekanazawa/"><b>Makoto Kanazawa</b></a><span
class="Apple-converted-space"> </span>(National Institute of
Informatics, Japan)<span class="Apple-converted-space"> </span><br>
<a href="http://www.di.ens.fr/%7Elongo/"><b>Giuseppe Longo</b></a><span
class="Apple-converted-space"> </span>(CNRS & ENS, Paris)<span
class="Apple-converted-space"> </span><br>
<a href="http://www.entcs.org/mislove.html"><b>Mike Mislove</b></a><span
class="Apple-converted-space"> </span>(Tulane)<span
class="Apple-converted-space"> </span><br>
<a href="http://nicta.com.au/people/norrishm"><b>Michael Norrish</b></a><span
class="Apple-converted-space"> </span>(NICTA, Canberra)<span
class="Apple-converted-space"> </span><br>
<a href="http://www.cs.cornell.edu/selman/"><b>Bart Selman</b></a><span
class="Apple-converted-space"> </span>(Cornell)<span
class="Apple-converted-space"> </span><br>
<a href="http://www.cis.upenn.edu/%7Eweinstei/"><b>Scott Weinstein</b></a><span
class="Apple-converted-space"> </span>(Penn)
</ul>
<p><b>Organising Committee</b></p>
<ul>
<a href="http://www.mat.unb.br/%7Eayala/">Mauricio Ayala-Rincon</a><span
class="Apple-converted-space"> </span>(U Brasília, Brazil) (co-chair)<span
class="Apple-converted-space"> </span><br>
<a
href="http://www.cic.unb.br:9080/sitecic/departamento/docentes/flavio">Flávio
L. C. Moura</a><span class="Apple-converted-space"> </span>(U Brasília,
Brazil)<span class="Apple-converted-space"> </span><br>
<a
href="http://www.cic.unb.br:9080/sitecic/departamento/docentes/cn">Claudia
Nalon</a><span class="Apple-converted-space"> </span>(U Brasília,
Brazil)<span class="Apple-converted-space"> </span><br>
<a href="http://www.cin.ufpe.br/%7Eago">Anjolina G. de Oliveira</a><span
class="Apple-converted-space"> </span>(U Fed Pernambuco, Brazil)<span
class="Apple-converted-space"> </span><br>
<a href="http://www.cin.ufpe.br/%7Eruy">Ruy de Queiroz</a><span
class="Apple-converted-space"> </span>(U Fed Pernambuco, Brazil)
(co-chair)
</ul>
<p><b>Further information</b><br>
Contact one of the Co-Chairs of the Organising Committee.</p>
<p><b>Web page</b><br>
<a href="http://wollic.org/wollic2010/">http://wollic.org/wollic2010/</a></p>
</li>
</font></span></span><span class="Apple-style-span"
style="border-collapse: separate; color: rgb(0, 0, 0); font-family: 'times new roman'; font-size: 16px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px;"><span
class="Apple-style-span" style="font-family: Arial;">
<h1><small><small>Steering committee</small></small></h1>
Samson Abramsky, Johan van Benthem, Joe Halpern, Wilfrid Hodges, Daniel
Leivant, Angus Macintyre, Grigori Mints, Hiroakira Ono, Ruy de Queiroz</span></span><br>
</body>
</html>