<p>This book PSE 15584 constitutes the refereed proceedings of the 6th International School on Engineering Trustworthy Software Systems, SETSS 2024, held in Chongqing, China, in April 14-21, 2024.</p><p>The 5 full papers and 2 short papers were carefully reviewed and selected from 7 submissions. The proceedings focuses on</p><p>-Preparatory Course: Introduction to Mathematical Logic and Logic of Programming;</p><p>-Introduction to Digital Twins</p><p>-Theories of Contracts and Their Applications</p><p>-From Automata Models to Validated BCI-Based Cooperative Control On the Viability of Rigorous Approaches to Human-Cyber-Physical Systems of Systems; What Came First, Math or Computing?&#xa0;</p><p>-What Came First, Math or Computing?</p><p>-Software Engineering for Explainable AI</p><p>-Distribution Testing: The New Frontier for Formal Methods</p>