And now with the correct summit link: 🙂
[0] https://sel4.systems/Foundation/Summit/2023/
---
Dr. Birgit Brecknell
Project Officer
Trustworthy Systems, UNSW, birgit.brecknell@unsw.edu.aumailto:birgit.brecknell@unsw.edu.au
seL4 Foundation, birgit@sel4.systemsmailto:birgit@sel4.systems
0433 880 571
Mon 9am-5pm
Wed 9am-12pm
Fri 9am-5pm
________________________________
From: Announcements about seL4 -- low volume list
Sent: Wednesday, 10 May 2023 11:34 AM
To: Announcements about seL4 -- low volume list
Subject: [seL4 Announce] Register for the seL4 summit 2023
The seL4 summit 2023 [0] will be held in Minneapolis, USA, 19 - 21 September 2023.
The seL4 summit will cover the complete seL4 ecosystem, consisting of the verified microkernel, as well as all seL4-related technology, tools, infrastructure, products, projects, and people.
Tickets include:
- Participation in the 3-day conference, including talks, keynotes, seL4 updates & discussions
- Networking with other seL4 experts and enthusiasts
- Reception and Dinner
Register here [1]
The early bird cut-off date is 18 August 2023.
[0] http://localhost:8080/Foundation/Summit/2023/
[1] https://events.linuxfoundation.org/sel4-summit/
---
Dr. Birgit Brecknell
Project Officer
Trustworthy Systems, UNSW, birgit.brecknell@unsw.edu.aumailto:birgit.brecknell@unsw.edu.au
seL4 Foundation, birgit@sel4.systemsmailto:birgit@sel4.systems
0433 880 571
Mon 9am-5pm
Wed 9am-12pm
Fri 9am-5pm
_______________________________________________
Announce mailing list -- announce@sel4.systems
To unsubscribe send an email to announce-leave@sel4.systems
