About this event
The seL4 Summit is an annual international conference dedicated to the seL4 microkernel and related technologies. Taking place in Vancouver, Canada, from September 1-3, 2026, this summit is designed for developers, researchers, and users to learn about the latest advancements and applications of seL4 technology. Attendees can expect keynotes, technical sessions, and networking opportunities spanning three days, with a full day focused on applications and a rich lineup of expert speakers.
When
1-3 September 2026
3 days
Venue
Vancouver, Canada
Price
See website