Events

  • 11 Apr 2025 - project kick-off
  • 20-22 April 2026 (Cracow, Poland) - presentation of “Formal verification and conformal prediction for spacecraft telemetry anomaly detection” at 7th Polish Conference on Artificial Intelligence
  • 07 May 2026 (Sardinia, Italy) - presentation of “Verification and Validation of Machine Learning for Telemetry Anomaly Detection in Small Satellites” at 4S Symposium 2026
  • 25 July 2026 (Lisbon, Portugal) - presentation of “Formal Verification for Machine Learning-Based Telemetry Anomaly Detection” at Automated Reasoning for Future Space Logistics workshop
  • 28 September 2026 (Sevilla, Spain) - presentation of “A Synthetic Image Dataset for Robust Hazard Detection in Asteroid Environment” at ESA GNC & ICATT 2026