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.
