The recent developments in the research area of Cyber-Physical Systems (CPS) and dataflow models of computation and communication (DF MoCCs) indicate a significant shift towards enhancing the specification and analysis of complex, mode-dependent systems under relaxed real-time constraints. Innovations are particularly focused on extending existing models to better capture the nuances of mode-dependent execution and to provide more robust static analysis tools. These advancements aim to improve the safety and reliability of CPS, especially in critical applications such as autonomous systems in space exploration.nnA notable trend is the extension of the PolyGraph model to include routing actors, leading to the development of the Real-time Mode-Aware Dataflow (RMDF) model. This model represents a leap forward in specifying and analyzing mode-dependent CPSs under relaxed real-time constraints, offering a more comprehensive framework for ensuring system safety and performance. Additionally, there is a growing emphasis on the importance of DF MoCCs in the design and analysis of CPS, with recent work focusing on classifying and comparing these models based on their expressiveness and analyzability.nnIn the realm of process calculi, there is an emerging interest in leveraging logical methods to study concurrency properties, such as deadlock-freedom, in the context of the {pi}-calculus. This approach not only provides a novel perspective on process analysis but also bridges the gap between logic, the expressiveness of the {pi}-calculus, and choreographic languages. Furthermore, the introduction of the hybrid {pi}-calculus (HpC) marks a significant advancement in modeling hybrid and mobile systems, particularly in the context of the Internet of Things (IoT). The HpC extends the classical {pi}-calculus to capture the dynamics of mobile communications and computations in a continuously evolving environment, thereby enhancing the theoretical foundation for ensuring the correctness and reliability of IoT infrastructures.nn### Noteworthy Papersn- Real-time Mode-Aware Dataflow: Introduces the RMDF model, extending PolyGraph with routing actors for better specification and analysis of mode-dependent CPSs under relaxed real-time constraints.n- An Extended Survey and a Comparison Framework for Dataflow Models: Provides a comprehensive survey and classification of DF MoCCs, proposing a framework for comparing their expressiveness and analyzability.n- The Ingenuity Mars Helicopter Specified and Analyzed with the Real-time Mode-aware Dataflow Model: Demonstrates the application of RMDF in specifying and analyzing the timing behavior of the Ingenuity Mars helicopter, including a feasibility test and analysis of a timing anomaly.n- Formulas as Processes, Deadlock-Freedom as Choreographies: Presents a novel logical approach to studying deadlock-freedom in the {pi}-calculus, extending the reach of logical methods in concurrency studies.n- HpC: A Calculus for Hybrid and Mobile Systems: Introduces the HpC, a conservative extension of the {pi}-calculus, to model hybrid and mobile systems in the IoT context, showcasing its application in a realistic handover protocol.