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