Workshop Program


FoMLAS 2018

Friday 20 April 2018, Amfitrion I

08:00 Registration opens
08:50 Welcome
09:00 – 10:00 Dr. Simon Burton (Chief Expert Safety and Reliability, BOSCH)
Challenges in applying ML-enabled systems in automotive systems
10:00 – 10:30 Coffee Break
10:30 – 11:30 Dr. Mauricio Castillo-Effen (Senior Researcher, Emerging Technologies & Advanced Technology Laboratories, Lockheed Martin)
Challenges in applying ML-enabled systems in avionics
11:30 – 12:30 Dr. Alhussein Fawzi (Scientist, DeepMind)
Adversarial examples in neural networks
12:30 – 14:00 Lunch Break
14:00 – 15:00 Dr. Xiaowei Huang (Lecturer, Univ. Liverpool)
Formal verification and testing of deep neural networks
15:00 – 16:00 Dr. John Rushby (Program Director, FMSD, SRI International)
Assurance for safety critical systems
16:00 – 16:30 Coffee Break
16:30 – 17:30 Panel discussion - formal methods for ML-enabled autonomous systems