Hi all seL4 Summit 2022: A friendly reminder that there are only a few days left to book a summit ticket at the early bird rate The early bird rate ends on 12 Sep 2022. seL4 Summit 2022 This hybrid event will be held in Munich, Germany, 10-13 October 2022. 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 * A one-day bootcamp with workshops and trainings * Networking with other seL4 experts and enthusiasts * Participation in the mentoring program (for students and junior engineers) For more information, please visit https://sel4.systems/Foundation/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