The field of programming languages is moving towards the development of more secure and concurrent languages. Researchers are exploring new ways to ensure the integrity and reliability of programs, particularly in distributed and multi-agent systems. One of the key challenges is to prevent control-flow hijacking attacks and ensure the safety of communications between agents. To address this, new defense mechanisms and type systems are being proposed, such as linear implication types and dependent session types. These advances are enabling the creation of more robust and trustworthy programs, and are paving the way for the development of new applications in areas such as artificial intelligence and cybersecurity. Noteworthy papers in this area include: Grassroots Logic Programs, which presents a secure, multiagent, concurrent, logic programming language for implementing grassroots platforms. Breaking and Fixing Defenses Against Control-Flow Hijacking in Multi-Agent Systems, which proposes a new defense mechanism called ControlValve, inspired by the principles of control-flow integrity and least privilege. Dependent Session Types for Verified Concurrent Programming, which extends the Two-Level Linear dependent type theory with session-based concurrency, allowing for the verification of correctness properties of concurrent programs.