ELSNET-List Message
Elsnet
 
   


ELSNET-List Message

Subject: [ E-CFP ] WoLLIC 2013 (Darmstadt) - Call for Papers
From: <ruy_(on)_cin.ufpe.br>
Date received: 24 Sep 2012
Deadline: 25 Mar 2013
Start date: 20 Aug 2013





(Please circulate. Apologies for cross-postings.)

WoLLIC 2013

20th Workshop on Logic, Language, Information and Computation

August 20th to 23rd, 2013

Technische Universität Darmstadt Darmstadt, Germany

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ção
(SBC) Sociedade Brasileira de Lógica (SBL)

Organisation

Fachbereich Mathematik, Technische Universität Darmstadt, Germany
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
twentieth WoLLIC will be held at the Technische Universität
Darmstadt, Germany, from August 20th to 23rd, 2013. It is
sponsored by the Association for Symbolic Logic (ASL), the
Interest 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),
theSociedade Brasileira de Computação (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
tohttp://wollic.org/wollic2013/instructions.html for
instructions.) A title and single-paragraph abstract should be
submitted by March 25th, and the full paper by March 29th (firm
date). Notifications are expected by May 3rd, and final papers
for the proceedings will be due by May 15th (firm date).

Proceedings The proceedings of WoLLIC 2013, 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 2013 issue of a
scientific journal (to be confirmed).

Invited Speakers

    (TBA)

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

Important Dates

    March 25th, 2013: Paper title and abstract deadline March
    29th, 2013: Full paper deadline May 3rd, 2013: Author
    notification May 15th, 2013: Final version deadline (firm)

Programme Committee

    Albert Atserias (UPC Barcelona) Alexandru Baltag (Univ
    Amsterdam) Stephanie Delaune (ENS, CNRS) Amy Felty (Univ
    Ottawa) Santiago Figueira (Univ Buenos Aires) Amelie
    Gheerbrant (Univ Edinburgh) Radha Jagadeesan (DePaul Univ)
    Delia Kesner (Univ Paris-Diderot) Benoit Larose (Concordia
    Univ) Leonid Libkin (Univ Edinburgh - CHAIR) Fenrong Liu
    (Tsinghua Univ) Jerzy Marcinkowski (Wroclaw Univ) Peter
    O'Hearn (UCL) Joël Ouaknine (Oxford Univ) Gerald Penn (Univ
    Toronto) Gabriele Puppis (CNRS/LaBRI - Univ Bordeaux)
    R. Ramanujam (The Institute of Mathematical Sciences) Peter
       Selinger (Dalhousie Univ) Szymon Torunczyk (Warsaw Univ)
       Anna Zamansky (TU Wien)

Steering Committee

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

Organising Committee

    Ulrich Kohlenbach (Tech U Darmstadt) (Local chair) Anjolina
    G. de Oliveira (U Fed Pernambuco) Martin Otto (Tech U
    Darmstadt) Ruy de Queiroz (U Fed Pernambuco) (co-chair)
    Thomas Streicher (Tech U Darmstadt) Martin Ziegler (Tech U
    Darmstadt)

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

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

ATT00001

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


	

[ Search | Events calendar | Deadline calendar ]

 

Page generated 22-10-2014 by Steven Krauwer Disclaimer / Contact ELSNET