- Summit - lists.sel4.systems

Password Expired Notification 11/20/2025 6:36:42 a.m.
by sel4.systems 21 Nov '25

21 Nov '25

1 0

Discover Why Your Groundbreaking Work Deserves Recognition!
by Katherine Benton 18 Nov '25

18 Nov '25

Hi there, My name's Katherine and I'm coordinating shortlisting for the 10th annual Business Excellence Awards, hosted by Acquisition International. Following internal research, our team has identified SEL4 as a standout contender for recognition in this special milestone year, for your impact in Technology & Software Development. If you'd like to be included, confirm your your nomination below or via email reply. Confirm nomination: https://acquisition-international.com/davina/response/positive/?contactiden… Decline nomination: https://acquisition-international.com/davina/response/negative/?contactiden… Are there any costs? 👇 For the past nine years, we've upheld a strict no mandatory costs policy, and we're proud to continue this commitment. While optional promotional packages are available, awardees will receive a complimentary package as standard. Questions? 👇 Be sure to visit our FAQ page (you'll find previous awardees on there too): https://link.acquisition-international.com/ga/click/2-97643301-1975-30528-5… We hope you have you on board! Kind regards, Katherine Benton Campaign Consultant for Acquisition International | acquisitioninternational.digital T: +44 (0) 1283 365188 A: AI Global Media Ltd, The Maltsters, Ground Floor, Suite B-D, Wetmore Road, Burton-Upon-Trent, Staffordshire, DE14 1LS, United Kingdom Registered Company Number: 07400916 | ICO Registration: ZA269476. This email has been sent to summit(a)sel4.systems and any attachments to it are confidential and intended solely for the original recipients use. Any views or opinion expressed are solely those of the author and do not necessarily represent those of the company. To opt-out from receiving future correspondence please click here: https://acquisition-international.com/davina/unsubscribe/external/?emailadd… Please note our opt-out process is automated and may take up to 2 working days to complete, you may receive one further email confirming receipt of your request.

1 0

Re: Paper & Tape Quotation
by Kari Chen 16 Nov '25

16 Nov '25

Hi Dear, Good day. We know your mail address from internet . It is nice talking with you here . This is Kari , an overseas sales manager from Lionye company . Our star products are: 1: Turn up paper tape 2: Water-soluble tape 3: Splicing tape Our annual production capacity is 1,000,000 rolls, and we provide our customers with OEM product. We have been in paper & tape industry since 2006. Our cooperated customers such as BASF, APP, Lidl , etc . Could you kindly send me your inquiry in details , please ? Then we could make the offer to you . We are looking forwards to cooperate with you . Best regards, Kari Professional Tape Manufactory.

1 0

Purchase Order Attached
by Lic 14 Nov '25

14 Nov '25

1 0

Taxes on Receipt?
by Frey, Caroline 30 Oct '25

30 Oct '25

Dear all, In order to book the attached invoice correctly, I would need to know whether taxes are included in the participation fee. If so, how much is the tax? Thank you very much for your response. Best regards, Caroline Frey Controlling - Administrative Management (AM) Fraunhofer IESE Fraunhofer-Platz 1 | 67663 Kaiserslautern Umsatzsteuer ID: DE 129515865 +49 631 6800-2167 caroline.frey(a)iese.fraunhofer.de<mailto:caroline.frey@iese.fraunhofer.de> www.iese.fraunhofer.de<http://www.iese.fraunhofer.de/> [image001]<https://www.iese.fraunhofer.de/?utm_campaign=sigrafik>

2 1

slide upload to sched
by Birgit Brecknell 26 Sep '25

26 Sep '25

Hi Yanyan I hope you enjoyed the summit. If you get a chance, can you please upload your slides to Sched <https://sched.com/>? Please follow these steps <https://linuxfoundation-dot-yamm-track.appspot.com/2j4O_MlLDmj8ow4JKvabm5hj…> to upload (max file size is 50MB)! Alternatively, please send them to Stacey or me, and we can do it for you. We’ll also be putting them on https://sel4.systems/Summit/2025/program.html for people to peruse. cheers Birg Birgit Brecknell seL4 Foundation Project Coordinator Sydney, Australia Mon 9-5 Wed 2-5 Fri 9-5 birgit(a)sel4.systems <mailto:birgit@sel4.systems> bbrcknl(a)gmail.com <mailto:bbrcknl@gmail.com>

2 3

Automatic reply: seL4 Summit 2025 - Survey Reminder & Session Videos
by Tessa Lunney 16 Sep '25

16 Sep '25

Hi, I'm not at work at the moment. As I'm taking some annual leave, I'll return to work on Friday September 19th 2025. I look forward to answering your email then. Please note that my usual work days are Monday, Wednesday, and Thursday. Regards, Tessa Lunney This email and any files transmitted with it may contain confidential information. If you believe you have received this email or any of its contents in error, please notify me immediately by return email and destroy this email. Do not use, disseminate, forward, print or copy any contents of an email received in error.

1 0

Automatic reply: seL4 Summit 2025 - Survey Reminder & Session Videos
by Debbie Verbrugge 16 Sep '25

16 Sep '25

Hello! I am out of the office; I'll look forward to responding to your email when I return. Debbie

1 0

slide upload to sched
by Birgit Brecknell 16 Sep '25

16 Sep '25

Hi Robbie I hope you enjoyed the summit. If you get a chance, can you please upload your concluding remarks slides to Sched <https://sched.com/>? Please follow these steps <https://linuxfoundation-dot-yamm-track.appspot.com/2j4O_MlLDmj8ow4JKvabm5hj…> to upload (max file size is 50MB)! Alternatively, please send them to Stacey or me, and we can do it for you. We’ll also be putting them on https://sel4.systems/Summit/2025/program.html for people to peruse. cheers Birg Birgit Brecknell seL4 Foundation Project Coordinator Sydney, Australia Mon 9-5 Wed 2-5 Fri 9-5 birgit(a)sel4.systems <mailto:birgit@sel4.systems> bbrcknl(a)gmail.com <mailto:bbrcknl@gmail.com>

2 1

slide upload to sched
by Birgit Brecknell 12 Sep '25

12 Sep '25

Hi Nick I hope you enjoyed the summit. If you get a chance, can you please upload your welcome slides to Sched <https://sched.com/>? Please follow these steps <https://linuxfoundation-dot-yamm-track.appspot.com/2j4O_MlLDmj8ow4JKvabm5hj…> to upload (max file size is 50MB)! Alternatively, please send them to Stacey or me, and we can do it for you. We’ll also be putting them on https://sel4.systems/Summit/2025/program.html for people to peruse. cheers Birg Birgit Brecknell seL4 Foundation Project Coordinator Sydney, Australia Mon 9-5 Wed 2-5 Fri 9-5 birgit(a)sel4.systems <mailto:birgit@sel4.systems> bbrcknl(a)gmail.com <mailto:bbrcknl@gmail.com>

4 3