23rd
Workshop on Logic, Language, Information and
Computation
August
16th-19th, 2016
Puebla,
Mexico
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)
IN COOPERATION WITH
ACM SIGLOG (to be confirmed)
ORGANISATION
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
HOSTED BY
Benemérita Universidad
Autónoma de Puebla, Mexico
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 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).
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; 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).
PROCEEDINGS
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 (FoLLI subseries).
In addition, abstracts will be published in the
Conference Report section of the Logic Journal of
the IGPL (Oxford U Press), and selected
contributions will be published as a special
post-conference WoLLIC 2016 issue of a scientific
journal (to be confirmed).
INVITED SPEAKERS
Pablo Barceló (Santiago de
Chile)
Dana Bartozová (São Paulo) (TBC)
Janos Makowsky (Haifa)
Alessandra Parmigiano
(Delft)
Sonja Smets (Amsterdam)
Katrin Tent (Münster) (TBC)
Andres Villaveces (Bogotá)
SPECIAL SCREENING - A
TRIBUTE TO THE LEGACY OF GEORGE BOOLE
In celebration of the
200th anniversary of George Boole's birth (1815),
there will be a special session with a screening of
the documentary film "The Genius of George Boole"
(2015, 58min). (to be confirmed)
STUDENT GRANTS
IMPORTANT DATES
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)
PROGRAM COMMITTEE
Samson Abramsky (U
Oxford, UK)
Dietmar Berwanger (ENS
Cachan, France)
Guram Bezhanishvili (New
Mexico State U, USA)
Arnaud Durand (U
Paris 7, France)
Pietro Galliani (U
Helsinki, Finland)
Nina Gierasimczuk (U
Amsterdam, The Netherlands)
Jeroen Groenendijk (U
Amsterdam, The Netherlands)
Lauri Hella (U
Tampere, Finland)
Wesley Holliday (U
Calif Berkeley, USA)
Juha Kontinen (Helsinki
U, Finland)
Larry Moss (Indiana
U, USA)
André Nies (U
Auckland, New Zealand)
Aarne Ranta (Chalmers
U, Sweden)
Mehrnoosh Sadrzadeh (Queen
Mary Coll, UK)
Norma Short (U
Aix-Marseille, France)
Jouko Väänänen (U
Helsinki, Finland & U Amsterdam, The
Netherlands) (CHAIR)
Rineke Verbrugge (U
Groningen, The Netherlands)
Heribert Vollmer (U
Hannover, Germany)
Dag Westerståhl (Stockholm
U, Sweden)
STEERING COMMITTEE
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.
ORGANISING COMMITTEE
Mauricio Osorio (Fundación
Universidad de las Américas, Puebla) (Local
co-chair)
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)
FURTHER INFORMATION
Contact one of the
Co-Chairs of the Organising Committee.
WEB PAGE