Dear all,

Few pieces of information and clarification regarding the seL4 summit:

* Hobbyist tickets are available if you’re an seL4 enthusiast working on seL4 outside of your paid job and financing your participation to the summit on your own: hopin.com/events/sel4-summit-2022/registrationhttps://hopin.com/events/sel4-summit-2022/registration. * The seL4 bootcamp, offered to on-site participants on the 4th day, with hands-on training on various seL4 technologies, will be at the Edison Park conference centre, which is 900m / 10min walking distance for the INFINITY hotel where the rest of the summit is happening. * The location of both the summit and the bootcamp are close to the airport (4 S-Bahn stops, 20min) and a bit further away from the city (9 stops, 25min to Hauptbahnhof). * The booking of rooms at the INFINITY hotel happens in 2 stages: your registration at the summit allows you to book for the 2 nights of the 10th and 11th of October (confirmation emails for these 2 nights will shortly be sent to people who registered for them). To extend your stay for extra nights before and after these 2 nights, you can use the following special link: book.passkey.com/event/50375651/owner/1468684/homehttps://book.passkey.com/event/50375651/owner/1468684/home (you need to use the link twice, once for the nights before and once for the nights after). The total payment for all nights will be made onsite at the hotel. * For the nights after the seL4 summit, the INFINITY hotel is booked out from the 13th of October. We will shortly post suggestions of alternative hotels for these nights on the host's websitehttps://hensoldt-cyber.com/sel4-summit-2022/. * If you’re interested in supporting by sponsoring the seL4 summit and getting free passes and promotion opportunities, please contact summit@sel4.systemsmailto:summit@sel4.systems. * If you have any questions regarding location, venue, and registration, please contact sel4summit.cyber@hensoldt.netmailto:sel4summit.cyber@hensoldt.net. For all other questions, please contact summit@sel4.systemsmailto:summit@sel4.systems.

cheers June & Birg

---

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