Computer Science Logic

23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings

  • Erich Grädel
  • Reinhard Kahle

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

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Mikołaj Bojańczyk
      Pages 1-1
    2. Thierry Coquand
      Pages 2-2
    3. Gilda Ferreira, Paulo Oliva
      Pages 3-19
  3. Special Invited Talk to Commemorate the Centenary of Stephen Cole Kleene

    1. Yiannis N. Moschovakis
      Pages 24-39
  4. Contributed Papers

    1. Beniamino Accattoli, Stefano Guerrini
      Pages 55-70
    2. Isolde Adler, Mark Weyer
      Pages 71-85
    3. Rajeev Alur, Pavol Černý, Scott Weinstein
      Pages 86-101
    4. Vince Bárány, Łukasz Kaiser, Alexander Rabinovich
      Pages 117-131
    5. Agata Ciabattoni, Lutz Straßburger, Kazushige Terui
      Pages 163-178
    6. Corina Cîrstea, Clemens Kupke, Dirk Pattinson
      Pages 179-193
    7. Mariangiola Dezani-Ciancaglini, Paola Giannini, Simona Ronchi Della Rocca
      Pages 209-224
    8. Jacques Duparc, Alessandro Facchini, Filip Murlak
      Pages 225-239
    9. Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson
      Pages 240-254
    10. Jörg Endrullis, Herman Geuvers, Hans Zantema
      Pages 255-270
    11. Marco Gaboardi, Romain Péchoux
      Pages 271-286
    12. Amélie Gheerbrant, Balder ten Cate
      Pages 287-301
    13. Heng Guo, Hanpin Wang, Zhongyuan Xu, Yongzhi Cao
      Pages 302-316
    14. Martin Hofmann, Dulma Rodriguez
      Pages 317-331
    15. Matthias Horbach, Christoph Weidenbach
      Pages 332-347
    16. Dietrich Kuske, Markus Lohrey
      Pages 364-378
    17. Angelo Montanari, Gabriele Puppis, Pietro Sala
      Pages 394-408
    18. Guillaume Munch-Maccagnoni
      Pages 409-423
    19. Alexander Rabinovich
      Pages 424-439
    20. Jan Schwinghammer, Lars Birkedal, Bernhard Reus, Hongseok Yang
      Pages 440-454
    21. Makoto Tatsuta
      Pages 470-484
    22. Michael Ummels, Dominik Wojtczak
      Pages 515-529
    23. Volker Weber
      Pages 530-545
    24. David Turner, Glynn Winskel
      Pages 546-560
  5. Appendix

    1. Johann A. Makowsky, Alexander Razborov
      Pages 561-565
  6. Back Matter

About these proceedings


The annual conference of the European Association for Computer Science Logic (EACSL), CSL 2009, was held in Coimbra (Portugal), September 7–11, 2009. The conference series started as a programme of International Workshops on Computer Science Logic, and then at its sixth meeting became the Annual C- ference of the EACSL. This conference was the 23rd meeting and 18th EACSL conference; it was organized at the Department of Mathematics, Faculty of S- ence and Technology, University of Coimbra. In response to the call for papers, a total of 122 abstracts were submitted to CSL 2009of which 89 werefollowedby a full paper. The ProgrammeCommittee selected 34 papers for presentation at the conference and publication in these proceedings. The Ackermann Award is the EACSL Outstanding Dissertation Award for Logic in Computer Science. The awardrecipient for 2009 was Jakob Nordstr¨ om. Citation of the award, abstract of the thesis, and a biographical sketch of the recipient may be found at the end of the proceedings. The award was sponsored for the years 2007–2009 by Logitech S.A.


algorithmic analysis computer computer science decidability forcing formal languages intuitionistic logic logic mu-calculus polynomial time rewriting tree languages type theory undecidability word problem

Editors and affiliations

  • Erich Grädel
    • 1
  • Reinhard Kahle
    • 2
  1. 1.Mathematische Grundlagen der InformatikRWTH AachenAachenGermany
  2. 2.CENTRIA and Departamento de MatemáticaUniversidade Nova de LisboaCaparicaPortugal

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-04026-9
  • Online ISBN 978-3-642-04027-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Materials & Steel
Chemical Manufacturing
Health & Hospitals
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment
Oil, Gas & Geosciences