09:00 • Welcome
09:10 • Keynote: The Age of Software Understanding - Anjana Rajan, CEO & Co-Founder, Atalanta
10:30 • seL4: What, Why, Who and Where? - June Andronick, Proofcraft and seL4 Foundation
11:30 • 10 Years of seL4 at NCSC - Adam, NCSC
13:30 • Talk Title To Be Announced - Alistair Woodman, Erlang Ecosystem Foundation (EEF)
14:00 • Trends in Formal Verification for Real-World Applications and Their Implications for the seL4 Ecosystem - David Hardin, Collins Aerospace
14:30 • Kry10 OS Software Safety Manual - Ihor Kuz, Kry10
15:30 • Navigating the Cyber Resilience Act: Real-World Lessons in Securing Connected Products - Jonathan Marshall, SafeShark
15:45 • Formal Verification now in European Cyber Resiliency standard for OS - June Andronick, Proofcraft and seL4 Foundation
16:00 • Panel Session & Speakers To Be Announced
17:00 • Closing Remarks
09:00 • Keynote: From Proof to Product: Why Formal Methods Is Finally Ready - Martin Dehnel-Wild, Chief Scientist, Kry10
09:50 • Announcements - June Andronick, Proofcraft & seL4 Foundation
10:30 • Cyber-Hardened Satellite Software (CHSS) VMM - Robert VanVossen, Dornerworks
11:00 • Throwing seL4 on the Throwbot 3 Robot - Nathan Studer, Dornerworks
11:15 • Assured Robotics Embedded Systems and Applications in Ground Vehicles (ARSENAL) - Dave Lide, Trusted Science and Technology with Additional Speakers To Be Announced
11:30 • Evolving Legacy Systems Towards Strong Spatial and Temporal Isolation with seL4 - Philipp Scholl, ABB Corporate Research
11:45 • tSDX - Reference Architecture for Software Defined X - Nils Brand, Fraunhofer IESE
13:30 • seL4's Security Proofs - Ryan Barry, Proofcraft Systems
14:00 • Trustworthy Systems R&D Update - Gernot Heiser, UNSW Sydney
14:30 • Where are we with Time Protection? Verification and Cross-domain Communication Update - Rob Sison, UNSW Sydney
15:30 • Pancake Updates - Miki Tanaka, UNSW
16:00 • Verifying seL4 device drivers with CN - Michal Podhradsky, Galois
16:15 • Formalising Device Protocols for sDDF Driver Verification - Liam Murphy, UNSW Sydney
16:45 • Verification of a UDP Implementation: Challenges and Solutions - Alain Kägi, Lewis & Clark College
17:00 • Closing Remarks
09:00 • Ask Me Anything' with the TSC - Speakers To Be Announced
09:30 • Simplifying Microkit System Composition with Acacia - Lesley Rossouw, UNSW Sydney
10:30 • A Policy-free Boot Process for seL4 - Daniel Schwyn, Neutrality
11:00 • Carrels: Secure, High-performance Microservice on seL4 - Guangtao Zhu, UNSW Sydney
11:30 • Single Kernel Multicore seL4 - Scott Brookes, Riverside Research
11:45 • Booting Windows on an x86-64 seL4-based VMM - Bill Nguyen, UNSW Sydney
13:30 • Rigorous Agentic Systems Engineering for seL4 using HAMR - John Hatcliff, Kansas State University
14:00 • Accessible Formal Methods – Building on a Strong sel4 Foundation Nick Tudor, D-RisQ Ltd.
14:15 • Efficient User-level Physical Memory Management on seL4 - Guangtao Zhu, UNSW Sydney
14:30 • Modeling and Performance Analysis of Ethernet on LionsOS - Lesley Rossouw, UNSW Sydney
15:00 • BoF Session: Details To Be Announced
16:15 • BoF Session: Details To Be Announced
16:45 • BoF Wrap-up
17:00 • Closing Remarks
