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
    5. Patricia Bouyer, Vincent Jugé
      Pages 265-280
  6. Proof Theory

  7. Probability

    1. Front Matter
      Pages 319-319
    2. Vincent Danos, Tobias Heindel, Ilias Garnier, Jakob Grue Simonsen
      Pages 338-354
    3. Florence Clerc, Vincent Danos, Fredrik Dahlqvist, Ilias Garnier
      Pages 355-369
    4. Flavien Breuvart, Ugo Dal Lago, Agathe Herrou
      Pages 370-386
  8. Concurrency

    1. Front Matter
      Pages 387-387
    2. Ken Sakayori, Takeshi Tsukada
      Pages 389-406
    3. Paolo Baldan, Tommaso Padoan
      Pages 407-423
    4. Luís Cruz-Filipe, Kim S. Larsen, Fabrizio Montesi
      Pages 424-440
    5. Julien Lange, Nobuko Yoshida
      Pages 441-457
  9. Lambda Calculus and Constructive Proof

    1. Front Matter
      Pages 459-459
    2. Jasmin Christian Blanchette, Uwe Waldmann, Daniel Wand
      Pages 461-479
    3. Frédéric Gilbert
      Pages 480-495
  10. Semantics and Category Theory

    1. Front Matter
      Pages 497-497
    2. Paula Severi
      Pages 499-516
    3. Sergey Goncharov, Lutz Schröder, Christoph Rauch, Maciej Piróg
      Pages 517-533
    4. Thorsten Altenkirch, Nils Anders Danielsson, Nicolai Kraus
      Pages 534-549
    5. G. A. Kavvos
      Pages 550-566
  11. Back Matter
    Pages 567-568

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 Computer Science (R0)
  • Print ISBN 978-3-662-54457-0
  • Online ISBN 978-3-662-54458-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software