Logic, Language, Information and Computation

19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings

  • Luke Ong
  • Ruy de Queiroz
Conference proceedings WoLLIC 2012

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

Table of contents

  1. Front Matter
  2. Invited Papers and Abstracts of Invited Lectures

    1. Andrea Asperti, Wilmer Ricciotti
      Pages 1-25
    2. Ekaterina Fokina, Sy Friedman, André Nies
      Pages 26-33
    3. Volker Diekert, Anca Muscholl
      Pages 70-84
    4. Hans van Ditmarsch
      Pages 89-109
  3. Contributed Papers

    1. Sergio Abriola, Santiago Figueira, Gabriel Senno
      Pages 110-126
    2. Benedikt Ahrens
      Pages 127-141
    3. Carlos Areces, Raul Fervari, Guillaume Hoffmann
      Pages 142-153
    4. Paolo Baldi, Agata Ciabattoni, Lara Spendier
      Pages 154-167
    5. Alexandru Baltag, Bryan Renne, Sonja Smets
      Pages 168-190
    6. Nick Bezhanishvili, Clemens Kupke, Prakash Panangaden
      Pages 191-205
    7. Claudio Callejas, João Marcos, Benjamín René Callejas Bedregal
      Pages 206-215
    8. Alejandro Díaz-Caro, Barbara Petit
      Pages 216-231

About these proceedings

Introduction

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 19th Workshop on Logic, Language, Information and Communication, WoLLIC 2012, held in Buenos Aires, Argentina, in September 2012.

The papers accompanying 8 invited lectures are presented together with 16 contributed papers; the latter were carefully reviewed and selected from 46 submissions. The papers report advances in inter-disciplinary research involving formal logic, theory of computation, foundations of mathematics, and computational linguistics.

Keywords

computability and randomness computational proof theory dynamic epistemic logic finite model theory semantics of computation

Editors and affiliations

  • Luke Ong
    • 1
  • Ruy de Queiroz
    • 2
  1. 1.Department of Computer ScienceUniversity of OxfordOxfordUK
  2. 2.Centro de InformáticaUniversidade Federal de PernambucoRecifeBrazil

Bibliographic information

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

Industry Sectors