August 12, 2019 - 10:00am to August 23, 2019 - 12:00pm
Members Only
The Center for AI Safety is excited to announce a free two-week course on model checking for verifying properties of complex systems. It will be taught by Professor Alessio Lomuscio, from Imperial College London, from 10:00 am - 12:00 noon on the Stanford campus, August 12-23 (with the exception of August 19). There are limited slots available. Those interested should contact Karen Anderson.