seL4 Summit 2026: Full Schedule

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

09:00 PDT

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

Wednesday September 2, 2026 09:00 - 09:50 PDT

Georgia Ballroom B

For most of its history, formal methods has been a discipline of proof rather than product: rigorous, powerful, and largely confined to academia. That is changing rapidly. I'll argue that FM is finally ready to deliver secure, resilient systems in the real world, and that the obstacles left are largely self-inflicted: a history of over-promising, tools that are painful to use and barely interoperate, and a habit of staying in the lab rather than supporting customers through real, evolving deployments.

Drawing on systems we're building today for a wide range of government and commercial partners, I'll make the case that security is fundamentally an economic argument rather than a quest for perfection: the goal is to make attacking a system so costly that adversaries focus elsewhere. Reaching that at scale depends far less on stronger proofs than on ruthless attention to wider adoption: on meeting real customers in the messy, changing environments they actually deploy into.

Regardless of your views on AI, it is rapidly lowering the barrier to entry. I'll show — not just tell — what becomes possible when modern AI is combined with formal tools and seL4. This is a talk for anyone who wants formal methods to matter beyond academia.

Speakers

Martin Dehnel-Wild

Chief Scientist, Kry10

Dr Martin Dehnel-Wild is Chief Scientist of Kry10, where he leads R&D and heads up Kry10’s UK & European office. He has a DPhil (PhD) in Computer Science from the University of Oxford, where he researched interactive and automated theorem proving for security protocols. Prior to... Read More →

Wednesday September 2, 2026 09:00 - 09:50 PDT
Georgia Ballroom B

Keynote Sessions

09:50 PDT

Announcements - June Andronick, Proofcraft & seL4 Foundation

Wednesday September 2, 2026 09:50 - 10:00 PDT

Georgia Ballroom B

Speakers

June Andronick

CEO, Proofcraft and seL4 Foundation

June Andronick is CEO and co-founder of Proofcraft, a company providing commercial support for software verification in general and the seL4 microkernel verification in particular. She is also CEO of the seL4 Foundation, and Adjunct Professor at UNSW Sydney. June has extensive leadership... Read More →

Wednesday September 2, 2026 09:50 - 10:00 PDT
Georgia Ballroom B

Keynote Sessions

17:00 PDT

Closing Remarks

Wednesday September 2, 2026 17:00 - 17:10 PDT

Georgia Ballroom B

Wednesday September 2, 2026 17:00 - 17:10 PDT
Georgia Ballroom B

Keynote Sessions

seL4 Summit 2026

09:00 PDT

Martin Dehnel-Wild

09:50 PDT

June Andronick

17:00 PDT

Get help with the event