(Apologies for the formatting issues in the last attempt) We are very fortunate to welcome four leaders at major funding agencies to participate in a session "Funding agencies: priorities and vision" at the seL4 summit. They will each give their views on the priorities and vision of their agency in terms of high-assurance systems. 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