[TYPES/announce] 23rd WoLLIC 2016 (Puebla, Mexico) - Call for Papers - DEADLINE APPROACHING

[Ruy de Queiroz]

[Please circulate. Apologies for multiple copies]


WoLLIC 2016
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
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.

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 <http://www.cs.ox.ac.uk/samson.abramsky/> (U Oxford, UK)

Dietmar Berwanger <http://www.lsv.ens-cachan.fr/~dwb/> (ENS Cachan, France)

Guram Bezhanishvili <http://sierra.nmsu.edu/gbezhani/> (New Mexico State U,
USA)

Arnaud Durand <http://www.logique.jussieu.fr/~durand/> (U Paris 7, France)

Pietro Galliani
<https://tuhat.halvi.helsinki.fi/portal/en/persons/pietro-galliani(f7840cff-98e7-4cc8-a518-0380111ea8fe).html>
(U
Helsinki, Finland)

Nina Gierasimczuk <http://www.ninagierasimczuk.com/> (U Amsterdam, The
Netherlands)

Jeroen Groenendijk
<http://www.uva.nl/over-de-uva/organisatie/medewerkers/content/g/r/j.a.g.groenendijk/j.a.g.groenendijk.html>
(U
Amsterdam, The Netherlands)

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)

André Nies <https://www.cs.auckland.ac.nz/~nies/> (U Auckland, New Zealand)

Aarne Ranta <http://www.cse.chalmers.se/~aarne/> (Chalmers U, Sweden)

Mehrnoosh Sadrzadeh
<http://www.eecs.qmul.ac.uk/people/view/33472/dr-mehrnoosh-sadrzadeh> (Queen
Mary Coll, UK)

Norma Short <http://www.ceperc.cnrs.fr/spip.php?article161&lang=fr> (U
Aix-Marseille, France)

Jouko Väänänen <http://www.math.helsinki.fi/logic/people/jouko.vaananen/> (U
Helsinki, Finland & U Amsterdam, The Netherlands) (CHAIR)

Rineke Verbrugge <http://www.rinekeverbrugge.nl/> (U Groningen, The
Netherlands)

Heribert Vollmer <http://www.thi.uni-hannover.de/vollmer.html> (U Hannover,
Germany)

Dag Westerståhl
<http://www.philosophy.su.se/english/research/our-researchers/faculty/dag-westerst%C3%A5hl-1.165620>
(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
http://wollic.org/wollic2016/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20160229/3aa8b87b/attachment.html>