Overview
- This book is open access, which means that you have free and unlimited access
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 13242)
Included in the following conference series:
Conference proceedings info: FoSSaCS 2022.
Buy print copy
Tax calculation will be finalised at checkout
Table of contents (23 papers)
-
Front Matter
Other volumes
-
Foundations of Software Science and Computation Structures
Keywords
- Categorical models and logics
- language theory, automata, and games
- modal, spatial, and temporal logics
- type theory and proof theory
- concurrency theory and process calculi; rewriting theory
- Open Access
- semantics of programming languages
- program analysis
- logics of programming
- software specification and refinement
- models of concurrent systems
- emerging models of computation
- logical aspects of computational complexity
- correctness, transformation, and verification
- models of software security
About this book
This open access book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2022, which was held during April 4-6, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022.
The 23 regular papers presented in this volume were carefully reviewed and selected from 77 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
Editors and Affiliations
Bibliographic Information
Book Title: Foundations of Software Science and Computation Structures
Book Subtitle: 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings
Editors: Patricia Bouyer, Lutz Schröder
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-99253-8
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: The Editor(s) (if applicable) and The Author(s) 2022
Softcover ISBN: 978-3-030-99252-1Published: 29 March 2022
eBook ISBN: 978-3-030-99253-8Published: 28 March 2022
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XVI, 471
Number of Illustrations: 69 b/w illustrations
Topics: Theory of Computation, Mathematical Logic and Foundations, Data Structures and Information Theory, Computer System Implementation, Mathematics of Computing
Industry Sectors: Aerospace, Consumer Packaged Goods, Electronics, Energy, Utilities & Environment, Engineering, Finance, Business & Banking, IT & Software, Law, Materials & Steel, Oil, Gas & Geosciences, Pharma, Telecommunications
