Foundations of Software Science and Computation Structures

19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings

  • Bart Jacobs
  • Christof Löding
Conference proceedings FoSSaCS 2016

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

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

Table of contents

  1. Front Matter
    Pages I-XI
  2. Types

    1. Front Matter
      Pages 1-1
    2. Neil Ghani, Fredrik Nordvall Forsberg, Alex Simpson
      Pages 3-19
    3. Aleš Bizjak, Hans Bugge Grathwohl, Ranald Clouston, Rasmus E. Møgelberg, Lars Birkedal
      Pages 20-35
    4. Danel Ahman, Neil Ghani, Gordon D. Plotkin
      Pages 36-54
    5. James Laird
      Pages 55-70
  3. Recursion and Fixed-Points

    1. Front Matter
      Pages 71-71
    2. Holger Bock Axelsen, Robin Kaarsgaard
      Pages 73-90
    3. Venanzio Capretta, Tarmo Uustalu
      Pages 91-106
    4. Stefan Milius, Dirk Pattinson, Thorsten Wißmann
      Pages 107-125
    5. Silvio Ghilardi, Maria João Gouveia, Luigi Santocanale
      Pages 126-141
  4. Verification and Program Analysis

    1. Front Matter
      Pages 143-143
    2. Adrian Francalanza
      Pages 145-161
    3. Ranko Lazić, Andrzej S. Murawski
      Pages 162-179
    4. Torben Amtoft, Anindya Banerjee
      Pages 180-196
  5. Automata, Logic, Games

    1. Front Matter
      Pages 215-215
    2. Romain Brenguier
      Pages 217-233
    3. Théo Pierron, Thomas Place, Marc Zeitoun
      Pages 234-251
    4. Dmitry Chistikov, Pavel Martyugin, Mahsa Shirmohammadi
      Pages 252-268
    5. Normann Decker, Daniel Thoma
      Pages 269-284
    6. Antoine Durand-Gasselin, Peter Habermehl
      Pages 285-300
  6. Probabilistic and Timed Systems

    1. Front Matter
      Pages 301-301
    2. Nathanaël Fijalkow, Stefan Kiefer, Mahsa Shirmohammadi
      Pages 303-318
    3. Parosh Aziz Abdulla, Radu Ciobanu, Richard Mayr, Arnaud Sangnier, Jeremy Sproston
      Pages 319-334
    4. Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya
      Pages 335-352
    5. Holger Hermanns, Jan Krčál, Steen Vester
      Pages 353-369
  7. Proof Theory and Lambda Calculus

    1. Front Matter
      Pages 371-371
    2. Clément Aubert, Marc Bagnol, Thomas Seiller
      Pages 373-389
    3. Kaustuv Chaudhuri, Sonia Marin, Lutz Straßburger
      Pages 390-407
  8. Algorithms for Infinite Systems

    1. Front Matter
      Pages 443-443
    2. Piotr Hofman, Sławomir Lasota, Ranko Lazić, Jérôme Leroux, Sylvain Schmitz, Patrick Totzke
      Pages 445-461
    3. Dmitry Chistikov, Wojciech Czerwiński, Piotr Hofman, Michał Pilipczuk, Michael Wehar
      Pages 462-478
    4. Klaus Dräger
      Pages 479-492
    5. José Meseguer
      Pages 493-509
  9. Monads

    1. Front Matter
      Pages 511-511
    2. Soichiro Fujii, Shin-ya Katsumata, Paul-André Melliès
      Pages 513-530
    3. Liang-Ting Chen, Jiří Adámek, Stefan Milius, Henning Urbat
      Pages 531-547
  10. Back Matter
    Pages 549-550

About these proceedings


This book constitutes the proceedings of the 19th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016.

The 31 full papers presented in this volume were carefully reviewed and selected from 85 submissions. They were organized in topical sections named: types; recursion and fixed-points; verification and program analysis; automata, logic, games; probabilistic and timed systems; proof theory and lambda calculus; algorithms for infinite systems; and monads.


formal languages modal logics semantics timed models type theory automata theory coalgebra hybrid models implicit complexity lambda calculus logic programming model checking parameterized distributed systems petri nets polymorphism proof theory recursion rewrite systems temporal logics transducers

Editors and affiliations

  • Bart Jacobs
    • 1
  • Christof Löding
    • 2
  1. 1.Radboud University NijmegenNijmegenThe Netherlands
  2. 2.RWTH Aachen UniversityAachenGermany

Bibliographic information

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