seL4 Summit 2025: Full Schedule

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 Central European Summer Time (CEST), UTC +2.

09:00 CEST

Welcome

Wednesday September 3, 2025 09:00 - 09:10 CEST

CD Ballroom

Speakers

Nick Spinale

Collas Group

Wednesday September 3, 2025 09:00 - 09:10 CEST
CD Ballroom

General Session

09:45 CEST

seL4 Foundation Update

Thursday September 4, 2025 09:45 - 10:00 CEST

CD Ballroom

Speakers

June Andronick

seL 4 Foundation

Thursday September 4, 2025 09:45 - 10:00 CEST
CD Ballroom

General Session

09:50 CEST

Announcements

Friday September 5, 2025 09:50 - 10:00 CEST

CD Ballroom

Speakers

June Andronick

seL 4 Foundation

Friday September 5, 2025 09:50 - 10:00 CEST
CD Ballroom

General Session

15:15 CEST

Concluding Remarks

Friday September 5, 2025 15:15 - 15:30 CEST

CD Ballroom

Speakers

Robert VanVossen

Embedded Systems Engineer, Dornerworks

I am an embedded systems engineer at DornerWorks in Grand Rapids, Michigan. I have done work with ARINC653 extensions for the Xen Hypervisor. I am also involved with providing support for Xen on the Xilinx Zynq Ultrascale+ MPSoC.I co-presented at the 2014 Xen Developer's Summit.

Friday September 5, 2025 15:15 - 15:30 CEST
CD Ballroom

General Session

seL4 Summit 2025

09:00 CEST

Nick Spinale

09:45 CEST

June Andronick

09:50 CEST

June Andronick

15:15 CEST

Robert VanVossen

Get help with the event