This volume presents selected papers from two collocated workshops held alongside the 22nd International Workshop on Software Engineering and Formal Methods (SEFM 2024). The book contains 20 full papers, carefully reviewed and selected from 36 submissions, focusing on advancements in Reconfigurable Transition Systems (ReacTS 2024) and Cognition: Interdisciplinary Foundations, Models and Applications (CIFMA 2024). These papers explore the latest research at the intersection of software engineering principles and formal verification techniques, offering insights into the theoretical and practical applications of these fields.

This collection of papers from the SEFM 2024 collocated workshops, ReacTS 2024 and CIFMA 2024, offers a snapshot of current research in specialized areas of software engineering and formal methods. The selection process, involving 20 papers from 36 submissions, suggests a rigorous review standard for the included contributions. The focus on specific workshops indicates a targeted audience interested in the detailed advancements within reconfigurable transition systems and the interdisciplinary foundations of cognition in computing. The volume serves as a valuable resource for researchers and practitioners seeking to stay abreast of niche developments in these fields.