ELSNET-List Message

<ruy_(on)_cin.ufpe.br>

[please post. apologies for multiple copies]

WoLLIC 2012 19th Workshop on Logic, Language, Information and
Computation September 3rd to 6th, 2012

University of Buenos Aires Buenos Aires, Argentina

Scientific Sponsorship Interest Group in Pure and Applied Logics
(IGPL) The Association for Logic, Language and Information
(FoLLI) Association for Symbolic Logic (ASL) European Association
for Theoretical Computer Science (EATCS) European Association for
Computer Science Logic (EACSL) Sociedade Brasileira de Computaçao
(SBC) Sociedade Brasileira de Lógica (SBL)

Special The event is part of the alliance for 2012 The Alan
Turing Year

Organisation Departamento de Computación, Universidad de Buenos
Aires, Argentina Centro de Informática, Universidade Federal de
Pernambuco, Brazil

Call for Papers 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 nineteenth WoLLIC will be held at the
University of Buenos Aires, Argentina, from September 3rd to 6th,
2012. It is sponsored by the Association for Symbolic Logic
(ASL), theInterest Group in Pure and Applied Logics (IGPL), the
The Association for Logic, Language and Information (FoLLI), the
European Association for Theoretical Computer Science (EATCS),
the European Association for Computer Science Logic (EACSL), the
Sociedade Brasileira de Computaçao (SBC), and the Sociedade
Brasileira de Lógica (SBL).

Paper submission 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 2012 EasyChair website. (Please go
to http://wollic.org/wollic2012/instructions.html for
instructions.) A title and single-paragraph abstract should be
submitted by April 27th, and the full paper by May 4th (firm
date). Notifications are expected by June 8th, and final papers
for the proceedings will be due by June 15th (firm date).

Proceedings The proceedings of WoLLIC 2012, including both
invited and contributed papers, will be published in advance of
the meeting as a volume in Springer's LNCS series. 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 2012 issue of a
scientific journal (to be confirmed).

Invited Speakers

    tba

Student Grants ASL sponsorship of WoLLIC 2012 will permit ASL
student members to apply for a modest travel grant (deadline:
June 1st, 2012).
Seehttp://www.aslonline.org/studenttravelawards.html for details.

Important Dates

    April 27th 2012: Paper title and abstract deadline May 4th,
    2012: Full paper deadline (firm) June 8th, 2012: Author
    notification June 15th, 2012: Final version deadline (firm)

Programme Committee

    Carlos Areces (Cordoba) Marcelo Arenas (Santiago) Steve
    Awodey (Pittsburgh) Verónica Becher (Buenos Aires) Patrick
    Blackburn (Roskilde) Maribel Fernandez (London) Santiago
    Figueira (Buenos Aires) Marcelo Finger (Sao Paulo) Marcelo
    Fiore (Cambridge) Yuxi Fu (Shanghai) Rosalie Iemhoff
    (Utrecht) Neil Immerman (Amherst) Jean-Pierre Jouannaud
    (Paris) Makoto Kanazawa (Tokyo) Delia Kesner (Paris) Dexter
    Kozen (Ithaca) Martin Lange (Kassel) Benedikt Löwe
    (Amsterdam) Dag Normann (Oslo) Luke Ong (Oxford) (CHAIR) Erik
    Palmgren (Uppsala) Sylvain Salvati (Bordeaux) Pierre
    Schnoebelen (Cachan) Fernando Souza (Recife) Kazushige Terui
    (Kyoto)

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

    Carlos Areces (U Nacional Cordoba) (co-chair) (Local
    co-chair) Santiago Figueira (U Buenos Aires) (Local co-chair)
    Anjolina G. de Oliveira (U Fed Pernambuco) Ruy de Queiroz (U
    Fed Pernambuco) (co-chair)

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

Web page http://wollic.org/wollic2012/

__________________________________________
- ELSNET mailing list Elsnet-list_(at)_elsnet.org
- To manage your subscription go to:
  http://mailman.elsnet.org/mailman/listinfo/elsnet-list