✨ ELLIS Unit Delft joined ELSA - European Lighthouse on Secure and Safe AI as an Associate Member. ✨
Anna Lukina will lead TU Delft’s involvement in the ELSA project over the next year.
Anna Lukina will lead TU Delft’s involvement in the ELSA project over the next year.
#elsa #ai #ellis | TU Delft | AI
✨ ELLIS Unit Delft joined ELSA - European Lighthouse on Secure and Safe AI as an Associate Member. ✨
Anna Lukina will lead TU Delft’s involvement in the ELSA project over the next year. She states: “...
www.linkedin.com
September 9, 2025 at 10:01 AM
✨ ELLIS Unit Delft joined ELSA - European Lighthouse on Secure and Safe AI as an Associate Member. ✨
Anna Lukina will lead TU Delft’s involvement in the ELSA project over the next year.
Anna Lukina will lead TU Delft’s involvement in the ELSA project over the next year.
✔ It's SAIV 2025! We are excited to welcome you to Zagreb for this year’s International Symposium on AI Verification. #isaiv2025
www.aiverification.org/2025/
📄 The call for papers is open!
Abstract: April 17
Paper: April 24
🏆 VNN-COMP’25.
⚙ New: SAIV invites benchmark and case-study papers.
www.aiverification.org/2025/
📄 The call for papers is open!
Abstract: April 17
Paper: April 24
🏆 VNN-COMP’25.
⚙ New: SAIV invites benchmark and case-study papers.
February 17, 2025 at 1:41 PM
✔ It's SAIV 2025! We are excited to welcome you to Zagreb for this year’s International Symposium on AI Verification. #isaiv2025
www.aiverification.org/2025/
📄 The call for papers is open!
Abstract: April 17
Paper: April 24
🏆 VNN-COMP’25.
⚙ New: SAIV invites benchmark and case-study papers.
www.aiverification.org/2025/
📄 The call for papers is open!
Abstract: April 17
Paper: April 24
🏆 VNN-COMP’25.
⚙ New: SAIV invites benchmark and case-study papers.