1 Table of Contents: “...Towards LLM-based System Migration in Language-Driven Engineering -- Synthesizing Understandable...”

2 Table of Contents: “... Functions -- Synthesizing Subtle Bugs with Known Witnesses -- Statistical Model Checking, The 2018 edition...”

3 Table of Contents: “... -- Synthesizing Control for a System with Black Box Environment, based on Deep Learning -- A Formal Model...”

4 Table of Contents: “... Vehicles: the SOTA Approach -- Synthesizing Capabilities for Collective Adaptive Systems from Self...”

5 Table of Contents: “... Efficiency of Evolving Critical Systems -- Combinatory Logic Synthesizer -- Incremental Syntactic-Semantic...”

6 Table of Contents: “... Checking Platform -- Synthesizing Energy-Optimal Controllers for Multiprocessor Dataflow Applications...”