<!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">
<font face="Times New Roman, Times, serif"> [**
sincere apologies for duplicates **]<br>
<br>
Call for Papers<br>
<br>
<i><b>16th Workshop on Logic, Language, Information and
Computation</b></i><br>
(<i><b>WoLLIC 2009</b></i>)<br>
Tokyo, Japan<br>
June 21-24, 2009<br>
(<font color="#3333ff">SPECIAL: There will be a screening of
George Csicsery's<br>
"N is a Number: A Portrait of Paul Erdos"<br>
<a class="moz-txt-link-freetext"
href="http://zalafilms.com/films/nisanumber.html">http://zalafilms.com/films/nisanumber.html</a><br>
with kind permission of the film director</font>)<br>
<br>
<br>
WoLLIC is an annual international forum on inter-disciplinary
research<br>
involving formal logic, computing and programming theory, and
natural<br>
language and reasoning. Each meeting includes invited talks and<br>
tutorials as well as contributed papers.<br>
<br>
The Sixteenth WoLLIC will be held at the National Institute of
Informatics<br>
in Tokyo, Japan, from June 21 to 24, 2009. It is jointly sponsored
by<br>
the Association for Symbolic Logic (ASL), the Interest Group in
Pure and<br>
Applied Logics (IGPL), the Association for Logic, Language and
Information<br>
(FoLLI), the European Association for Theoretical Computer Science<br>
(EATCS), the Sociedade Brasileira de Computacao (SBC), and the<br>
Sociedade Brasileira de Logica (SBL).<br>
<br>
<font color="#ff0000"><b>SPECIAL EVENT</b><br>
2009 will mark the 60-th anniversary of the publication of Paul
Erdos'<br>
elementary proof of the Prime Number Theorem. WoLLIC will celebrate<br>
this by screening the documentary about Paul Erdos which was
directed<br>
by George Csicsery "N is a number - A Portrait of Paul Erdos"<br>
<a href="http://zalafilms.com/films/nisanumber.html">http://zalafilms.com/films/nisanumber.html</a></font><a
href="http://zalafilms.com/films/nisanumber.html"><br>
</a><br>
<b>PAPER SUBMISSION</b><br>
Contributions are invited on all pertinent subjects, with particular<br>
interest in cross-disciplinary topics. Typical but not exclusive<br>
areas of interest are: foundations of computing and programming;<br>
novel computation models and paradigms; broad notions of proof and
belief;<br>
formal methods in software and hardware development; logical
approach to<br>
natural language and reasoning; logics of programs, actions and
resources;<br>
foundational aspects of information organization, search, flow,
sharing,<br>
and protection.<br>
Proposed contributions should be in English, and consist of a
scholarly<br>
exposition accessible to the non-specialist, including motivation,<br>
background, and comparison with related works.<br>
They must not exceed 10 pages (in font 10 or higher), with up to<br>
5 additional pages for references and technical appendices.<br>
The paper's main results must not be published or submitted<br>
for publication in refereed venues, including journals and other<br>
scientific meetings.<br>
It is expected that each accepted paper be presented at the meeting
by<br>
one of its authors.<br>
Papers must be submitted electronically at<br>
<a class="moz-txt-link-freetext"
href="http://wollic.org/wollic2009/instructions.html">http://wollic.org/wollic2009/instructions.html</a><br>
A title and single-paragraph abstract should be submitted by<br>
February 28, and the full paper by March 8 (firm date).<br>
Notifications are expected by April 19, and final papers for<br>
the proceedings will be due by May 3 (firm date).<br>
<br>
<b>PROCEEDINGS</b><br>
The proceedings of WoLLIC 2009, including both invited and
contributed<br>
papers, will be published in advance of the meeting as a volume in<br>
Springer's <i>Lecture Notes in Computer Science</i> series (TBC).<br>
In addition, abstracts will be published in the Conference Report
section<br>
of the <i>Logic Journal of the IGPL</i>, and selected
contributions will<br>
be published as a special post-conference WoLLIC 2009 issue of a<br>
scientific journal.<br>
<br>
<b>INVITED SPEAKERS</b><br>
<a href="http://www.cs.swan.ac.uk/%7Ecsarnold/">Arnold Beckmann</a>
(Swansea U, UK)<br>
<a href="http://sqig.math.ist.utl.pt/ccal/">Carlos Caleiro</a> (UT
Lisbon, Portugal)<br>
<a href="http://www.kr.tuwien.ac.at/staff/eiter/">Thomas Eiter</a>
(Tech U Wien, Austria)<br>
<a href="http://research.nii.ac.jp/%7Esalvati/index_en.html">Sylvain
Salvati</a> (INRIA, France)<br>
<a href="http://sato-www.cs.titech.ac.jp/sato/">Taisuke Sato</a>
(Tokyo Inst Tech, Japan)<br>
<a href="http://staff.science.uva.nl/%7Emichiell/">Michiel van
Lambalgen</a> (U Amsterdam, NL)<br>
<a href="http://www.csc.liv.ac.uk/%7Efrank/">Frank Wolter</a> (U
Liverpool, UK)<br>
<br>
<b>STUDENT GRANTS</b><br>
ASL sponsorship of WoLLIC 2009 will permit ASL student members to<br>
apply for a modest travel grant (deadline: April 1, 2009).<br>
See <a class="moz-txt-link-freetext"
href="http://www.aslonline.org/studenttravelawards.html">http://www.aslonline.org/studenttravelawards.html</a>
for details.<br>
<br>
<b>IMPORTANT DATES</b><br>
<font color="#ff0000">February 28, 2009: Paper title and abstract
deadline<br>
March 8, 2009: Full paper deadline (firm)<br>
April 19, 2009: Author notification<br>
May 3, 2009: Final version deadline (firm)</font><br>
<br>
<b>PROGRAM COMMITTEE</b><br>
<a href="http://kurt.scitec.kobe-u.ac.jp/%7Earai/">Toshiyasu Arai</a>
(Kobe U, Japan)<br>
<a href="http://www.logic.at/staff/baaz/">Matthias Baaz</a> (Tech
U Wien)<br>
<a href="http://web.comlab.ox.ac.uk/people/Alexandru.Baltag/">Alexandru
Baltag</a> (Oxford U)<br>
<a href="http://www.mat.ub.edu/%7Ejmfont/">Josep Maria Font</a> (U
Barcelona)<br>
<a href="http://homes.dsi.unimi.it/%7Eghilardi/">Silvio Ghilardi</a>
(U Milano)<br>
<a href="http://research.nii.ac.jp/%7Eki/">Katsumi Inoue</a> (Nat
Inst of Informatics, Japan)<br>
<a href="http://wwwhomes.uni-bielefeld.de/mkracht/index-en.html">Marcus
Kracht</a> (U Bielefeld)<br>
<a
href="http://www.jaist.ac.jp/profiles/info_e.php?profile_id=35&syozoku=24">Hiroakira
Ono</a> (JAIST, Japan) (Chair)<br>
<a href="http://www.math.is.tohoku.ac.jp/int/lab/ms3-e.html">Masanao
Ozawa</a> (Nagoya U)<br>
<a href="http://users.rsise.anu.edu.au/%7Ejks/">John Slaney</a>
(Australian Nat U)<br>
<a href="http://www.cogsci.ed.ac.uk/%7Esteedman/">Mark Steedman</a>
(Edinburgh U)<br>
<a href="http://www.kr.tuwien.ac.at/staff/tompits/">Hans Tompits</a>
(Tech U Wien)<br>
<br>
<b>ORGANISING COMMITTEE</b><br>
<a href="http://research.nii.ac.jp/%7Ekanazawa/">Makoto Kanazawa</a>
(Nat Inst of Informatics, Japan, co-chair)<br>
<a href="http://www.cin.ufpe.br/%7Eago">Anjolina de Oliveira</a>
(U Fed Pernambuco, Brazil)<br>
<a href="http://www.cin.ufpe.br/%7Eruy">Ruy de Queiroz</a> (U Fed
Pernambuco, Brazil, co-chair)<br>
<a href="http://research.nii.ac.jp/%7Eksatoh/">Ken Satoh</a> (Nat
Inst of Informatics, Japan)<br>
<br>
<b>STEERING COMMITTEE</b><br>
<a href="http://www.comlab.ox.ac.uk/people/samson.abramsky/">Samson
Abramsky</a>, <a href="http://staff.science.uva.nl/%7Ejohan/">Johan
van Benthem</a>, <a href="http://www.cs.cornell.edu/home/halpern/">Joe
Halpern</a>, <a href="http://www.maths.qmul.ac.uk/%7Ewilfrid/">Wilfrid
Hodges</a>, <br>
<a href="http://www.cs.indiana.edu/%7Eleivant/">Daniel Leivant</a>,
<a
href="http://www.maths.qmul.ac.uk/personnel/researchstaff/macintyre.shtml">Angus
Macintyre</a>, <a href="http://www-philosophy.stanford.edu/fss/gm.html">Grigori
Mints</a>, <a href="http://www.cin.ufpe.br/%7Eruy">Ruy de Queiroz</a><br>
<br>
<b>WEB PAGE</b><br>
wollic.org/wollic2009/<br>
<br>
---<br>
<br>
</font>
</body>
</html>