Computer Science Logic

16th International Workshop, CSL 2002 11th Annual Conference of the EACSL Edinburgh, Scotland, UK, September 22–25, 2002 Proceedings

  • Julian Bradfield

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

Table of contents

  1. Front Matter
    Pages I-XII
  2. Invited Lectures

    1. Susumu Hayashi, Yohji Akama
      Pages 1-1
    2. Frank Neven
      Pages 2-26
    3. Damian Niwiński
      Pages 27-44
  3. Rewriting and Constructive Mathematics

    1. Klaus Aehlig, Felix Joachimski
      Pages 59-74
    2. Alexey V. Chernov, Dmitriy P. Skvortsov, Elena Z. Skvortsova, Nikolai K. Vereshchagin
      Pages 74-88
    3. Douglas Bridges, Hajime Ishihara, Peter Schuster
      Pages 89-102
  4. Fixpoints and Recursion

  5. Linear and Resource Logics

    1. Harry G. Mairson, Xavier Rival
      Pages 151-166
    2. Joshua S. Hodas, Pablo López, Jeffrey Polakow, Lubomira Stoilova, Ernesto Pimentel
      Pages 167-182
    3. Didier Galmiche, Daniel Méry, David Pym
      Pages 183-199
  6. Semantics

    1. Pietro Cenciarelli
      Pages 200-215
    2. M. Andrew Moshier, Achim Jung
      Pages 216-232
  7. Temporal Logics and Games

About these proceedings

Introduction

The Annual Conference of the European Association for Computer Science Logic, CSL 2002, was held in the Old College of the University of Edinburgh on 22–25 September 2002. The conference series started as a programme of Int- national Workshops on Computer Science Logic, and then in its sixth meeting became the Annual Conference of the EACSL. This conference was the sixteenth meeting and eleventh EACSL conference; it was organized by the Laboratory for Foundations of Computer Science at the University of Edinburgh. The CSL 2002 Programme Committee considered 111 submissions from 28 countries during a two week electronic discussion; each paper was refereed by at least three reviewers. The Committee selected 37 papers for presentation at the conference and publication in these proceedings. The Programme Committee invited lectures from Susumu Hayashi, Frank Neven, and Damian Niwinski; ´ the papers provided by the invited speakers appear at the front of this volume. In addition to the main conference, two tutorials – ‘Introduction to Mu- Calculi’ (Julian Brad?eld) and ‘Parametrized Complexity’ (Martin Grohe) – were given on the previous day.

Keywords

AI Logic Computer Science Logic Formal Methods Higher-Order Logic Logical Calculi Logical Foundations Mathematical Logic Nonclassical Logics Program Logic Program Semantics Proof Theory Resolution complexity logic semantics

Editors and affiliations

  • Julian Bradfield
    • 1
  1. 1.Laboratory for Foundations of Computer Science Division of InformaticsUniversity of EdinburghEdinburghUK

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-45793-3
  • Copyright Information Springer-Verlag Berlin Heidelberg 2002
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-44240-0
  • Online ISBN 978-3-540-45793-0
  • Series Print ISSN 0302-9743
  • About this book
Industry Sectors
Electronics
Telecommunications
Biotechnology