
<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class=""><br class=""></div><div class="">[Please circulate. Apologies for multiple copies]<br class=""><div class="gmail_quote"><div dir="ltr" class=""><div class="gmail_quote"><div dir="ltr" class=""><div class="gmail_quote"><div dir="ltr" class=""><br class=""><div class="gmail_quote"><div dir="ltr" class=""><div class="gmail_quote"><div dir="ltr" class=""><div style="font-size: 13px; text-align: center;" class="">Call for Participation</div><div style="font-size: 13px; text-align: center;" class=""><br class=""></div><div style="font-size: 13px; text-align: center;" class="">WoLLIC 2017</div><div style="font-size: 13px; text-align: center;" class="">24th Workshop on Logic, Language, Information and Computation </div><div style="font-size: 13px; text-align: center;" class="">July 18-21, 2017 </div><div style="font-size: 13px; text-align: center;" class="">University College London (UCL), London, UK</div><div style="font-size: 13px; text-align: center;" class=""><br class=""></div><div style="font-size: 13px; text-align: center;" class="">SPECIAL SESSION:</div><div style="font-size: 13px; text-align: center;" class="">Screening of <span style="font-size: 12.800000190734863px;" class=""><a href="http://www.zalafilms.com/navajo/about.html" target="_blank" class=""><span class="gmail-m_6804027248495169616gmail-m_-4020412123378352996m_646116128953548755gmail-il">Navajo</span> Math Circles</a><b class=""> </b></span></div><div style="font-size: 13px; text-align: center;" class=""><span style="font-size: 12.800000190734863px;" class="">(Directed by George Paul Csicsery, 2016, 58min)</span></div><div style="font-size: 13px; text-align: center;" class=""><br class=""></div><div style="font-size: 13px;" class=""><br class=""></div><div style="font-size: 13px;" class="">SCIENTIFIC SPONSORSHIP</div><div style="font-size: 13px;" class="">Interest Group in Pure and Applied Logics (IGPL) </div><div style="font-size: 13px;" class="">The Association for Logic, Language and Information (FoLLI) </div><div style="font-size: 13px;" class="">Association for Symbolic Logic (ASL) </div><div style="font-size: 13px;" class="">European Association for Theoretical Computer Science (EATCS) </div><div style="font-size: 13px;" class="">European Association for Computer Science Logic (EACSL) </div><div style="font-size: 13px;" class="">Sociedade Brasileira de Computação (SBC) </div><div style="font-size: 13px;" class="">Sociedade Brasileira de Lógica (SBL)</div><div style="font-size: 13px;" class=""><br class=""></div><div style="font-size: 13px;" class="">IN COOPERATION WITH</div><div style="font-size: 13px;" class=""><span style="font-size: small;" class="">ACM Special Interest Group on Logic and Computation (ACM-SIGLOG)</span><br class=""></div><div style="font-size: 13px;" class=""><br class=""></div><div style="font-size: 13px;" class="">ORGANISATION</div><div style="font-size: 13px;" class="">Department of Computer Science, University College London, London, UK<br class=""></div><div style="font-size: 13px;" class="">School of Electronic Engineering and Computer Science, Queen Mary College, London, UK<br class=""></div><div style="font-size: 13px;" class="">Centro de Informática, Universidade Federal de Pernambuco, Brazil </div><div style="font-size: 13px;" class=""><br class=""></div><div style="font-size: 13px;" class="">HOSTED BY</div><div style="font-size: 13px;" class="">Department of Computer Science, University College London, London, UK</div><div style="font-size: 13px;" class=""><br class=""></div><div style="font-size: 13px;" class="">INVITED SPEAKERS</div><div class=""><div class="">Hazel Brickhill (Bristol) (University of Bristol)</div><div class="">Michael Detlefsen (University of Notre Dame)</div><div class="">Alexander Kurz (University of Leicester)</div><div class="">Frederike Moltmann (New York University)</div><div class="">David Pym (University College London)</div><div class="">Nicole Schweikardt (Humboldt Universität)</div><div class="">Fan Yang (Delft University)</div><div class="">Boris Zilber (University of Oxford)</div></div><div style="font-size: 13px;" class=""><br class=""></div><div style="font-size: 13px;" class="">STUDENT GRANTS</div><div style="font-size: 13px;" class="">ASL sponsorship of WoLLIC 2017 will permit ASL student members to apply for a modest travel grant (deadline: May 1st, 2017). See <a href="http://www.aslonline.org/studenttravelawards.html" target="_blank" class="">http://www.aslonline.org/s<wbr class="">tudenttravelawards.html</a> for details.</div><div style="font-size: 13px;" class=""><br class=""></div><div style="font-size: 13px;" class="">PROGRAMME COMMITTEE</div><div style="font-size: 13px;" class=""><div style="margin: 0px; line-height: normal; font-family: arial; color: rgb(35, 35, 35);" class=""><span style="text-decoration: underline; color: rgb(4, 46, 238);" class=""><a href="http://www.logic.tuwien.ac.at/staff/baaz/home.html" target="_blank" class="">Matthias Baaz</a></span> (University of Technology, Vienna, Austria)</div><div style="margin: 0px; line-height: normal; font-family: arial; color: rgb(35, 35, 35);" class=""><span style="text-decoration: underline; color: rgb(4, 46, 238);" class=""><a href="http://homepages.math.uic.edu/~jbaldwin/" target="_blank" class="">John Baldwin</a></span> (University of Illinois at Chicago, USA)</div><div style="margin: 0px; line-height: normal; font-family: arial; color: rgb(35, 35, 35);" class=""><span style="text-decoration: underline; color: rgb(4, 46, 238);" class=""><a href="http://www.math.toronto.edu/bartosov/" target="_blank" class="">Dana Bartozová</a></span> (Universidade de São Paulo, Brazil)</div><div style="margin: 0px; line-height: normal; font-family: arial; color: rgb(35, 35, 35);" class=""><span style="text-decoration: underline; color: rgb(4, 46, 238);" class=""><a href="https://www.logic.at/staff/agata/" target="_blank" class="">Agata Ciabattoni</a></span> (University of Technology, Vienna, Austria)</div><div style="margin: 0px; line-height: normal; font-family: arial; color: rgb(35, 35, 35);" class=""><span style="text-decoration: underline; color: rgb(4, 46, 238);" class=""><a href="http://www2.warwick.ac.uk/fac/soc/philosophy/people/dean/" target="_blank" class="">Walter Dean</a></span> (University of Warwick, UK)</div><div style="margin: 0px; line-height: normal; font-family: arial; color: rgb(35, 35, 35);" class=""><span style="text-decoration: underline; color: rgb(4, 46, 238);" class=""><a href="https://logic.rwth-aachen.de/~graedel/" target="_blank" class="">Erich Grädel</a></span> (RWTH Aachen, Germany)</div><div style="margin: 0px; line-height: normal; font-family: arial; color: rgb(35, 35, 35);" class=""><span style="text-decoration: underline; color: rgb(4, 46, 238);" class=""><a href="http://users.ox.ac.uk/~sfop0114/" target="_blank" class="">Volker Halbach</a></span> (University of Oxford, UK)</div><div style="margin: 0px; line-height: normal; font-family: arial; color: rgb(35, 35, 35);" class=""><span style="text-decoration: underline; color: rgb(4, 46, 238);" class=""><a href="http://www.math.helsinki.fi/logic/people/juliette.kennedy/" target="_blank" class="">Juliette Kennedy</a></span> (Helsinki University, Finland) (Chair)</div><div style="margin: 0px; line-height: normal; font-family: arial; color: rgb(35, 35, 35);" class=""><span style="text-decoration: underline; color: rgb(4, 46, 238);" class=""><a href="http://www.cs.cornell.edu/~kozen/" target="_blank" class="">Dexter Kozen</a></span> (Cornell University, USA)</div><div style="margin: 0px; line-height: normal; font-family: arial; color: rgb(35, 35, 35);" class=""><span style="text-decoration: underline; color: rgb(4, 46, 238);" class=""><a href="http://www.cs.technion.ac.il/~janos/" target="_blank" class="">Janos Makowsky</a></span> (Technion - Israel Institute of Technology, Israel)</div><div style="margin: 0px; line-height: normal; font-family: arial; color: rgb(35, 35, 35);" class=""><span style="text-decoration: underline; color: rgb(4, 46, 238);" class=""><a href="http://www.indiana.edu/~iulg/moss/" target="_blank" class="">Larry Moss</a></span> (indiana University, USA)</div><div style="margin: 0px; line-height: normal; font-family: arial; color: rgb(35, 35, 35);" class=""><span style="text-decoration: underline; color: rgb(4, 46, 238);" class=""><a href="http://www.appliedlogictudelft.nl/alessandra-palmigiano/" target="_blank" class="">Alessandra Palmigiano</a></span> (Delft University, The Netherlands)</div><div style="margin: 0px; line-height: normal; font-family: arial; color: rgb(4, 46, 238);" class=""><span style="text-decoration: underline;" class=""><a href="http://www.eecs.qmul.ac.uk/people/view/33472/dr-mehrnoosh-sadrzadeh" target="_blank" class="">Mehrnoosh Sadrzadeh</a></span><span style="color: rgb(35, 35, 35);" class=""> (Queen Mary, UK)</span></div><div style="margin: 0px; line-height: normal; font-family: arial; color: rgb(35, 35, 35);" class=""><span style="text-decoration: underline; color: rgb(4, 46, 238);" class=""><a href="http://sonja.tiddlyspot.com/#HOME" target="_blank" class="">Sonja Smets</a></span> (Amsterdam University, The Netherlands)</div><div style="margin: 0px; line-height: normal; font-family: arial; color: rgb(35, 35, 35);" class=""><span style="text-decoration: underline; color: rgb(4, 46, 238);" class=""><a href="http://www.math.ku.dk/~asgert/" target="_blank" class="">Asger Törnquist</a></span> (Københavns Universitet, Denmark)</div><div style="margin: 0px; line-height: normal; font-family: arial; color: rgb(35, 35, 35);" class=""><span style="text-decoration: underline; color: rgb(4, 46, 238);" class=""><a href="http://www.rinekeverbrugge.nl/" target="_blank" class="">Rineke Verbrugge</a></span> (University of Groningen, The Netherlands)</div><div style="margin: 0px; line-height: normal; font-family: arial; color: rgb(35, 35, 35);" class=""><span style="text-decoration: underline; color: rgb(4, 46, 238);" class=""><a href="https://avillavecesn.net/" target="_blank" class="">Andrés Villaveces</a></span> (Universidad Nacional, Colombia)</div><div style="margin: 0px; line-height: normal; font-family: arial; color: rgb(35, 35, 35);" class=""><span style="text-decoration: underline; color: rgb(4, 46, 238);" class=""><a href="http://www.maths.bris.ac.uk/~mapdw/" target="_blank" class="">Philip Welch</a></span> (University of Bristol, UK)</div></div><div style="font-size: 12.800000190734863px;" class=""><font face="arial, sans-serif" class=""></font></div><div style="font-size: 13px;" class=""><br class=""></div><div style="font-size: 13px;" class="">STEERING COMMITTEE</div><div style="font-size: 13px;" class="">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.</div><div style="font-size: 13px;" class=""><br class=""></div><div style="font-size: 13px;" class="">ORGANISING COMMITTEE<br class=""></div><div style="font-size: 13px;" class=""><div style="margin: 0px; font-size: 12px; line-height: normal; font-family: arial;" class=""><span style="text-decoration: underline; color: rgb(4, 46, 238);" class=""><a href="http://www.alexandrasilva.org/#/main.html" target="_blank" class="">Alexandra Silva</a></span> (Univ College London, UK) (Local co-chair)</div><div style="margin: 0px; font-size: 12px; line-height: normal; font-family: arial;" class=""><span style="text-decoration: underline; color: rgb(4, 46, 238);" class=""><a href="http://www.eecs.qmul.ac.uk/people/view/33472/dr-mehrnoosh-sadrzadeh" target="_blank" class="">Mehrnoosh Sadrzadeh</a></span> (Queen Mary, UK) (Local co-chair)</div><div style="margin: 0px; font-size: 12px; line-height: normal; font-family: arial;" class=""><span style="text-decoration: underline; color: rgb(4, 46, 238);" class=""><a href="http://www.eecs.qmul.ac.uk/~pbo/" target="_blank" class="">Paulo Oliva</a></span> (Queen Mary, UK)</div><div style="margin: 0px; font-size: 12px; line-height: normal; font-family: arial;" class=""><span style="text-decoration: underline; color: rgb(4, 46, 238);" class=""><a href="http://www0.cs.ucl.ac.uk/staff/J.Brotherston/" target="_blank" class="">James Brotherston</a></span> (Univ College London, UK) </div><div style="margin: 0px; font-size: 12px; line-height: normal; font-family: arial; color: rgb(4, 46, 238);" class=""><span style="text-decoration: underline;" class=""><a href="http://www.cin.ufpe.br/~ago" target="_blank" class="">Anjolina G. de Oliveira</a></span><span style="color: rgb(0, 0, 0);" class=""> (U Fed Pernambuco) </span></div><div style="margin: 0px; font-size: 12px; line-height: normal; font-family: arial;" class=""><span style="text-decoration: underline; color: rgb(4, 46, 238);" class=""><a href="http://www.cin.ufpe.br/~ruy" target="_blank" class="">Ruy de Queiroz</a></span> (U Fed Pernambuco) (co-chair)</div></div><div style="font-size: 13px;" class=""><br class=""></div><div style="font-size: 13px;" class="">FURTHER INFORMATION<br class=""></div><div style="font-size: 13px;" class="">Contact one of the Co-Chairs of the Organising Committee.</div><div style="font-size: 13px;" class=""><br class=""></div><div style="font-size: 13px;" class="">WEB PAGE</div><div style="font-size: 13px;" class=""><a href="http://wollic.org/wollic2017/" target="_blank" class="">http://wollic.org/wollic2017/</a></div></div></div><br class=""></div><div class="">ACCEPTED PAPERS</div><div class=""><div class="">Fausto Barbero, Lauri Hella and Raine Rönnholm. Independence-Friendly logic without Henkin quantification.</div><div class="">Fedor Pakhomov. Solovay completeness without fixed points.</div><div class="">Paola Bruscoli and Lutz Strassburger. On the length of Medial-Switch-Mix derivations.</div><div class="">Almudena Colacito and George Metcalfe. Proof Theory and Ordered Groups.</div><div class="">Rohit Parikh. An Epistemic Generalization of Rationalizability.</div><div class="">Lev Beklemishev. On the reflection calculus with partial conservativity operators.</div><div class="">Arnold Beckmann and Jean Jose Razafindrakoto. Total Search Problems in Bounded Arithmetic and Improved Witnessing.</div><div class="">Flavio Ferrarotti, Senén González and Jose Turull-Torres. On Fragments of Higher Order Logics that on Finite Structures Collapse to Second Order.</div><div class="">Michał Tomasz Godziszewski and Joel David Hamkins. Computable quotient presentations of models of arithmetic and set theory.</div><div class="">Nathanael L. Ackerman and Cameron E. Freer. On the Computability of Graph Turing Machines.</div><div class="">Ian Mackie. A Geometry of Interaction Machine for Gödel's System T.</div><div class="">Zhaohui Luo and Serguei Soloviev. Dependent Event Types.</div><div class="">Igor Sedlar. Substructural logics with a reflexive transitive closure modality.</div><div class="">Stepan Kuznetsov. The Lambek calculus with iteration: two variants.</div><div class="">Willem Conradie, Andrew Craig, Alessandra Palmigiano and Zhiguang Zhao. Constructive canonicity for lattice-based fixed point logics.</div><div class="">Karin Cvetko Vah, Mehrnoosh Sadrzadeh, Dimitri Kartsaklis and Benjamin Blundell. Non-commutative logic for compositional distributional semantics.</div><div class="">Daniyar Shamkanov. Global Neighbourhood Completeness of the Gödel-Löb Provability Logic.</div><div class="">Vít Punčochář. Knowledge is a Diamond.</div><div class="">Gijs Wijnholds. Coherent Diagrammatic Reasoning in Compositional Distributional Semantics.</div><div class="">Zhiguang Zhao. Algorithmic Sahlqvist Preservation for Modal Compact Hausdorff Spaces.</div><div class="">Marcin Mostowski and Marek Czarnecki. Concrete mathematics. Finitistic approach to foundations.</div><div class="">Denis I. Saveliev and Nikolai L. Poliakov. On two concepts of ultrafilter extensions of first-order models and their generalizations.</div><div class="">Yury Savateev and Daniyar Shamkanov. Cut-elimination for the modal Grzegorczyk logic via non-well-founded proofs.</div><div class="">Sérgio Marcelino and Carlos Caleiro. Disjoint fibring of non-deterministic matrices.</div><div class="">Fei Liang, Giuseppe Greco, Andrew Moshier and Alessandra Palmigiano. Multi-type display caculus for Semi De Morgan Logic.</div><div class="">Dan Marsden, Fabrizio Genovese, Bob Coecke and Martha Lewis. Applications of Generalized Relations in Linguistics and Cognition.</div><div class="">Bjørn Kjos-Hanssen. Shift registers fool finite automata.</div><div class="">Giuseppe Greco and Alessandra Palmigiano. Lattice logic properly displayed.</div></div></div></div></div></div></div></div></div></div></body></html>