diff --git a/docs/5._Controls_Internal/announcements.md b/docs/5._Controls_Internal/announcements.md index 0d0ab0c..400a79b 100644 --- a/docs/5._Controls_Internal/announcements.md +++ b/docs/5._Controls_Internal/announcements.md @@ -23,3 +23,10 @@ https://nuudel.digitalcourage.de/GQOVtOgi24tnzT2M I’m looking forward to sharing this evening with all of you! Alex + + +### EnhanceR Symposium 2026 + +The EnhanceR Symposium 2026 will be held on November 30, 2026 at PSI. The focus this year is "AI in Scientific Coding Workflows". I will give a 20-minute oral presentation on the use of AI in Formal Verification and Identification of Failure Modes in a Heterogeneous Control System. If anyone else is working on something similar and would like to contribute, or in general has interest in this topic, please reach out. + +Alvin