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.

13:30 PDT

Talk Title To Be Announced - Alistair Woodman, Erlang Ecosystem Foundation (EEF)

Tuesday September 1, 2026 13:30 - 14:00 PDT

Georgia Ballroom B

Speakers

Alistair Woodman

Board Member, Erlang Ecosystem Foundation (EEF)

Alistair has been working in the networking space since the 1980s. Product management jobs at Apple and Cisco kept him busy for over 20 years. For the last 10+ years he has been providing business development support for several open-source projects. His relationship to the Erlang... Read More →

Tuesday September 1, 2026 13:30 - 14:00 PDT
Georgia Ballroom B

Voices From Nearby

14:00 PDT

Trends in Formal Verification for Real-World Applications and Their Implications for the seL4 Ecosystem - David Hardin, Collins Aerospace

Tuesday September 1, 2026 14:00 - 14:30 PDT

Georgia Ballroom B

The formal methods community has made great progress in the past two decades to mature mathematically-precise techniques in order to tackle real-world design and analysis problems. In areas as diverse as hardware design, finance, systems engineering, software development, and law, increasingly the question is not, “Why would you use formal methods?” but rather “Why wouldn’t you?” With the assistance of powerful generative artificial intelligence agents, the barriers to entry for the use of formal methods tools are falling fast -- even mathematicians are now using proof tools. In this talk, we will detail a number of leading-edge tools and techniques that are enabling formal methods to be successfully applied in a number of critical real-world domains. We will also highlight the application of practical formal methods in a number of current government-sponsored Science and Technology initiatives, such as DARPA's Resilient Software Systems effort. We will also describe the Software Understanding initiative, which combines the rigorous practice of constructing (forward understanding) and assessing (reverse understanding) software-controlled systems in order to verify their functionality, safety, security, and reliability. Finally, we will reflect on the impact that these advances in real-world formal verification can have on the seL4 ecosystem.

Speakers

David Hardin

Chief Technologist, Applied Research and Technology, Collins Aerospace

David S. Hardin has made contributions in the areas of formal methods, computer architecture for High Assurance systems, as well as memory-safe programming languages. He is currently Chief Technologist for the Trusted Cyber team in the Applied Research and Technology organization... Read More →

Tuesday September 1, 2026 14:00 - 14:30 PDT
Georgia Ballroom B

Voices From Nearby

seL4 Summit 2026

13:30 PDT

Alistair Woodman

14:00 PDT

David Hardin

Get help with the event