Verification Series

GAI discussion

11th November 2026, 13:00 add to calenderGHolt 223
Joint Verification and ACS seminar
University of Liverpool

Abstract

Joint seminar of the Verification and Algorithms and Computing Systems (ACS) groups.
add to calender (including abstract)