Logic, Language, Information, and Computation

20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings

  • Leonid Libkin
  • Ulrich Kohlenbach
  • Ruy de Queiroz
Conference proceedings WoLLIC 2013

DOI: 10.1007/978-3-642-39992-3

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

Table of contents

  1. Front Matter
  2. Natasha Alechina
    Pages 1-10
  3. Mikołaj Bojańczyk
    Pages 13-28
  4. Catuscia Palamidessi
    Pages 31-32
  5. Thomas Schwentick
    Pages 33-33
  6. Laís Andrade, Ruan Carvalho, Anjolina de Oliveira, Ruy de Queiroz
    Pages 34-48
  7. Argimiro Arratia, Carlos E. Ortiz
    Pages 49-63
  8. Alexandru Baltag, Jort M. Bergfeld, Kohei Kishida, Joshua Sack, Sonja J. L. Smets, Shengyang Zhong
    Pages 64-80
  9. Agata Ciabattoni, Revantha Ramanayake
    Pages 81-95
  10. Johannes Ebbing, Lauri Hella, Peter Lohmann, Jonni Virtema
    Pages 111-125
  11. Johannes Ebbing, Lauri Hella, Arne Meier, Julian-Steffen Müller, Jonni Virtema, Heribert Vollmer
    Pages 126-137
  12. Fredrik Engström, Juha Kontinen, Jouko Väänänen
    Pages 138-152
  13. Michael P. Fourman
    Pages 153-167
  14. Andreas Herzig
    Pages 168-178
  15. Juha Kontinen, Sebastian Link, Jouko Väänänen
    Pages 179-193
  16. Hidenori Kurokawa, Hirohiko Kushida
    Pages 194-210

About these proceedings

Introduction

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 20th Workshop on Logic, Language, Information and Communication, WoLLIC 2013, held in Darmstadt, Germany, in August 2013.

The 17 contributed papers presented  together with 6 invited lectures were carefully reviewed and selected from 30 submissions. The scope of the workshop spans the theoretical and practical aspects of formal logic, computing and programming theory, and natural language and reasoning.   

Keywords

information language logic mathematical logic theoretical computer science

Editors and affiliations

  • Leonid Libkin
    • 1
  • Ulrich Kohlenbach
    • 2
  • Ruy de Queiroz
    • 3
  1. 1.School of InformaticsUniversity of EdinburghEdinburghUK
  2. 2.Fachbereich MathematikTU DarmstadtDarmstadtGermany
  3. 3.Centro de InformáticaUniversidade Federal de Pernambuco (UFPE)RecifeBrazil

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-39991-6
  • Online ISBN 978-3-642-39992-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349