Advertisement

Computer Science Logic

22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings

  • Editors
  • Michael Kaminski
  • Simone Martini
Conference proceedings CSL 2008

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

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio
      Pages 1-14
    2. Pierre-Louis Curien
      Pages 15-22
    3. Luca Cardelli
      Pages 32-32
  3. Contributed Papers

    1. Salvatore La Torre, P. Madhusudan, Gennaro Parlato
      Pages 33-48
    2. Guillaume Bonfante, Reinhard Kahle, Jean-Yves Marion, Isabel Oitavem
      Pages 49-63
    3. Pierre McKenzie, Michael Thomas, Heribert Vollmer
      Pages 64-78
    4. Martin Hofmann, Ulrich Schöpp
      Pages 79-93
    5. Witold Charatonik, Michał Wrona
      Pages 94-108
    6. Nadia Creignou, Henning Schnoor, Ilka Schnoor
      Pages 109-123
    7. Gaëlle Fontaine
      Pages 139-153
    8. Olaf Beyersdorff, Sebastian Müller
      Pages 199-214
    9. Stefano Berardi, Ugo de’Liguoro
      Pages 215-229
    10. Ugo Dal Lago, Olivier Laurent
      Pages 230-245
    11. Masahiro Hamano, Ryo Takemura
      Pages 262-277
    12. Matthias Horbach, Christoph Weidenbach
      Pages 293-307
    13. Ian Hodkinson, Angelo Montanari, Guido Sciavicco
      Pages 308-322
    14. Rémi Brochenin, Stéphane Demri, Etienne Lozes
      Pages 323-338
    15. T. Kotek, J. A. Makowsky, B. Zilber
      Pages 339-353
    16. Anuj Dawar, Erich Grädel
      Pages 354-368
    17. Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger
      Pages 385-400
    18. Andreas Abel, Dulma Rodriguez
      Pages 446-460
    19. Mariangiola Dezani-Ciancaglini, Roberto Di Cosmo, Elio Giovannetti, Makoto Tatsuta
      Pages 461-477
    20. Koji Nakazawa, Makoto Tatsuta, Yukiyoshi Kameyama, Hiroshi Nakano
      Pages 478-492
    21. Gilles Barthe, Benjamin Grégoire, Colin Riba
      Pages 493-507
  4. The Ackermann Session

    1. J. A. Makowsky, D. Niwinski
      Pages 508-512
  5. Back Matter

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held as the 17th Annual Conference of the EACSL in Bertinoro, Italy, in September 2008.

The 31 revised full papers presented together with 4 invited lectures were carefully reviewed and selected from 102 submissions. All current aspects of logic in computer science are addressed, ranging from foundational and methodological issues to application issues of practical relevance. The book concludes with a presentation of this year's Ackermann award.

Keywords

Arithmetic C programming language Finite Joy Morphism algorithms calculi classical logic complexity higher order logic logic programming mathematical logic model checking optimization proving

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-87531-4
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-87530-7
  • Online ISBN 978-3-540-87531-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site