Latest Events

An overview of all the latest events.

Showing events 1 of 1


Advances in Data Science Seminar: Certified learning, or learning for verification?

9 February 2021

We are witnessing an inter-disciplinary convergence between areas underpinned by model-based reasoning (such as formal verification or control theory) and by data-driven learning (ML and AI). Original work across these areas is strongly justified by scientific endeavours and industrial...

Learn More