Foundations of Software Science and Computation Structures

20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

  • Javier Esparza
  • Andrzej S. Murawski
Conference proceedings FoSSaCS 2017

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 10203)

Table of contents

  1. Front Matter
    Pages I-XVII
  2. Coherence Spaces and Higher-Order Computation

    1. Front Matter
      Pages 1-1
    2. Kei Matsumoto
      Pages 3-19
    3. Raphaëlle Crubillé, Thomas Ehrhard, Michele Pagani, Christine Tasson
      Pages 20-35
    4. Ryoma Sin’ya, Kazuyuki Asada, Naoki Kobayashi, Takeshi Tsukada
      Pages 53-68
  3. Algebra and Coalgebra

    1. Front Matter
      Pages 69-69
    2. Damien Pous, Jurriaan Rot
      Pages 106-123
    3. Lutz Schröder, Dexter Kozen, Stefan Milius, Thorsten Wißmann
      Pages 124-142
  4. Games and Automata

    1. Front Matter
      Pages 143-143
    2. Véronique Bruyère, Stéphane Le Roux, Arno Pauly, Jean-François Raskin
      Pages 145-161
    3. Damien Busatto-Gaston, Benjamin Monmege, Pierre-Alain Reynier
      Pages 162-178
    4. Patricia Bouyer, Piotr Hofman, Nicolas Markey, Mickael Randour, Martin Zimmermann
      Pages 179-195
    5. Sergio Abriola, Diego Figueira, Santiago Figueira
      Pages 196-212
  5. Automata, Logic and Formal Languages

    1. Front Matter
      Pages 213-213
    2. Laure Daviaud, Ismaël Jecker, Pierre-Alain Reynier, Didier Villevalois
      Pages 215-230
    3. Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
      Pages 231-247
    4. Peter Thiemann
      Pages 248-264

About these proceedings


This book constitutes the proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.

The 32 papers presented in this volume were carefully reviewed and selected from 101 submissions. They were organized in topical sections named: coherence spaces and higher-order computation; algebra and coalgebra; games and automata; automata, logic and formal languages; proof theory; probability; concurrency; lambda calculus and constructive proof; and semantics and category theory.


software engineering formal logic mathematical logic formal languages programming languages compilers interpreters finite automata coalgebra numerical methods Markov chains probability semantics satisfiability problems artificial intelligence context free languages

Editors and affiliations

  • Javier Esparza
    • 1
  • Andrzej S. Murawski
    • 2
  1. 1.TU MünchenGarchingGermany
  2. 2.University of WarwickCoventryUnited Kingdom

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag GmbH Germany 2017
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-662-54457-0
  • Online ISBN 978-3-662-54458-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book