00:00 Tom Wright, University of Manchester: ‘Simulation tools for exploration and characterisation of nuclear environments’
24:33 Angelo Ferrando, University of Manchester: Runtime Verification and ARIAC Competition
40:51 Angelo Ferrando, University of Manchester: Discussion session
