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