Foundations of Software Science and Computation Structures

Inside this Book

If you make use of this material, you may credit the authors as follows:

Bojańczyk Mikołaj and Simpson Alex (Editors), "Foundations of Software Science and Computation Structures", Springer Nature, 2019, DOI: 10.1007/978-3-030-17127-8, License:

This open access book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019. The 29 papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with foundational research with a clear significance for software science.


Computer Science, Mathematical Logic, Artificial Intelligence, Computer Science—mathematics, Data Structures (computer Science), Programming Languages (electronic Computers), Computer Programming

Rights | License

Except where otherwise noted, this item has been published under the following license:

Takedown policy

If you believe that this publication infringes copyright, please contact us at and provide relevant details so that we can investigate your claim.