The field of complex systems is witnessing a significant shift towards understanding the interplay between network structures and dynamics. Recent studies have focused on the coevolution of actions and opinions in networks, highlighting the importance of game-theoretic mechanisms and social psychology in shaping collective behavior. The use of graphon theory has also been explored to analyze opinion dynamics on large undirected networks, allowing for the study of negative interactions and their impact on consensus and polarization. Furthermore, the application of formal verification techniques to biological systems, such as neuronal networks, is gaining traction, enabling the proof of properties and behavior of these complex systems. Noteworthy papers include:

• A study on the coevolution of actions and opinions in networks, which establishes conditions for reaching consensus configurations and characterizes regions of attraction for Nash equilibria.
• A paper on opinion dynamics on signed graphs and graphons, which provides a new convergence result for large random graphs sampled according to a graphon.
• A work on modelling and verifying neuronal archetypes in Coq, which proves properties concerning the dynamic behavior of these fundamental building blocks of neuronal circuits.