[TYPES/announce] 24th WoLLIC 2017 - Call for Participation

Ruy de Queiroz ruy at cin.ufpe.br
Sun Jun 11 13:47:08 EDT 2017


[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 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/

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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20170611/07f288c8/attachment-0001.html>


More information about the Types-announce mailing list