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

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