seL4 summit 2025: submission portal
Name
*
First Name
Last Name
Name
*
First Name
Last Name
Email
*
example@example.com
Affiliation
*
Title of submission
*
Theme
*
seL4 on-going and planned R&D, mature or early stage
seL4 experience reports
seL4 and hardware
seL4 and assurance
Other
Talk length: Indicate your preference but please note that the PC has the final ruling on the length
*
Long talk (30 mins)
Short talk (15 mins)
No preference
Other - please specify
Please specify preferred talk length (if other):
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: