1 Table of Contents: “... for Protecting Privacy in the Biometric Age -- Have a Safe Trip Global Mobility and Machine Readable Travel...”

2 Table of Contents: “... - Languages and Verification -- Towards Automated Proof of Fail-Safe Behavior -- Verifying a time-triggered...”

3 Table of Contents: “... for Three-wayCatalysts -- Inherently-safe High Temperature Gas-cooled Reactor -- Monte Carlo Calculations...”

4 Table of Contents: “...-Scale Population Exposure Model (NEM/SAI) to Ozone Exposure Assessment -- New Approaches and Tools...”

5 “...-provoking and insightful analysis of how societies can continue to develop and thrive within the planet...”

6 “...Healthcare systems around the world are struggling under intense pressure. Ageing populations...”