Announce

Download

announce@sel4.systems

September 2026

1 participants
2 discussions

The Australian National University joins seL4 Foundation
by Announcements about seL4 -- low volume list 18 Sep '26

18 Sep '26

The seL4 Foundation [0] is pleased to welcome the Australian National University (ANU) [1] as an Associate Member. ANU’s School of Computing has a longstanding connection to seL4, and ANU researchers have contributed to seL4’s original verification efforts [2] and DARPA’s HACMS program [3]. This research contribution continues to grow through a broader concentration of formal methods and programming-languages expertise at ANU. Current work involves the development of programming languages for use with the seL4 Microkit [4]. The membership strengthens active collaborations between ANU’s School of Computing and fellow Australian-based member organisations on the development of secure technology based on the seL4 ecosystem. [0] https://sel4.systems/Foundation/ [1] https://www.anu.edu.au/ [2] https://sel4.systems/About/history.html [3] https://www.darpa.mil/research/programs/high-assurance-cyber-military-syste… [4] https://docs.sel4.systems/projects/microkit/ -- Birgit Brecknell seL4 Foundation Project Coordinator Sydney, Australia Mon 9-5 Wed 2-5 Fri 9-5 birgit(a)sel4.systems bbrcknl(a)gmail.com

1 0

The videos and slides of the seL4 Summit 2026 are available online
by Announcements about seL4 -- low volume list 16 Sep '26

16 Sep '26

The videos and slides of the seL4 Summit 2026 are available online Videos of the seL4 Summit 2026 [0] are now available on the seL4 YouTube channel [1]! Links, slides, and posters can be found on the summit Program [2] and Abstracts [3] pages. Thanks to all the speakers for making the seL4 Summit 2026 a great success [5]! [0] https://sel4.systems/Summit/2026/ [1] https://www.youtube.com/playlist?list=PLd7rrADYxxQQ [2] https://sel4.systems/Summit/2026/program.html [3] https://sel4.systems/Summit/2026/abstracts2026.html [4] https://sel4.systems/Summit/2026/#gallery -- Birgit Brecknell seL4 Foundation Project Coordinator Sydney, Australia Mon 9-5 Wed 2-5 Fri 9-5 birgit(a)sel4.systems bbrcknl(a)gmail.com

1 0