The seL4 Summit is the annual international summit on the seL4 microkernel and associated technology, tools, infrastructure, products, projects, and people. The program committee co-chairs assemble thought-provoking talks, keynotes, "voices from nearby" and panel discussions.
Stay tuned by following us on LinkedIn or subscribing to the RSS for our News page.
Sydney, Australia, late Sep / early Oct 2027 (TBC)
Call for Presentations
Share your seL4 work, experiences and thoughts at the seL4 Summit 2027.
Coming soon
Registration, Location & Venue
Information about location, venue and travel.
Coming soon
Program
Program and abstracts of the seL4 Summit 2027.
Coming soon
About
The seL4 Summit:
- Features a full first day dedicated to applications, overviews, and perspectives on seL4-based systems and formally verified software in the real world.
- Offers two following days focusing on more technical development, research, reports, and discussions.
- Provides an ideal opportunity for people new to seL4 or who are still developing their familiarity to gain a high-level view of the landscape and ecosystem.
The seL4 Summit gathers the seL4 community to learn, share, and connect.
- Learn about the seL4 technology, its latest progress, use, successes, challenges, plans.
- Share exciting seL4 development, research, experience, applications in the real world.
- Connect with other seL4 developers, users, providers, customers, supporters, potential partners and enthusiasts.
For any questions regarding the summit, please contact summit@sel4.systems.
Co-chairs
-
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 Kry10 he set up and led the UK Government’s formal methods (“provable security”) team, bringing rigorous, automated assurance tooling and techniques to the UK’s most critical and highest security systems. Most of his work over the last 10+ years has focused on pulling formal-methods based tools for software, hardware, and cryptography through to use by regular developers, promoting uptake and use across industry, government, and academia. -
Lucy Fletcher
Software Engineer, Apple
Lucy Fletcher is a software engineer at Apple based in Sydney, Australia, working on L4 microkernels and the surrounding ecosystems. Before joining Apple, she studied Computer Science at UNSW and worked with the Trustworthy Systems group, where she focused on the design and development of the seL4 device driver framework. Lucy is passionate about giving back to the seL4 community and supporting its continued growth.