Foundations of Software Science and Computation Structures
29th International Conference, FoSSaCS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11–16, 2026, Proceedings
Buch in deiner Nähe kaufen
Beschreibung
This open access book constitutes the proceedings of the 29th International Conference on Foundations of Software Science and Computation Structures, FoSSaCS 2026, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, in Turin, Italy, during April 11–16, 2026.
The 30 papers included in these proceedings were carefully reviewed and selected from 104 submissions. They focus on foundational research in software science on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
This book is open access, which means that you have free and unlimited access
Autor*in
Nathalie Bertrand
Themen in »Foundations of Software Science and Computation Structures«
Open Access categorical models and logics language theory, automata, and games type theory and proof theory concurrency theory and process calculi modal, spatial, and temporal logics rewriting theory semantics of programming languages program analysis, correctness, transformation, and verification logics of programming software specification and refinement models of concurrent, reactive, and stochastic systems models of distributed, hybrid, and mobile systems emerging models of computation logical aspects of computational complexity