12 January 2023

Verifiability Talk 44: “The Kaspar robot”

Speaker: Gabriella Lakatos  (University of Hertfordshire)
Title: “The Kaspar robot”
Meeting Link: https://bit.ly/KASPERROBOT
Date: 12/01/2022
Time: 16:00 (GMT)