We are very fortunate to welcome four leaders at major funding agencies to participate in a session Funding agencies: priorities and vision<https://sel4.systems/Foundation/Summit/abstracts2022#a-Funding-agencies> at the seL4 summit<https://sel4.systems/Foundation/Summit/>. They will each give their views on the priorities and vision of their agency in terms of high-assurance systems. [William “Brad” Martin] William “Brad” Martin<https://sel4.systems/Foundation/Summit/abstracts2022#a-Funding-agencies-darpa> DARPA [Paul Waller] Paul Waller<https://sel4.systems/Foundation/Summit/abstracts2022#a-Funding-agencies-ncsc> NCSC [Cyberagentur] Sebastian Jester<https://sel4.systems/Foundation/Summit/abstracts2022#a-Funding-agencies-cyberagentur> Cyberagentur [TII] Shreekant (Ticky) Thakkar<https://sel4.systems/Foundation/Summit/abstracts2022#a-Funding-agencies-tii> TII --- Dr. Birgit Brecknell Project Officer Trustworthy Systems, UNSW, birgit.brecknell@unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au> seL4 Foundation, birgit@sel4.systems<mailto:birgit@sel4.systems> 0433 880 571 Mon 9am-5pm Wed 9am-12pm Fri 9am-5pm