FoSSaCS 2024: Report of the Program Chairs

The 27th edition of the Foundations of Software Science and Computation Structures (FoSSaCS) took place in Luxembourg City as part of the European Joint Conferences on Theory and Practice of Software (ETAPS), held from April 6 to 11, 2024. The conference received 108 submissions, of which 28 were accepted. Each paper underwent a careful evaluation by at least three members of the program committee, ensuring a high standard of review. Following the rebuttal period, there was a lively PC discussion which culminated in an online PC meeting to finalise the decisions. The chosen papers represented a broad cross-section of foundational topics related to programming and computer systems, including automata, games, logic, verification, concurrency theory, type theory, and categorical semantics.