In the framework of the SPRING Doctoral Network series of schools, workshops and applied research seminars, the first event addresses Model-based Provable Guarantees. School 1 is planned from 30th November to 4th December 2026, at University of Orleans in Bourges city, France.

Over five days of lectures and discussions, leading experts from the SPRING consortium will cover topics including:

  • Systems and control methods for CPS design, by Prof. Dr. Nacim Ramdani, University of Orleans (FR);
  • Formal modelling and analysis of distributed cyber-physical systems with Maude by Prof. Dr. Peter Csaba Ölveczky, University of Oslo (NO);
  • Playing Games for Correctness’ Sake by Prof. Dr. Martin Fränzle, University of Oldenburg (DE) & Dr. Bettina Könighofer, Graz University of Technology (AT);
  • Biases and Fairness in Machine Learning by Prof. Barbara Hammer, Bielefeld University (DE).

Participants will gain both theoretical foundations and practical insights into formal methods, distributed control systems, and trustworthy AI for critical infrastructures.

Venue : IUT de Bourges, 63 av. de Lattre de Tassigny, 18000 Bourges, France.