1. Introduction -- 2. Safety of Simple Machine Learning Models -- 3. Safety of Deep Learning -- 4. Robustness Verification of Deep Learning -- 5. Enhancement to Robustness and Generalization -- 6. Probabilistic Graph Model -- A. Mathematical Foundations -- B. Competitions.