Controls/gitea-pages
0
2 Fork 3
Code Pull Requests Actions Activity

add EnhanceR Symposium 2026 announcement
Build and Deploy Documentation / build-and-deploy (push) Successful in 3s
Details

Browse Source
This commit is contained in:
acerbo_a committed 2026-11-02 11:51:16 +01:00
1 parent aed6880b65
commit a07160dadc
1 file changed
+7
Download Patch File Download Diff File Expand all files Collapse all files
docs/5._Controls_Internal/announcements.md
+7
View File
@@ -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