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
    9. Márcio M. Ribeiro, Marcelo E. Coniglio
      Pages 268-281
    10. Abhisekh Sankaran, Bharat Adsul, Vivek Madan, Pritish Kamath, Supratik Chakraborty
      Pages 291-305
    11. L. Menasché Schechter
      Pages 306-320
    12. Marco Volpe, João Marcos, Carlos Caleiro
      Pages 321-335
  4. Back Matter

About these proceedings


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.


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
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-32620-2
  • Online ISBN 978-3-642-32621-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site