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

  • Andrew Pitts
Conference proceedings FoSSaCS 2015

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, 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
    5. Daniel Gebler, Kim Guldstrand Larsen, Simone Tini
      Pages 230-245
  7. Semantics of Programming Languages II

    1. Front Matter
      Pages 247-247
    2. Conrad Cotton-Barratt, David Hopkins, Andrzej S. Murawski, C. -H. Luke Ong
      Pages 249-263
    3. Guilhem Jaber
      Pages 264-278
    4. Aleš Bizjak, Lars Birkedal
      Pages 279-294
  8. Automata, Games, Verification

    1. Front Matter
      Pages 295-295
    2. Stefan Kiefer, Ines Marusic, James Worrell
      Pages 297-311
    3. Hsi-Ming Ho, Joël Ouaknine
      Pages 328-342
    4. Sylvain Salvati, Igor Walukiewicz
      Pages 343-357
  9. Logical Aspects of Computational Complexity

    1. Front Matter
      Pages 359-359
    2. Timos Antonopoulos, Paul Hunter, Shahab Raza, James Worrell
      Pages 361-374
    3. Peter Habermehl, Dietrich Kuske
      Pages 375-389
  10. Type Theory, Proof Theory and Implicit Computational Complexity

    1. Front Matter
      Pages 405-405
    2. Ranald Clouston, Aleš Bizjak, Hans Bugge Grathwohl, Lars Birkedal
      Pages 407-421
    3. Daniel Leivant, Ramyaa Ramyaa
      Pages 422-435
    4. Marc Bagnol, Amina Doumane, Alexis Saurin
      Pages 436-450
    5. Aleksy Schubert, Paweł Urzyczyn, Konrad Zdanowski
      Pages 451-465
  11. Back Matter
    Pages 467-467

About these proceedings


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.


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

  • Andrew Pitts
    • 1
  1. 1.University of CambridgeCambridgeUnited Kingdom

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2015
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-662-46677-3
  • Online ISBN 978-3-662-46678-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software