On 3 Dec 2025, at 15:38, Cofer, Darren <Darren.Cofer@collins.com> wrote:

Hi June – 

 

Alicia says we also need a W9 for seL4 International (2025 version). 

 

Thanks – 

 

Darren

 

 

From: June Andronick (seL4 Foundation) <june@sel4.systems>
Sent: Wednesday, December 3, 2025 7:23 AM
To: Haffner, Alicia (USA) <alicia.haffner@rtx.com>; Cofer, Darren (USA) <Darren.Cofer@collins.com>
Cc: foundation-admin@sel4.systems
Subject: (seL4 Foundation) invoice for RTX's 2026 membership

 

Dear Alicia and Darren, Please find attached the invoice for the 2026 membership to the seL4 Foundation (legal name “seL4 International”). Thanks for your support, June ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍ ‍

Dear Alicia and Darren,

Please find attached the invoice for the 2026 membership to the seL4 Foundation (legal name “seL4 International”).

Thanks for your support,

June