Loading…
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.
← Back to schedule
Demystifying the seL4 Specification
Friday September 5, 2025 10:30 - 11:30 CEST
CD Ballroom
Speakers
avatar for Matt Brecknell

Matt Brecknell

Verification Engineer, Kry10
Matthew is a formal verification practitioner. He has made significant contributions to the seL4 verification story, and is a member of the seL4 Foundation Technical Steering Committee. At Kry10, Matthew is developing the next generation of high-assurance remotely-managed seL4-based... Read More →
MP

Mathieu Paturel

UNSW Sydney
Friday September 5, 2025 10:30 - 11:30 CEST
CD Ballroom
  Deep Dive

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

Tweet Share

Get help with the event

Contact event planner Event login
View support guides Find upcoming events
Create an event you'd love to attend !
Explore why organizers choose Sched • Success stories
Sched forms • Call for papers • Badges • Conferences • Event App • Scheduling • Event registration • Event ticketing
© 2025. SCHED LLC - All rights reserved - Helping events since 2008
Event Planning App • Privacy • Terms
Share Modal

Share this link via

Or copy link