Re: (seL4 Foundation) invoice for RTX's 2026 membership
I have already sent the invoice. Here it is again. Let me know what I need to do with Ariba. Thanks June 
On 5 Dec 2025, at 14:43, Haffner, Alicia <alicia.haffner@rtx.com> wrote:
Yes, please send over the invoice! <>
Alicia D Haffner Associate Director
O: +1 860.728.6225 (voicemail only) alicia.haffner@rtx.com <mailto:alicia.haffner@rtx.com>
RTX Technology & Global Engineering (T&GE) Finance Operations Remote from Connecticut
RTX.com <https://www.rtx.com/> | LinkedIn <https://www.linkedin.com/company/rtx/> | X <https://twitter.com/RTX_News> | Instagram <https://www.instagram.com/rtxcorporation/> | Facebook <https://www.facebook.com/rtxcorporation/> | YouTube <https://www.youtube.com/raytheontechnologies>
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: Cofer, Darren (USA) <Darren.Cofer@collins.com <mailto:Darren.Cofer@collins.com>> Sent: Friday, December 5, 2025 8:28 AM To: June Andronick (seL4 Foundation) <june@sel4.systems <mailto:june@sel4.systems>> Cc: Haffner, Alicia (USA) <alicia.haffner@rtx.com <mailto:alicia.haffner@rtx.com>>; foundation-admin@sel4.systems <mailto:foundation-admin@sel4.systems>; Cournoyer, Jake (USA) <Jake.Cournoyer@rtx.com <mailto:Jake.Cournoyer@rtx.com>>; Gerwin Klein <gerwin@sel4.systems <mailto:gerwin@sel4.systems>> Subject: Re: (seL4 Foundation) invoice for RTX's 2026 membership
Yes, that is how we will get the invoice paid. I think Alicia will be sending whatever you need to get that started.
Darren
From: June Andronick (seL4 Foundation) <june@sel4.systems <mailto:june@sel4.systems>> Sent: Friday, December 5, 2025 8:03:37 AM To: Cofer, Darren (USA) <Darren.Cofer@collins.com <mailto:Darren.Cofer@collins.com>> Cc: Haffner, Alicia (USA) <alicia.haffner@rtx.com <mailto:alicia.haffner@rtx.com>>; foundation-admin@sel4.systems <mailto:foundation-admin@sel4.systems> <foundation-admin@sel4.systems <mailto:foundation-admin@sel4.systems>>; Cournoyer, Jake (USA) <Jake.Cournoyer@rtx.com <mailto:Jake.Cournoyer@rtx.com>>; Gerwin Klein <gerwin@sel4.systems <mailto:gerwin@sel4.systems>> Subject: Re: (seL4 Foundation) invoice for RTX's 2026 membership
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) 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 <mailto:Darren.Cofer@collins.com>> wrote:
Who did the registration of Proofcraft in Ariba? Was it you?
From: June Andronick (seL4 Foundation) <june@sel4.systems <mailto:june@sel4.systems>> Sent: Friday, December 5, 2025 7:39:23 AM To: Cofer, Darren (USA) <Darren.Cofer@collins.com <mailto:Darren.Cofer@collins.com>> Cc: Haffner, Alicia (USA) <alicia.haffner@rtx.com <mailto:alicia.haffner@rtx.com>>; foundation-admin@sel4.systems <mailto:foundation-admin@sel4.systems> <foundation-admin@sel4.systems <mailto:foundation-admin@sel4.systems>>; Cournoyer, Jake (USA) <Jake.Cournoyer@rtx.com <mailto:Jake.Cournoyer@rtx.com>>; Gerwin Klein <gerwin@sel4.systems <mailto: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 <mailto: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 <mailto:alicia.haffner@rtx.com>> Sent: Friday, December 5, 2025 5:35 AM To: June Andronick (seL4 Foundation) <june@sel4.systems <mailto:june@sel4.systems>> Cc: foundation-admin@sel4.systems <mailto:foundation-admin@sel4.systems> <foundation-admin@sel4.systems <mailto:foundation-admin@sel4.systems>>; Cofer, Darren (USA) <Darren.Cofer@collins.com <mailto:Darren.Cofer@collins.com>>; Cournoyer, Jake (USA) <Jake.Cournoyer@rtx.com <mailto:Jake.Cournoyer@rtx.com>> Subject: RE: (seL4 Foundation) invoice for RTX's 2026 membership
Thank you for letting us know June! We’ll be anxiously awaiting your W8. 😊
Alicia D Haffner Associate Director
O: +1 860.728.6225 (voicemail only) alicia.haffner@rtx.com <mailto:alicia.haffner@rtx.com>
RTX Technology & Global Engineering (T&GE) Finance Operations Remote from Connecticut
RTX.com <https://www.rtx.com/> | LinkedIn <https://urldefense.us/v2/url?u=https-3A__www.linkedin.com_company_rtx_&d=DwMFaQ&c=MASr1KIcYm9UGIT-jfIzwQg1YBeAkaJoBtxV_4o83uQ&r=5ldtob8u8I13rrjkjzH3niBvGQVziMfndv9F7gvctZ4&m=EdUHSSGlg_VLk71eWiyqnRP15InW36_Q2-RSPOqyPAzQHthnw0BezPwFiyK2W_zP&s=fyi0VitRc_LwlQYDqvSnvqFghvINtn545CXhxsdqNAc&e=> | X <https://urldefense.us/v2/url?u=https-3A__twitter.com_RTX-5FNews&d=DwMFaQ&c=MASr1KIcYm9UGIT-jfIzwQg1YBeAkaJoBtxV_4o83uQ&r=5ldtob8u8I13rrjkjzH3niBvGQVziMfndv9F7gvctZ4&m=EdUHSSGlg_VLk71eWiyqnRP15InW36_Q2-RSPOqyPAzQHthnw0BezPwFiyK2W_zP&s=INrgH_qelz_WIhgYBt95QgpYuYr0JX-56Z8ewNBSgTs&e=> | Instagram <https://urldefense.us/v2/url?u=https-3A__www.instagram.com_rtxcorporation_&d=DwMFaQ&c=MASr1KIcYm9UGIT-jfIzwQg1YBeAkaJoBtxV_4o83uQ&r=5ldtob8u8I13rrjkjzH3niBvGQVziMfndv9F7gvctZ4&m=EdUHSSGlg_VLk71eWiyqnRP15InW36_Q2-RSPOqyPAzQHthnw0BezPwFiyK2W_zP&s=34Frqwu5sc-OFbTsEj49LQmC4S2aI1gQfnpDh80Fgu8&e=> | Facebook <https://urldefense.us/v2/url?u=https-3A__www.facebook.com_rtxcorporation_&d=DwMFaQ&c=MASr1KIcYm9UGIT-jfIzwQg1YBeAkaJoBtxV_4o83uQ&r=5ldtob8u8I13rrjkjzH3niBvGQVziMfndv9F7gvctZ4&m=EdUHSSGlg_VLk71eWiyqnRP15InW36_Q2-RSPOqyPAzQHthnw0BezPwFiyK2W_zP&s=8QTcO_f_Ybj8F86mm2WVJtrDOEap14gVgUFjDqefXhE&e=> | YouTube <https://urldefense.us/v2/url?u=https-3A__www.youtube.com_raytheontechnologies&d=DwMFaQ&c=MASr1KIcYm9UGIT-jfIzwQg1YBeAkaJoBtxV_4o83uQ&r=5ldtob8u8I13rrjkjzH3niBvGQVziMfndv9F7gvctZ4&m=EdUHSSGlg_VLk71eWiyqnRP15InW36_Q2-RSPOqyPAzQHthnw0BezPwFiyK2W_zP&s=CjvIfhJzgyZZ1Ue3pa-MO8URkQZHpSIw831Gb-ZHpjQ&e=>
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 <mailto:june@sel4.systems>> Sent: Friday, December 5, 2025 5:19 AM To: Cofer, Darren (USA) <Darren.Cofer@collins.com <mailto:Darren.Cofer@collins.com>> Cc: Haffner, Alicia (USA) <alicia.haffner@rtx.com <mailto:alicia.haffner@rtx.com>>; foundation-admin@sel4.systems <mailto: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 <mailto: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 <mailto:june@sel4.systems>> Sent: Wednesday, December 3, 2025 7:23 AM To: Haffner, Alicia (USA) <alicia.haffner@rtx.com <mailto:alicia.haffner@rtx.com>>; Cofer, Darren (USA) <Darren.Cofer@collins.com <mailto:Darren.Cofer@collins.com>> Cc: foundation-admin@sel4.systems <mailto: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
participants (1)
-
June Andronick (seL4 Foundation)