Logic, Language, Information, and Computation

21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings

  • Ulrich Kohlenbach
  • Pablo Barceló
  • Ruy de Queiroz

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

Table of contents

  1. Front Matter
  2. Luca Viganò, Marco Volpe, Margherita Zorzi
    Pages 1-19
  3. Sergio Abriola, María Emilia Descotte, Santiago Figueira
    Pages 20-35
  4. Beniamino Accattoli, Claudio Sacerdoti Coen
    Pages 36-50
  5. Carlos Areces, Hans van Ditmarsch, Raul Fervari, François Schwarzentruber
    Pages 51-65
  6. Alexander Baumgartner, Temur Kutsia
    Pages 66-80
  7. Gustavo A. Bodanza, Claudio A. Alessio
    Pages 81-93
  8. Ruan Carvalho, Laís Andrade, Anjolina de Oliveira, Ruy de Queiroz
    Pages 94-108
  9. Liron Cohen, Arnon Avron
    Pages 137-151
  10. Alessandra Di Pierro, Federica Panarotto
    Pages 152-165
  11. Zachary Heckle, Pavel Naumov
    Pages 181-194
  12. Juliana Küster Filipe Bowles, Petrucio Viana
    Pages 195-205
  13. Back Matter

About these proceedings

Introduction

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 21st Workshop on Logic, Language, Information and Communication, WoLLIC 2014, held in Valparaiso, Chile, in September 2014.
The 15 contributed papers presented  together with 6 invited lectures were carefully reviewed and selected from 29 submissions. The focus of the workshop was on the following subjects Inter-Disciplinary Research involving Formal Logic, Computing and Programming Theory, and Natural Language and Reasoning.

Keywords

computation foundations of computer science information language logic logic in computer science mathematical logic theoretical computer science theoretical computer science

Editors and affiliations

  • Ulrich Kohlenbach
    • 1
  • Pablo Barceló
    • 2
  • Ruy de Queiroz
    • 3
  1. 1.Fachbereich MathematikTU DarmstadtDarmstadtGermany
  2. 2.Department of Computer ScienceUniversidad de ChileSantiagoChile
  3. 3.Centro de InformáticaUniversidade Federal de Pernambuco (UFPE)RecifeBrazil

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-662-44145-9
  • Copyright Information Springer-Verlag Berlin Heidelberg 2014
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-662-44144-2
  • Online ISBN 978-3-662-44145-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book