- Foundation-admin - lists.sel4.systems

Re: (seL4 Foundation) invoice for Kry'10's 2026 membership
by June Andronick (seL4 Foundation) 08 Dec '25

08 Dec '25

(resending from my foundation address, apologies) Jason: can you please confirm you have received it? I got an error message for accounts(a)kry10.com <mailto:accounts@kry10.com> Thanks June > On 7 Dec 2025, at 14:31, June Andronick <june.andronick(a)proofcraft.systems> wrote: > > Hi, > > Please find attached the invoice for the 2026 membership to the seL4 Foundation (legal name “seL4 International”). > > If you would prefer, we can offer an invoice in AUD, at AUD 4,682. If you would like to take that offer, please let us know by Friday 12th. If you’re like another currency, let us know as well. > > Thanks, > June > > > <Invoice INV-0005.pdf>

1 0

Re: (seL4 Foundation) invoice for RTX's 2026 membership
by June Andronick (seL4 Foundation) 06 Dec '25

06 Dec '25

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(a)rtx.com> wrote: > > Yes, please send over the invoice! <> > > Alicia D Haffner > Associate Director > > O: +1 860.728.6225 (voicemail only) > alicia.haffner(a)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(a)collins.com <mailto:Darren.Cofer@collins.com>> > Sent: Friday, December 5, 2025 8:28 AM > To: June Andronick (seL4 Foundation) <june(a)sel4.systems <mailto:june@sel4.systems>> > Cc: Haffner, Alicia (USA) <alicia.haffner(a)rtx.com <mailto:alicia.haffner@rtx.com>>; foundation-admin(a)sel4.systems <mailto:foundation-admin@sel4.systems>; Cournoyer, Jake (USA) <Jake.Cournoyer(a)rtx.com <mailto:Jake.Cournoyer@rtx.com>>; Gerwin Klein <gerwin(a)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(a)sel4.systems <mailto:june@sel4.systems>> > Sent: Friday, December 5, 2025 8:03:37 AM > To: Cofer, Darren (USA) <Darren.Cofer(a)collins.com <mailto:Darren.Cofer@collins.com>> > Cc: Haffner, Alicia (USA) <alicia.haffner(a)rtx.com <mailto:alicia.haffner@rtx.com>>; foundation-admin(a)sel4.systems <mailto:foundation-admin@sel4.systems> <foundation-admin(a)sel4.systems <mailto:foundation-admin@sel4.systems>>; Cournoyer, Jake (USA) <Jake.Cournoyer(a)rtx.com <mailto:Jake.Cournoyer@rtx.com>>; Gerwin Klein <gerwin(a)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(a)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(a)sel4.systems <mailto:june@sel4.systems>> > Sent: Friday, December 5, 2025 7:39:23 AM > To: Cofer, Darren (USA) <Darren.Cofer(a)collins.com <mailto:Darren.Cofer@collins.com>> > Cc: Haffner, Alicia (USA) <alicia.haffner(a)rtx.com <mailto:alicia.haffner@rtx.com>>; foundation-admin(a)sel4.systems <mailto:foundation-admin@sel4.systems> <foundation-admin(a)sel4.systems <mailto:foundation-admin@sel4.systems>>; Cournoyer, Jake (USA) <Jake.Cournoyer(a)rtx.com <mailto:Jake.Cournoyer@rtx.com>>; Gerwin Klein <gerwin(a)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(a)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(a)rtx.com <mailto:alicia.haffner@rtx.com>> > Sent: Friday, December 5, 2025 5:35 AM > To: June Andronick (seL4 Foundation) <june(a)sel4.systems <mailto:june@sel4.systems>> > Cc: foundation-admin(a)sel4.systems <mailto:foundation-admin@sel4.systems> <foundation-admin(a)sel4.systems <mailto:foundation-admin@sel4.systems>>; Cofer, Darren (USA) <Darren.Cofer(a)collins.com <mailto:Darren.Cofer@collins.com>>; Cournoyer, Jake (USA) <Jake.Cournoyer(a)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(a)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=Dw…> | X <https://urldefense.us/v2/url?u=https-3A__twitter.com_RTX-5FNews&d=DwMFaQ&c=…> | Instagram <https://urldefense.us/v2/url?u=https-3A__www.instagram.com_rtxcorporation_&…> | Facebook <https://urldefense.us/v2/url?u=https-3A__www.facebook.com_rtxcorporation_&d…> | YouTube <https://urldefense.us/v2/url?u=https-3A__www.youtube.com_raytheontechnologi…> > > 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(a)sel4.systems <mailto:june@sel4.systems>> > Sent: Friday, December 5, 2025 5:19 AM > To: Cofer, Darren (USA) <Darren.Cofer(a)collins.com <mailto:Darren.Cofer@collins.com>> > Cc: Haffner, Alicia (USA) <alicia.haffner(a)rtx.com <mailto:alicia.haffner@rtx.com>>; foundation-admin(a)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(a)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(a)sel4.systems <mailto:june@sel4.systems>> > Sent: Wednesday, December 3, 2025 7:23 AM > To: Haffner, Alicia (USA) <alicia.haffner(a)rtx.com <mailto:alicia.haffner@rtx.com>>; Cofer, Darren (USA) <Darren.Cofer(a)collins.com <mailto:Darren.Cofer@collins.com>> > Cc: foundation-admin(a)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

1 0

Re: (seL4 Foundation) invoice for RTX's 2026 membership
by June Andronick (seL4 Foundation) 06 Dec '25

06 Dec '25

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(a)collins.com> wrote: > > Who did the registration of Proofcraft in Ariba? Was it you? > > > From: June Andronick (seL4 Foundation) <june(a)sel4.systems <mailto:june@sel4.systems>> > Sent: Friday, December 5, 2025 7:39:23 AM > To: Cofer, Darren (USA) <Darren.Cofer(a)collins.com <mailto:Darren.Cofer@collins.com>> > Cc: Haffner, Alicia (USA) <alicia.haffner(a)rtx.com <mailto:alicia.haffner@rtx.com>>; foundation-admin(a)sel4.systems <mailto:foundation-admin@sel4.systems> <foundation-admin(a)sel4.systems <mailto:foundation-admin@sel4.systems>>; Cournoyer, Jake (USA) <Jake.Cournoyer(a)rtx.com <mailto:Jake.Cournoyer@rtx.com>>; Gerwin Klein <gerwin(a)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(a)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(a)rtx.com <mailto:alicia.haffner@rtx.com>> >> Sent: Friday, December 5, 2025 5:35 AM >> To: June Andronick (seL4 Foundation) <june(a)sel4.systems <mailto:june@sel4.systems>> >> Cc: foundation-admin(a)sel4.systems <mailto:foundation-admin@sel4.systems> <foundation-admin(a)sel4.systems <mailto:foundation-admin@sel4.systems>>; Cofer, Darren (USA) <Darren.Cofer(a)collins.com <mailto:Darren.Cofer@collins.com>>; Cournoyer, Jake (USA) <Jake.Cournoyer(a)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(a)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=Dw…> | X <https://urldefense.us/v2/url?u=https-3A__twitter.com_RTX-5FNews&d=DwMFaQ&c=…> | Instagram <https://urldefense.us/v2/url?u=https-3A__www.instagram.com_rtxcorporation_&…> | Facebook <https://urldefense.us/v2/url?u=https-3A__www.facebook.com_rtxcorporation_&d…> | YouTube <https://urldefense.us/v2/url?u=https-3A__www.youtube.com_raytheontechnologi…> >> >> 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(a)sel4.systems <mailto:june@sel4.systems>> >> Sent: Friday, December 5, 2025 5:19 AM >> To: Cofer, Darren (USA) <Darren.Cofer(a)collins.com <mailto:Darren.Cofer@collins.com>> >> Cc: Haffner, Alicia (USA) <alicia.haffner(a)rtx.com <mailto:alicia.haffner@rtx.com>>; foundation-admin(a)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(a)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(a)sel4.systems <mailto:june@sel4.systems>> >> Sent: Wednesday, December 3, 2025 7:23 AM >> To: Haffner, Alicia (USA) <alicia.haffner(a)rtx.com <mailto:alicia.haffner@rtx.com>>; Cofer, Darren (USA) <Darren.Cofer(a)collins.com <mailto:Darren.Cofer@collins.com>> >> Cc: foundation-admin(a)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

1 0

Re: (seL4 Foundation) invoice for RTX's 2026 membership
by June Andronick (seL4 Foundation) 05 Dec '25

05 Dec '25

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(a)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(a)rtx.com> > Sent: Friday, December 5, 2025 5:35 AM > To: June Andronick (seL4 Foundation) <june(a)sel4.systems> > Cc: foundation-admin(a)sel4.systems <foundation-admin(a)sel4.systems>; Cofer, Darren (USA) <Darren.Cofer(a)collins.com>; Cournoyer, Jake (USA) <Jake.Cournoyer(a)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(a)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: June Andronick (seL4 Foundation) <june(a)sel4.systems> > Sent: Friday, December 5, 2025 5:19 AM > To: Cofer, Darren (USA) <Darren.Cofer(a)collins.com> > Cc: Haffner, Alicia (USA) <alicia.haffner(a)rtx.com>; foundation-admin(a)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(a)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(a)sel4.systems <mailto:june@sel4.systems>> > Sent: Wednesday, December 3, 2025 7:23 AM > To: Haffner, Alicia (USA) <alicia.haffner(a)rtx.com <mailto:alicia.haffner@rtx.com>>; Cofer, Darren (USA) <Darren.Cofer(a)collins.com <mailto:Darren.Cofer@collins.com>> > Cc: foundation-admin(a)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 >

1 0

Re: (seL4 Foundation) invoice for RTX's 2026 membership
by June Andronick (seL4 Foundation) 05 Dec '25

05 Dec '25

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(a)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(a)sel4.systems <mailto:june@sel4.systems>> > Sent: Wednesday, December 3, 2025 7:23 AM > To: Haffner, Alicia (USA) <alicia.haffner(a)rtx.com <mailto:alicia.haffner@rtx.com>>; Cofer, Darren (USA) <Darren.Cofer(a)collins.com <mailto:Darren.Cofer@collins.com>> > Cc: foundation-admin(a)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

1 0

(seL4 Foundation) invoice for RTX's 2026 membership
by June Andronick (seL4 Foundation) 04 Dec '25

04 Dec '25

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

1 0

Re: (seL4 Foundation) invoice for MEP's 2026 membership
by June Andronick (seL4 Foundation) 02 Dec '25

02 Dec '25

Hi, No problem. Please find attached the new PO and invoice in EUR. These cancel the previous one sent in CHF. Thanks June > On 2 Dec 2025, at 09:31, Credits MEP <credits(a)mep-info.com> wrote: > > Dear June, > > Yes we prefer an invoice in euros please > > -----Oorspronkelijk bericht----- > Van: June Andronick (seL4 Foundation) <june(a)sel4.systems> > Verzonden: maandag 1 december 2025 15:32 > Aan: Werner van Eck <werner.van.eck(a)mep-info.com>; credits(a)mep-info.com > CC: foundation-admin(a)sel4.systems > Onderwerp: (seL4 Foundation) invoice for MEP's 2026 membership > > Hi Werner, > > Please find attached the PO and invoice for the 2026 membership to the seL4 Foundation (legal name “seL4 International”). > > If you would prefer, we can offer an invoice in EUR, at EUR 2,680. If you would like to take that offer, please let us know by Friday 5th. > > Thanks, > June > >

1 0

(seL4 Foundation) invoice for MEP's 2026 membership
by June Andronick (seL4 Foundation) 02 Dec '25

02 Dec '25

Hi Werner, Please find attached the PO and invoice for the 2026 membership to the seL4 Foundation (legal name “seL4 International”). If you would prefer, we can offer an invoice in EUR, at EUR 2,680. If you would like to take that offer, please let us know by Friday 5th. Thanks, June

1 0

(seL4 Foundation) invoice for Neutrality's 2026 membership
by June Andronick (seL4 Foundation) 02 Dec '25

02 Dec '25

Hi Stevens, Please find attached the PO and invoice for the 2026 membership to the seL4 Foundation (legal name “seL4 International”). Thanks, June

1 0

(seL4 Foundation) invoice for Proofcraft's 2026 membership
by June Andronick (seL4 Foundation) 01 Dec '25

01 Dec '25

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

1 0