Heriot-Watt University
MACS Seminars
Toggle navigation
All Seminars
Applied and Computational Mathematics
MAXIMALS
Mathematics of Information & Data Science
Maxwell Institute Probability Seminar
TEMSE
Lab for AI Verification Seminars
Actuarial and Financial Mathematics
Edinburgh Mathematical Physics Group
Analysis
Lab for AI Verification Seminars
Organiser:
Muhammad Najib
LAIV seminars provide a forum for AI, machine learning, verification, programming language, security and legal experts to meet and discuss the state of the art and future directions in Verification of AI.