seL4 Summit 2025 Program
The seL4 Summit 2025 will feature a combination of technical research and development, real-world seL4 deployment insights, in-depth interactive discussions, thought-provoking keynotes, panel discussions, as well as informal social activities. Videos will be made available on the seL4 YouTube channel after the event.
Program-at-a-glance
Main Program
All times are local time in Prague, Czech Republic (GMT+2).
See the Schedule on LF Events.
Timing of sessions and room locations are subject to change.
Nick Spinale, Colias Group
Keynote
John Hatcliff, Jason Belt, Robby, Stefan Hallerstede, Robert VanVossen, Junaid Babar, Kansas State University, Aarhus University, Dornerworks, Collins Aerospace
Gerwin Klein, Proofcraft
Wanja Zaeske on behalf of Vincent Janson, German Aerospace Center (DLR)
David Cock, Neutrality
Matt Brecknell, Kry10
Alain Kägi, Daniel Neshyba-Rowe, Lewis & Clark College
Gordon Stewart, Riverside Research
Boyd Multerer, Kry10
Yanyan Shen, Dhammika Elkaduwe, NIO
Juliana Furgala, Samuel Jero, MIT Lincoln Laboratory
Darren Cofer, Collins Aerospace
June Andronick, seL4 Foundation
Alexander Boettcher, Sebastian Sumpf, Genode Labs
Sid Agrawal, Arya Stevinson, Linh Pham, Ethan Xu, Shaurya Patel, Hugo Lefeuvre, Aastha Mehta, Reto Achermann, Margo Seltzer, University of British Columbia, Oracle, Hammerspace
Robbie VanVossen, DornerWorks
Yuning Liang, Deep Computing
Peter de Ridder, MEP
Deep Dive
Gernot Heiser, UNSW Sydney
Thomas Sewell, UNSW Sydney
Junming Zhao, UNSW Sydney
Alexander Weidinger, Fraunhofer AISEC
Keynote
June Andronick, seL4 Foundation
Deep Dive
Mathieu Paturel, UNSW Sydney
Nick Spinale, Colias Group
Robbie VanVossen, DornerWorks
Social Activities
-
Prague Old Town & Josefov Walking Tour
Join June Andronick on a walking tour of the old town.
Date: Tuesday Sep 2, 2025
Time: 2pm
Cost: Free, but bookings are essential. Guides earn their money with tips.
Details: Free walking tour website
Location: Powder Tower Tower -
Prague Castle
Visit the Prague Castle.
We're looking for a volunteer to be the point of contact for this activity. Please email summit@sel4.systems if you're interested.
Date: Tuesday Sep 2, 2025
Time: 2pm
Cost: ~18 Euro, book online.
Details: Visiting the castle
Location: Prague Castle -
Prague Astronomical Clock Tower
Go on a guided tour of the Prague Astronomical Clock Tower.
We're looking for a volunteer to be the point of contact for this activity. Please email summit@sel4.systems if you're interested.
Date: Tuesday Sep 2, 2025
Time: 1:45pm, for a tour starting at 2pm
Cost: ~14 Euro entry + ~6 Euro for the guided tour.
Details: Official website
Location: Ticket Office on the ground floor of the Astronomical Clock Tower -
Prague Sightseeing Cruise
Join the Prague River sightseeing cruise.
We're looking for a volunteer to be the point of contact for this activity. Please email summit@sel4.systems if you're interested.
Date: Tuesday Sep 2, 2025
Time: 2pm
Cost: Tickets from 18 Euro
Details: Find out more on the cruise website
Location: Prague Boats