seL4 summit logo

seL4 Summit 2024

Sydney, Australia

15-17 October 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.