[Om-announce] WoLLIC 2011 Call for Short Presentations and Participation

[Ruy de Queiroz]

*WoLLIC 2011*

*Call for Short Presentations and Participation*

*WoLLIC* <http://wollic.org/>* *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.

*Invited Speakers*

*Rajeev Alur* <http://www.cis.upenn.edu/~alur/> (Philadelphia)
*Rosalie Iemhoff* <http://www.phil.uu.nl/~iemhoff/eigen.html> (Utrecht)
*John Mitchell* <http://theory.stanford.edu/people/jcm/> (Stanford)
*Vladimir Voevodsky* <http://www.math.ias.edu/~vladimir/Site3/home.html>
(Princeton)
*Yoad Winter* <http://www.phil.uu.nl/~yoad/> (Utrecht)
*Michael Zakharyaschev* <http://www.dcs.bbk.ac.uk/~michael/> (London)

*P**roceedings* of WoLLIC 2011, including both invited and contributed
papers, will be published in advance of the meeting as volume 6642 in
Springer's LNCS <http://www.springer.com/lncs> series. The list of
contributed papers can be found here:
http://wollic.org/wollic2011/programme.html

In addition, abstracts will appear in the Conference Report section of
the *Logic
Journal of the IGPL*, and selected contributions will be published as a
special post-conference WoLLIC 2011 issue of the *Journal of Computer and
System Sciences* <http://www.elsevier.com/locate/jcss>.

*Short presentations *

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.

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 <wollic2011 at easychair.org> 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.

*Registration*

Early registration deadline is April 8, late registration deadline is May 8,
see http://wollic.org/wollic2011/registration.html

*Programme Committee*

Sergei Artemov <http://web.cs.gc.cuny.edu/~sartemov/> (New York)
Jeremy Avigad <http://www.andrew.cmu.edu/user/avigad/> (Pittsburgh)
Arnold Beckman <http://www.cs.swan.ac.uk/~csarnold/> (Swansea)
Lev Beklemishev <http://www.mi.ras.ru/~bekl/> (Moscow) (CHAIR)
Alessandro Berarducci <http://www.dm.unipi.it/~berardu/> (Pisa)
Sam Buss <http://www.math.ucsd.edu/~sbuss/> (San Diego)
Achim Jung <http://www.cs.bham.ac.uk/~axj/> (Birmingham)
Benedikt Löwe <http://staff.science.uva.nl/~bloewe/> (Amsterdam)
Janos Makowsky <http://www.cs.technion.ac.il/~janos/> (Haifa)
Michael Moortgat <http://www.let.uu.nl/~ctl/docenten/moortgat.html>
(Utrecht)
Vincent van Oostrom <http://www.phil.uu.nl/~oostrom/> (Utrecht)
Prakash Panangaden <http://www.cs.mcgill.ca/~prakash/> (Montréal)
Rohit Parikh <http://www.sci.brooklyn.cuny.edu/cis/parikh/> (New York)
Ruy de Queiroz <http://www.cin.ufpe.br/~ruy> (Recife)
Alexander Shen <http://www.poncelet.ru/pers/shen.htm> (Marseilles and
Moscow)
Bas Spitters <http://www.cs.ru.nl/~spitters/> (Nijmegen)
Helmut Veith <http://www7.in.tum.de/~veith/> (Wien)
Yde Venema <http://staff.science.uva.nl/~yde/> (Amsterdam)
Scott Weinstein <http://www.cis.upenn.edu/~weinstei/> (Philadelphia)
Frank Wolter <http://www.csc.liv.ac.uk/~frank/> (Liverpool)

*Steering Committee*

Samson Abramksy, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges,
Daniel Leivant, Angus Macintyre, Grigori Mints, Hiroakira Ono, Ruy de
Queiroz.

*Organising Committee*

Vivek Nigam <http://www.math.upenn.edu/~vnigam/> (U Penn)
Anjolina G. de Oliveira <http://www.cin.ufpe.br/~ago> (U Fed Pernambuco)
Ruy de Queiroz <http://www.cin.ufpe.br/~ruy> (U Fed Pernambuco) (co-chair)
Andre Scedrov <http://www.cis.upenn.edu/~scedrov/> (U Penn) (co-chair)

*Further information*
Contact one of the Co-Chairs of the Organising Committee.

*Web page* http://wollic.org/wollic2011/

*S**ponsors*

Association for Symbolic Logic <http://www.aslonline.org/> (ASL), the Interest
Group in Pure and Applied Logics <http://www.cin.ufpe.br/~igpl> (IGPL), The
Association for Logic, Language and Information
<http://www.folli.org/> (FoLLI),
the European Association for Theoretical Computer
Science<http://www.eatcs.org/> (EATCS),
the European Association for Computer Science Logic
<http://www.eacsl.org/> (EACSL),
the Sociedade Brasileira de Computação <http://www.sbc.org.br/> (SBC), and
the Sociedade Brasileira de Lógica <http://www.cle.unicamp.br/sbl/> (SBL).
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://openmath.org/pipermail/om-announce/attachments/20110309/d29be9b3/attachment-0001.htm