It is our pleasure to confirm that the seL4 Summit 2023 will be in:
Minneapolis, USA, Sept/Oct 2023 (dates TBC).
The summit will be hosted by the Linux Foundation, and will be an in-person event.
We will announce a Call for Presentations in the coming weeks. Stay tuned!
