1 Table of Contents: “...Specify This - Bridging gaps between program specification paradigms -- X-by-Construction Meets...”

2 Table of Contents: “... for Concurrency -- Formal Methods in Industrial Practice - bridging the gap (Track Summary) -- Model-based Testing...”

3 Table of Contents: “...-Descriptive Hardware Devices – Bridging the Reality Gap -- The Meaning of Adaptation: Mastering the Unforeseen...”

4 “... are organized according to the following topical sections: specify this - bridging gaps between program...”

5 “... are organized according to the following topical sections: specify this - bridging gaps between program...”

6 “... are organized according to the following topical sections: specify this - bridging gaps between program...”

7 “...; formal methods in industrial practice - bridging the gap; reliable smart contracts: state-of-the-art...”

8 “...; formal methods in industrial practice - bridging the gap; reliable smart contracts: state-of-the-art...”