UCL london qmul

24th Workshop on Logic Language Information and Computation
24th Workshop on Logic Language Information and Computation (WoLLIC) 2017

July 18-21, 2017 Department of Computer Science, University College London (Building and Room TBC)

News: Abstract and Paper Deadline Extended to March 28th.

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. It is sponsored by:
the Association for Symbolic Logic (ASL), the ACM Special Interest Group on Logic and Computation (SigLog),
the Interest Group in Pure and Applied Logics (IGPL), the Association for Logic, Language and Information (FoLLI),
the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL),
and the Sociedade Brasileira de Computacao (SBC), and the Sociedade Brasileira de Logica (SBL).


  • Department of Computer Science, University College London
  • School of Electronic Engineering and Computer Science, Queen Mary University of London,
  • Centro de Informatica, Universidade Federal de Pernambuco, Brazil.
  • Keynote Speakers

    Further Information

    Call For Papers

    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; philosophy 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. Articles should be written in the LaTeX
    format of LNCS by Springer (see authors instructions at
    http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). They must
    not exceed 12 pages, 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 2017 EasyChair website.
    Single-paragraph abstract should be submitted by Mar 14, 2017, and the
    full paper by Mar 21, 2017 (firm date). Notifications are expected by Apr
    22, 2017, and final papers for the proceedings will be due by May 6, 2017
    (firm date).

    Important Dates

  • Mar 14, 2017: Paper title and abstract deadline---> Extended to March 28.
  • Mar 21, 2017: Full paper deadline----> Extended to March 28.
  • Apr 22, 2017: Author notification
  • May 6, 2017: Final version deadline (firm)
  • Proceedings

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

    Student Grants

    ASL sponsorship of WoLLIC 2017 will permit ASL student members to apply for a modest travel grant (deadline: May 1st, 2017). See here for details.

    Program Committee

    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, Jouko Vaananen.

    Local Organisation Committee

    Registration and Local Information



    The 2017 Special Interest Group on Mathematics of Language happens in co-location with WoLLIC, on July 13 and 14 in Queen Mary University of London.

    Last Modified: 21st November 2017