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.
Type: Deep Dive clear filter
Thursday, September 4
 

14:15 CEST

Trustworthy Systems R&D Update
Thursday September 4, 2025 14:15 - 15:00 CEST
CD Ballroom
Speakers
GH

Gernot Heiser

UNSW Sydney
Thursday September 4, 2025 14:15 - 15:00 CEST
CD Ballroom
  Deep Dive
 
Friday, September 5
 

10:30 CEST

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
 

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

Filter sessions
Apply filters to sessions.
Wednesday, September 3
Thursday, September 4
Friday, September 5
BCD Ballroom
CD Ballroom
Červený Jelen
Foyer
Restaurant
  • Break
  • Deep Dive
  • Expo Hall
  • General Session
  • Keynote Session
  • Panel Discussions and Birds of a Feather
  • Presentation Session
  • Registration