Submission portal for the seL4 Summit 2025
Important Dates:
- Abstracts due:
21 April 20252 May 2025 - Notification of decisions:
6 June 20259 June 2025 - Summit: 3 - 5 September 2025
Please contact summit@sel4.systems if you have any questions.
Please contact summit@sel4.systems if you have any questions.