School 2: Data-driven approaches to resilience and safety

School 1 on Scalable model-based provable resilience & safety guarantees (OM1) (4 days) offers a four-day training on formal-methods and distributed control systems theory for criticial infrastructure, and a first training in research ethics /...