seL4 summit 2026: submission portal
Name
*
First Name
Last Name
Email
*
example@example.com
Affiliation
*
Title of submission
*
Themes
*
Vision, lessons-learned, roadmaps for verified software deployments
Use-cases, deployments, experiences
Walk-throughs and demos of tools, frameworks, systems
Early work, crazy ideas, out-of-the-box thinking
Technical progress, updates, breakthroughs
Other
Topics
*
seL4 experience reports
seL4 and assurance
seL4 on-going and planned R&D, mature or early stage
seL4 and hardware
Other
Discipline
*
Formal methods
Systems
Other
Talk length: Indicate your preference but please note that the PC has the final ruling on the length
*
Regular talk (30 mins)
Short talk (15 mins)
Poster
Walk-through/demo
The level of technical expertise required to follow your talk
*
Non-experts
1
2
3
4
Experts
5
1 is Non-experts, 5 is Experts
Other authors, if any (one per line, in the format: first name, last name, email, affiliation):
Who will present the work (if known):
Abstract (pdf only)
*
Browse Files
Drag and drop files here
Choose a file
Cancel
of
Submit
Should be Empty: