Presentation on Developments in Science and Technology related to Verification University of Birmingham Statements 2023-12-07 EN