Jun 27 June 27, 2023 - June 30, 2023 Safety-Critical Software Summit (Prague, Czech Republic + Virtual)
Jul 18 July 18, 2023 - July 21, 2023 IEEE Space Mission Challenges for Information Technology – Space Computing Conference
Aug 30 9:00 am - 10:00 am ELISA Seminar: Automating Adherence to Safety Profiles After Fixing Vulnerabilities
Sep 6 7:00 am - 8:00 am ELISA Seminar: Xen Safety Certification: progress so far and plans for the future