This book constitutes the proceedings of the 19thInternational Conference on Foundations of
Software Science and ComputationStructures FOSSACS 2016 which took place in Eindhoven The
Netherlands inApril 2016 held as Part of the European Joint Conferences on Theory andPractice
of Software ETAPS 2016. The 31 full papers presented in this volume werecarefully reviewed and
selected from 85 submissions. They were organized intopical sections named: types recursion
and fixed-points verification andprogram analysis automata logic games probabilistic and
timed systems proof theory and lambda calculus algorithms for infinite systems and monads.
