seL4 Summit 2024

Important Dates:

• Abstracts due: 22 April 2024 29 April 2024
• Notification of decisions: 7 June 2024
• Summit: 15-17 October 2024

The submissions portal is now closed. Further information on the Call for Presentations.

Please contact summit@sel4.systems if you have any questions.