Foundations of Software Science and Computation Structures

18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

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

Table of contents

  1. Front Matter
    Pages 1-13
  2. Invited Talk

    1. Front Matter
      Pages 1-1
    2. Frank Pfenning, Dennis Griffith
      Pages 3-22
  3. Semantics of Programming Languages I

    1. Front Matter
      Pages 23-23
    2. Charles Grellois, Paul-André Melliès
      Pages 41-55
    3. Pierre Clairambault, Peter Dybjer
      Pages 56-70
    4. Martín Abadi, Frank McSherry, Gordon D. Plotkin
      Pages 71-83
  4. Categorical Models and Logics

    1. Front Matter
      Pages 85-85
    2. Bart Jacobs, Bas Westerbaan, Bram Westerbaan
      Pages 87-101
    3. Ranald Clouston, Rajeev Goré
      Pages 133-147
  5. Modal and Temporal Logics

    1. Front Matter
      Pages 149-149
    2. Bartek Klin, Jurriaan Rot
      Pages 151-166
    3. Laura Bozzelli, Bastien Maubert, Sophie Pinchinat
      Pages 167-182
  6. Concurrent, Probabilistic and Timed Systems

    1. Front Matter
      Pages 183-183
    2. Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Radu Mardare
      Pages 185-199
    3. Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan, Yue Ben
      Pages 200-214
    4. Blaise Genest, Doron Peled, Sven Schewe
      Pages 215-229

About these proceedings

Introduction

This book constitutes the proceedings of the 18th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2015, held in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015.
The 28 full papers presented in this volume were carefully reviewed and selected from 93 submissions. They are organized in topical sections named: semantics of programming languages; categorical models and logics; concurrent, probabilistic and timed systems; automata, games, verification; logical aspects of computational complexity; and type theory, proof theory and implicit computational complexity. The book also contains one full paper invited talk.

Keywords

Analysis tools B formal language Certification Component reuse Component-based software Compositionality Consistency checking Evolution rules Formal methods Formal models Formal semantics Modeling approaches Models of computation Program analysis Quantitative verification Service-oriented computing Software adaptation Software verification and validation Timed automata Transformation

Editors and affiliations

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-662-46678-0
  • Copyright Information Springer-Verlag Berlin Heidelberg 2015
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-662-46677-3
  • Online ISBN 978-3-662-46678-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book