Yes it was me. Do you need it for the seL4 foundation invoice?
June

On 5 Dec 2025, at 13:48, Cofer, Darren <Darren.Cofer@collins.com> wrote:

Who did the registration of Proofcraft in Ariba? Was it you?  


From: June Andronick (seL4 Foundation) <june@sel4.systems>
Sent: Friday, December 5, 2025 7:39:23 AM
To: Cofer, Darren (USA) <Darren.Cofer@collins.com>
Cc: Haffner, Alicia (USA) <alicia.haffner@rtx.com>; foundation-admin@sel4.systems <foundation-admin@sel4.systems>; Cournoyer, Jake (USA) <Jake.Cournoyer@rtx.com>; Gerwin Klein <gerwin@sel4.systems>
Subject: Re: (seL4 Foundation) invoice for RTX's 2026 membership
 
Hi Darren,

If you only need official name and registration number, that’s very easy:
- legal name: seL4 international
- address: Seestrasse 39, 8700 Küsnacht ZH, Switzerland
- registration number: CHE-276.739.771

The complex part of the W8 form is that it requires us to assess what US-tax law applies to a Swiss non-profit (but not (yet) tax-exempt) entity, with no concrete beneficiary holders, and revenue coming from around the world… (this was much easier to assess for Proofcraft)

If there’s anything else I can do or info I can provide to accelerate this while waiting for legal advice on the W8 form, please let me know.

Thanks
June

On 5 Dec 2025, at 13:32, Cofer, Darren <Darren.Cofer@collins.com> wrote:

June, wouldn’t you have had to do something similar when we got Proofcraft into the Ariba system?  

Alicia, what are we actually getting from the form — official entity name and some kind of EIN/TIN?  Any way to start the Ariba signup in parallel with getting the form?

Darren

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

 

Alicia D Haffner
Associate Director

O: +1 860.728.6225 (voicemail only)
alicia.haffner@rtx.com

 

RTX
Technology & Global Engineering (T&GE) Finance Operations
Remote from Connecticut

 

 
This message may contain RTX proprietary, business confidential, and/or privileged information. Unless you are the addressee (or authorized to receive mail for the addressee), you should not use, copy, or disclose to anyone this message or any information contained in this message. If you have received this message in error, please advise the sender by reply e-mail and delete this message; you should not otherwise use, distribute, retransmit, or reproduce this email. Thank you for your cooperation.

 

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

 

Hi Darren, Just letting you know that we’re working on this as we need to figure out what applies to us. It won’t be a W9 form (only for US entities) but a W8 form, and we’re getting advise on what exact status we fit it. Thanks for your patience. 

Hi Darren,

 

Just letting you know that we’re working on this as we need to figure out what applies to us. It won’t be a W9 form (only for US entities) but a W8 form, and we’re getting advise on what exact status we fit it. Thanks for your patience.

 

June


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