[FOM] WoLLIC 2016 - Call for Papers

Ruy de Queiroz ruy at cin.ufpe.br
Wed Oct 28 14:40:17 EDT 2015

[Please circulate. Apologies for the duplicates.]

WoLLIC 2016
23rd Workshop on Logic, Language, Information and Computation
August 16th-19th, 2016
Puebla, Mexico

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)

Fundación Universidad de las Américas, Puebla, Mexico
Benemérita Universidad Autónoma de Puebla, Mexico
Centro de Informática, Universidade Federal de Pernambuco, Brazil

Benemérita Universidad Autónoma de Puebla, Mexico

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 twenty-third WoLLIC will be held at
the Department of Computer Science, Benemérita Universidad Autónoma de
Puebla, Mexico, from August 16th to 19th, 2016. 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), the Sociedade Brasileira de Computação (SBC), and the Sociedade
Brasileira de Lógica (SBL).

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; proof mining, type
theory, effective learnability; 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; foundations of
mathematics; philosophical logic. 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 15 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 2016
EasyChair website. (Please go to
http://wollic.org/wollic2016/instructions.html for instructions.) A title
and single-paragraph abstract should be submitted by Mar 14, 2016, and the
full paper by Mar 21, 2016 (firm date). Notifications are expected by Apr
22, 2016, and final papers for the proceedings will be due by May 6, 2016
(firm date).

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


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

Mar 14, 2016: Paper title and abstract deadline
Mar 21, 2016: Full paper deadline
Apr 22, 2016: Author notification
May 6, 2016: Final version deadline (firm)

Arnaud Durand <http://www.logique.jussieu.fr/~durand/> (U Paris 7, France)
Nina Gierasimczuk <http://www.ninagierasimczuk.com/> (U Amsterdam, The
Lauri Hella <http://www.sis.uta.fi/~malahe/> (U Tampere, Finland)
Wesley Holliday <https://philosophy.berkeley.edu/holliday> (U Calif
Berkeley, USA)
Juha Kontinen <http://www.helsinki.fi/~jkontine/> (Helsinki U, Finland)
Larry Moss <http://www.indiana.edu/~iulg/moss/> (Indiana U, USA)
Jouko Väänänen <http://www.math.helsinki.fi/logic/people/jouko.vaananen/> (U
Helsinki, Finland & U Amsterdam) (CHAIR)
Heribert Vollmer <http://www.thi.uni-hannover.de/vollmer.html> (U Hannover,
Dag Westerståhl
U, Sweden)
(more to be added)

Samson Abramksy, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid
Hodges, Ulrich Kohlenbach, Daniel Leivant, Leonid Libkin, Angus Macintyre,
Luke Ong, Hiroakira Ono, Valeria de Paiva, Ruy de Queiroz.

Mauricio Osorio (Fundación Universidad de las Américas, Puebla) (Local

Claudia Zepeda Cortés (Facultad de Ciencias de la Computación, Benemérita
Universidad Autónoma de Puebla) (Local co-chair)

José R. Arrazola Ramírez (Facultad de Ciencias Físico Matemáticas,
Benemérita Universidad Autónoma de Puebla) (Local co-chair)
Anjolina G. de Oliveira (U Fed Pernambuco)
Ruy de Queiroz (U Fed Pernambuco) (co-chair)

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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20151028/5921ad11/attachment.html>

More information about the FOM mailing list