From a07160dadcdc0d778495d72618090b5b556ebfe8 Mon Sep 17 00:00:00 2001 From: acerbo_a Date: Mon, 2 Nov 2026 11:51:16 +0100 Subject: [PATCH] add EnhanceR Symposium 2026 announcement --- docs/5._Controls_Internal/announcements.md | 7 +++++++ 1 file changed, 7 insertions(+) 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