© 2010

Logic, Language, Information and Computation

17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings

  • Anuj Dawar
  • Ruy de Queiroz
Conference proceedings WoLLIC 2010

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

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 6188)

Table of contents

  1. Front Matter
  2. Martin Lange, Markus Latte
    Pages 19-33
  3. Ian Pratt-Hartmann
    Pages 42-54
  4. Sebastiaan A. Terwijn
    Pages 55-57
  5. Michiel van Lambalgen
    Pages 59-83
  6. Naeem Abbasi, Osman Hasan, Sofiène Tahar
    Pages 84-97
  7. Carlos Areces, Guillaume Hoffmann, Alexandre Denis
    Pages 98-109
  8. Andréia B. Avelar, Flávio L. C. de Moura, André Luiz Galdino, Mauricio Ayala-Rincón
    Pages 110-124
  9. Aditi Barthwal, Michael Norrish
    Pages 125-135
  10. Flavio Ferrarotti, Sven Hartmann, Sebastian Link
    Pages 136-147
  11. Sven Hartmann, Sebastian Link, Thu Trinh
    Pages 161-175
  12. Glyn Morrill, Oriol Valentín
    Pages 176-190
  13. Ramyaa Ramyaa, Daniel Leivant
    Pages 191-203
  14. Renata H. S. Reiser, Benjamin C. Bedregal, Gesner A. A. dos Reis
    Pages 204-217
  15. Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine
    Pages 232-246

About these proceedings


This volume contains the papers presented at WoLLIC 2010: 17th Workshop on Logic, Language, Information and Computation held during July 6–9, 2010, on the campus of Universidade de Bras´ ?lia (UnB), Brazil. The Workshop on Logic, Language, Information and Computation (WoL- LIC) is an annual event, meeting every year since 1994, which aims at fostering interdisciplinary research in pure and applied logic. The idea is to have a forum which is large enough in the number of possible interactions between logic and the sciences related to information and computation, and yet is small enough to allow for concrete and useful interaction among participants. The present volume contains 13 contributed papers that were selected from among 32 submissions after a rigorous review by the Program Committee. Each submission was reviewed by at least two, and on average three, Program C- mittee members. This volume also containspapersor abstractsthat relateto the seven invited talks presented at the workshop. Between them, these papers give a snapshot of some fascinating work taking place at the frontiers between computation, logic, and linguistics. We are grateful to all the people who made this meeting possible and are responsible for its success: the members of the Program Committee and the external reviewers, the invited speakers, the contributors, and the people who were involved in organizing the workshop.


Action Natural context-free language decidability intuitionistic logic logic monadic logic mu-calculus

Editors and affiliations

  • Anuj Dawar
    • 1
  • Ruy de Queiroz
    • 2
  1. 1.Computer LaboratoryUniversity of CambridgeCambridgeUK
  2. 2.Centro de InformáticaUniversidade Federal de PernambucoRecifeBrazil

Bibliographic information

Industry Sectors
IT & Software
Consumer Packaged Goods
Finance, Business & Banking
Oil, Gas & Geosciences