[Please circulate. Apologies for multiple copies]

Call for Participation

WoLLIC 2017
24th Workshop on Logic, Language, Information and Computation 
July 18-21, 2017 
University College London (UCL), London, UK

SPECIAL SESSION:
Screening of Navajo Math Circles 
(Directed by George Paul Csicsery, 2016, 58min)


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 Special Interest Group on Logic and Computation (ACM-SIGLOG)

ORGANISATION
Department of Computer Science, University College London, London, UK
School of Electronic Engineering and Computer Science, Queen Mary College, London, UK
Centro de Informática, Universidade Federal de Pernambuco, Brazil 

HOSTED BY
Department of Computer Science, University College London, London, UK

INVITED SPEAKERS
Hazel Brickhill (Bristol) (University of Bristol)
Michael Detlefsen (University of Notre Dame)
Alexander Kurz (University of Leicester)
Frederike Moltmann (New York University)
David Pym (University College London)
Nicole Schweikardt (Humboldt Universität)
Fan Yang (Delft University)
Boris Zilber (University of Oxford)

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

PROGRAMME COMMITTEE
Matthias Baaz (University of Technology, Vienna, Austria)
John Baldwin (University of Illinois at Chicago, USA)
Dana Bartozová (Universidade de São Paulo, Brazil)
Agata Ciabattoni (University of Technology, Vienna, Austria)
Walter Dean (University of Warwick, UK)
Erich Grädel (RWTH Aachen, Germany)
Volker Halbach (University of Oxford, UK)
Juliette Kennedy (Helsinki University, Finland) (Chair)
Dexter Kozen (Cornell University, USA)
Janos Makowsky (Technion - Israel Institute of Technology, Israel)
Larry Moss (indiana University, USA)
Alessandra Palmigiano (Delft University, The Netherlands)
Mehrnoosh Sadrzadeh (Queen Mary, UK)
Sonja Smets (Amsterdam University, The Netherlands)
Asger Törnquist (Københavns Universitet, Denmark)
Rineke Verbrugge (University of Groningen, The Netherlands)
Andrés Villaveces (Universidad Nacional, Colombia)
Philip Welch (University of Bristol, UK)

STEERING COMMITTEE
Samson Abramsky, 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 Väänänen.

ORGANISING COMMITTEE
Alexandra Silva (Univ College London, UK) (Local co-chair)
Mehrnoosh Sadrzadeh (Queen Mary, UK) (Local co-chair)
Paulo Oliva (Queen Mary, UK)
James Brotherston (Univ College London, UK) 
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

ACCEPTED PAPERS
Fausto Barbero, Lauri Hella and Raine Rönnholm. Independence-Friendly logic without Henkin quantification.
Fedor Pakhomov. Solovay completeness without fixed points.
Paola Bruscoli and Lutz Strassburger. On the length of Medial-Switch-Mix derivations.
Almudena Colacito and George Metcalfe. Proof Theory and Ordered Groups.
Rohit Parikh. An Epistemic Generalization of Rationalizability.
Lev Beklemishev. On the reflection calculus with partial conservativity operators.
Arnold Beckmann and Jean Jose Razafindrakoto. Total Search Problems in Bounded Arithmetic and Improved Witnessing.
Flavio Ferrarotti, Senén González and Jose Turull-Torres. On Fragments of Higher Order Logics that on Finite Structures Collapse to Second Order.
Michał Tomasz Godziszewski and Joel David Hamkins. Computable quotient presentations of models of arithmetic and set theory.
Nathanael L. Ackerman and Cameron E. Freer. On the Computability of Graph Turing Machines.
Ian Mackie. A Geometry of Interaction Machine for Gödel's System T.
Zhaohui Luo and Serguei Soloviev. Dependent Event Types.
Igor Sedlar. Substructural logics with a reflexive transitive closure modality.
Stepan Kuznetsov. The Lambek calculus with iteration: two variants.
Willem Conradie, Andrew Craig, Alessandra Palmigiano and Zhiguang Zhao. Constructive canonicity for lattice-based fixed point logics.
Karin Cvetko Vah, Mehrnoosh Sadrzadeh, Dimitri Kartsaklis and Benjamin Blundell. Non-commutative logic for compositional distributional semantics.
Daniyar Shamkanov. Global Neighbourhood Completeness of the Gödel-Löb Provability Logic.
Vít Punčochář. Knowledge is a Diamond.
Gijs Wijnholds. Coherent Diagrammatic Reasoning in Compositional Distributional Semantics.
Zhiguang Zhao. Algorithmic Sahlqvist Preservation for Modal Compact Hausdorff Spaces.
Marcin Mostowski and Marek Czarnecki. Concrete mathematics. Finitistic approach to foundations.
Denis I. Saveliev and Nikolai L. Poliakov. On two concepts of ultrafilter extensions of first-order models and their generalizations.
Yury Savateev and Daniyar Shamkanov. Cut-elimination for the modal Grzegorczyk logic via non-well-founded proofs.
Sérgio Marcelino and Carlos Caleiro. Disjoint fibring of non-deterministic matrices.
Fei Liang, Giuseppe Greco, Andrew Moshier and Alessandra Palmigiano. Multi-type display caculus for Semi De Morgan Logic.
Dan Marsden, Fabrizio Genovese, Bob Coecke and Martha Lewis. Applications of Generalized Relations in Linguistics and Cognition.
Bjørn Kjos-Hanssen. Shift registers fool finite automata.
Giuseppe Greco and Alessandra Palmigiano. Lattice logic properly displayed.