Foundations of Software Science and Computation Structures: 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I - Kobayashi, Naoki; Worrell, James (Springer Nature, 2024)
Keywords: Algorithms and data structures; and games; and temporal logics; automata; categorical models and logics; Computer programming / software engineering; Computer science; Computing and Information Technology; concurrency theory; emerging models of computation; Information theory; language theory; logical aspects of computational complexity; logics of programming; Mathematical foundations; Mathematical logic; Mathematical theory of computation; Mathematics; Mathematics and Science; Maths for computer scientists; modal; models of software security; program analysis; Reference, Information and Interdisciplinary subjects; Research and information: general; software specification and refinement; spatial; Systems analysis and design