On 7 Dec 2025, at 14:31, June Andronick <june.andronick@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>