Advertisement

Logic, Language, Information, and Computation

22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings

  • Valeria de Paiva
  • Ruy de Queiroz
  • Lawrence S. Moss
  • Daniel Leivant
  • Anjolina G. de Oliveira

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9160)

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 9160)

Table of contents

  1. Front Matter
    Pages I-XX
  2. James Belk, Robert W. McGrail
    Pages 1-13
  3. Andreia Mordido, Carlos Caleiro
    Pages 38-52
  4. Ronald de Haan, Jakub Szymanik
    Pages 69-80
  5. Neil Ghani, Fredrik Nordvall Forsberg, Federico Orsanigo
    Pages 81-92
  6. Alessandro Facchini, Filip Murlak, Michał Skrzypczak
    Pages 93-108
  7. Jörg Endrullis, Lawrence S. Moss
    Pages 124-139
  8. Jean-René Courtault, Hans van Ditmarsch, Didier Galmiche
    Pages 156-173
  9. Prasit Bhattacharya
    Pages 189-199
  10. Back Matter
    Pages 201-201

About these proceedings

Introduction

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 22nd Workshop on Logic, Language, Information and Computation, WoLLIC 2015, held in the campus of Indiana University, Bloomington, IN, USA in July 2015.

The 14 contributed papers, presented together with 8 invited lectures and 4 tutorials, were carefully reviewed and selected from 44 submissions. The focus of the workshop was on interdisciplinary research involving formal logic, computing and programming theory, and natural language and reasoning.

Keywords

Automata theory Automated reasoning Category theory Coalgebraic logic Completeness Complexity theory Decidability Finite model theory Linear logic Logic and verification Mathematical logic Modal and temporal logics Natural language semantics Proof nets Proof theory Rewriting theory Separation logic Theoretical computer science Topological semantics Type theory

Editors and affiliations

  • Valeria de Paiva
    • 1
  • Ruy de Queiroz
    • 2
  • Lawrence S. Moss
    • 3
  • Daniel Leivant
    • 4
  • Anjolina G. de Oliveira
    • 5
  1. 1.Nuance CommunicationsSunnyvaleUSA
  2. 2.Universidade Federal de PernambucoCentro de InformáticaRecifeBrazil
  3. 3.Department of MathematicsIndiana University BloomingtonBloomingtonUSA
  4. 4.nDepartment of Computer ScienceIndiana University BloomingtonBloomingtonUSA
  5. 5.Universidade Federal de PernambucoCentro de InformáticaRecifeBrazil

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-662-47709-0
  • Copyright Information Springer-Verlag Berlin Heidelberg 2015
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-662-47708-3
  • Online ISBN 978-3-662-47709-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site