Verification Series
Combining learning with formal synthesis
16th September 2022, 11:00
![]()
Sadegh Souudjani
Newcastle University
School of Computer Science & Informatics
,
University of Liverpool
Ashton Street, Liverpool, L69 3BX
United Kingdom
Ashton Street, Liverpool, L69 3BX
United Kingdom
+44 (0)151 795 4275
Call the school
+44 (0)151 795 4275