[FOM] WoLLIC 2011 Call for Short Presentations and Participation

[Ruy de Queiroz]

WoLLIC 2011

Call for Short Presentations and Participation

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

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

Proceedings of WoLLIC 2011, including both 
invited and contributed papers, will be published 
in advance of the meeting as volume 6642 in 
Springer's <http://www.springer.com/lncs>LNCS 
series. The list of contributed papers can be 
found here: 
<http://wollic.org/wollic2011/programme.html>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 
<http://www.elsevier.com/locate/jcss>Journal of Computer and System Sciences.

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 
<<mailto:wollic2011 at easychair.org>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>http://wollic.org/wollic2011/registration.html

Programme Committee

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

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

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

Web page <http://wollic.org/wollic2011/>http://wollic.org/wollic2011/

Sponsors

<http://www.aslonline.org/>Association for 
Symbolic Logic (ASL), the 
<http://www.cin.ufpe.br/~igpl>Interest Group in 
Pure and Applied Logics (IGPL), 
<http://www.folli.org/>The Association for Logic, 
Language and Information (FoLLI), the 
<http://www.eatcs.org/>European Association for 
Theoretical Computer Science (EATCS), the 
<http://www.eacsl.org/>European Association for 
Computer Science Logic (EACSL), the 
<http://www.sbc.org.br/>Sociedade Brasileira de 
Computação (SBC), and the 
<http://www.cle.unicamp.br/sbl/>Sociedade Brasileira de Lógica (SBL).