seL4 Summit 2026

seL4 Summit 2026

1 - 3 September | Vancouver, Canada BC
View More Details & Registration
The schedule is subject to change, so please check back before the event for the most up-to-date information.

Please note that all session times are listed below in Pacific Daylight Time (PDT), UTC-7.

arrow_back View All Dates

08:00 PDT

Registration & Badge Pick-up Georgia Ballroom Foyer

09:00 PDT

Keynote: From Proof to Product: Why Formal Methods Is Finally Ready - Martin Dehnel-Wild, Chief Scientist, Kry10 Georgia Ballroom B

09:50 PDT

Announcements - June Andronick, Proofcraft & seL4 Foundation Georgia Ballroom B

10:00 PDT

Break Georgia A

10:30 PDT

Cyber-Hardened Satellite Software (CHSS) VMM - Robert VanVossen, Dornerworks Georgia Ballroom B

11:00 PDT

Throwing seL4 on the Throwbot 3 Robot - Nathan Studer, Dornerworks Georgia Ballroom B

11:15 PDT

Assured Robotics Embedded Systems and Applications in Ground Vehicles (ARSENAL) - Dave Lide, Trusted Science and Technology with Additional Speakers To Be Announced Georgia Ballroom B

11:30 PDT

Evolving Legacy Systems Towards Strong Spatial and Temporal Isolation with seL4 - Philipp Scholl, ABB Corporate Research Georgia Ballroom B

11:45 PDT

tSDX - Reference Architecture for Software Defined X - Nils Brand, Fraunhofer IESE Georgia Ballroom B

12:00 PDT

Lunchtime Poster Presentations Georgia Ballroom Foyer Lunch Georgia A

13:30 PDT

seL4's Security Proofs - Ryan Barry, Proofcraft Systems Georgia Ballroom B

14:00 PDT

Trustworthy Systems R&D Update - Gernot Heiser, UNSW Sydney Georgia Ballroom B

14:30 PDT

Where are we with Time Protection? Verification and Cross-domain Communication Update - Rob Sison, UNSW Sydney Georgia Ballroom B

15:00 PDT

Break Georgia A

15:30 PDT

Pancake Updates - Miki Tanaka, UNSW Georgia Ballroom B

16:00 PDT

Verifying seL4 device drivers with CN - Michal Podhradsky, Galois Georgia Ballroom B

16:15 PDT

Formalising Device Protocols for sDDF Driver Verification - Liam Murphy, UNSW Sydney Georgia Ballroom B

16:45 PDT

Verification of a UDP Implementation: Challenges and Solutions - Alain Kägi, Lewis & Clark College Georgia Ballroom B

17:00 PDT

Closing Remarks Georgia Ballroom B