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.