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.
Sign up or log in to add sessions to your schedule and sync them to your phone or calendar.
1. TCCoE Overview & Update 2026 - Stuart Card, Critical Technologies, Inc. 2. Binary Verification for seL4 - Nick Spinale, Colias Group 3. VM Composer Poster - Robert VanVossem Dornerworks 4. Updates on Confidential Computing with seL4 - Alexander Weidinger, Fraunhofer AISEC 5. Rethinking seL4 Multicore Architecture: SMP vs. Multikernel - GuangtaoZhu & Julia Vassiliki, UNSW Sydney
