[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 http://www.zalafilms.com/navajo/about.html (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 http://www.aslonline.org/studenttravelawards.html for details.
PROGRAMME COMMITTEE Matthias Baaz http://www.logic.tuwien.ac.at/staff/baaz/home.html (University of Technology, Vienna, Austria) John Baldwin http://homepages.math.uic.edu/~jbaldwin/ (University of Illinois at Chicago, USA) Dana Bartozová http://www.math.toronto.edu/bartosov/ (Universidade de São Paulo, Brazil) Agata Ciabattoni https://www.logic.at/staff/agata/ (University of Technology, Vienna, Austria) Walter Dean http://www2.warwick.ac.uk/fac/soc/philosophy/people/dean/ (University of Warwick, UK) Erich Grädel https://logic.rwth-aachen.de/~graedel/ (RWTH Aachen, Germany) Volker Halbach http://users.ox.ac.uk/~sfop0114/ (University of Oxford, UK) Juliette Kennedy http://www.math.helsinki.fi/logic/people/juliette.kennedy/ (Helsinki University, Finland) (Chair) Dexter Kozen http://www.cs.cornell.edu/~kozen/ (Cornell University, USA) Janos Makowsky http://www.cs.technion.ac.il/~janos/ (Technion - Israel Institute of Technology, Israel) Larry Moss http://www.indiana.edu/~iulg/moss/ (indiana University, USA) Alessandra Palmigiano http://www.appliedlogictudelft.nl/alessandra-palmigiano/ (Delft University, The Netherlands) Mehrnoosh Sadrzadeh http://www.eecs.qmul.ac.uk/people/view/33472/dr-mehrnoosh-sadrzadeh (Queen Mary, UK) Sonja Smets http://sonja.tiddlyspot.com/#HOME (Amsterdam University, The Netherlands) Asger Törnquist http://www.math.ku.dk/~asgert/ (Københavns Universitet, Denmark) Rineke Verbrugge http://www.rinekeverbrugge.nl/ (University of Groningen, The Netherlands) Andrés Villaveces https://avillavecesn.net/ (Universidad Nacional, Colombia) Philip Welch http://www.maths.bris.ac.uk/~mapdw/ (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 http://www.alexandrasilva.org/#/main.html (Univ College London, UK) (Local co-chair) Mehrnoosh Sadrzadeh http://www.eecs.qmul.ac.uk/people/view/33472/dr-mehrnoosh-sadrzadeh (Queen Mary, UK) (Local co-chair) Paulo Oliva http://www.eecs.qmul.ac.uk/~pbo/ (Queen Mary, UK) James Brotherston http://www0.cs.ucl.ac.uk/staff/J.Brotherston/ (Univ College London, UK) Anjolina G. de Oliveira http://www.cin.ufpe.br/~ago (U Fed Pernambuco) Ruy de Queiroz http://www.cin.ufpe.br/~ruy (U Fed Pernambuco) (co-chair)
FURTHER INFORMATION Contact one of the Co-Chairs of the Organising Committee.
WEB PAGE http://wollic.org/wollic2017/ http://wollic.org/wollic2017/ 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.