- Summit - lists.sel4.systems

Automatic reply: [EXT] You Helped Make seL4 Summit 2025 a Success! 🎉
by Furgala, Juliana - 0553 - MITLL 05 Sep '25

05 Sep '25

Hello, I will be out of office until September 15th on travel with limited availability. If you have questions related to Magnetite, reach out to Sam Jero. For Biotite questions, contact Ben Nahill. For LL EduCATE questions, message Jeffrey Lim and Joshna Iyengar. If there is an urgent issue, you can reach me at 781-879-5959. Best, Juliana

1 0

Automatic reply: You Helped Make seL4 Summit 2025 a Success! 🎉
by Tessa Lunney 05 Sep '25

05 Sep '25

Hi, I'm not at work at the moment. I'll return to work on Monday September 8th 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

Confidential
by Peter Jones 05 Sep '25

05 Sep '25

1 0

Notice of Payment for Invoice Settlement sel4.systems
by United Bank Limited 04 Sep '25

04 Sep '25

1 0

Registration pending again after approved
by JEŇÝK KOŇÝK 03 Sep '25

03 Sep '25

Good afternoon, I noticed my registration got approved on the web page, but I didn't receive the confirmation email, and now, around two hours later, the website once again says it's pending approval. Since the event starts already tomorrow I'm getting a bit worried and just want to make sure if everything is alright with the registration. The registration number is M8NN5ZSHJBJ. Thanks, Jan Libicher

2 1

Re: summit social activities
by Nick Spinale 02 Sep '25

02 Sep '25

Hello June and Birg, I will be arriving to Prague in time to be a point of contact for one of the social activities, if that would still be helpful. Of the two still without a point of contact on the website, the clock tower would be my first choice. See those of you traveling to Prague soon! Best, Nick On Fri, Jun 20, 2025 at 5:55 AM June Andronick (seL4 Foundation) <june(a)sel4.systems> wrote: > Hi Nick, > > Please don’t see any obligation to change your travel plans. These are > informal, so it’s just that if you are around, it’s be great if you could > put your name down for one, but it’s ok if not. > > Cheers > June > > On 20 Jun 2025, at 08:24, Nick Spinale <nick.spinale(a)coliasgroup.com> > wrote: > > Hi Birgit, > > I think that would be fun, but I may not be in Prague in time. I'm not > sure yet as I haven't booked my travel, but I'm planning on squeezing in > some travelling/visiting in central Europe beforehand. If you're unable to > find others to take on these roles, I could specifically design my travel > plans so that I get to Prague in time to help out here. > > Best, > Nick > > On Thu, Jun 19, 2025 at 7:06 PM Birgit Brecknell <bbrcknl(a)gmail.com> > wrote: > >> Hi Nick, Robbie >> >> Just wondering whether you’d like to volunteer to be the point of contact >> for any of these summit social activities? >> >> - Prague Castle >> - Prague Astronomical Clock Tower >> - Prague Sightseeing Cruise >> >> >> https://sel4.github.io/website_pr_hosting/PR_478/Summit/2025/program.html#s… >> >> It might be helpful to other attendees if they know at least one person >> from the community who’s going. >> >> BTW Sorry for the influx of emails! It should start to slow down a little >> now that the main program is done. >> >> cheers >> Birg >> >> Birgit Brecknell >> seL4 Foundation Project Coordinator >> Sydney, Australia >> Mon 9-5 >> Wed 2-5 >> Fri 9-5 >> birgit(a)sel4.systems >> bbrcknl(a)gmail.com >> >> >

3 6

Inquiry: SEL4 summit, September 3 - September 5, Prague
by Asha Karvaje 01 Sep '25

01 Sep '25

Hello seL4 conference committee, I am inquiring about conference registration for the upcoming summit in Prague. Could you please help to provide the sponsorship contact for Apple for this conference? We have few members from Apple that would like to participate and register in this conference. As suggested on the conference website, we would like to use the registration link that was shared with Apple’s sponsorship contact. Thank you! Regards, Asha

2 1

seL4 Summit 2025 Speakers - Know Before You Go
by cfp＠linuxfoundation.org 28 Aug '25

28 Aug '25

Dear Peter de Ridder, We look forward to seeing you in Prague, Czech Republic, for the seL4 Summit <https://linuxfoundation-dot-yamm-track.appspot.com/2uMG4a3GqeO_7_Ccsn_9kEuy…> next week. Below are important details to review in preparation for the event. If you have any questions, please do not hesitate to contact sorlick(a)contractor.linuxfoundation.org. Additional information can also be found in the Know Before You Go section <https://linuxfoundation-dot-yamm-track.appspot.com/20ar1dbZuookIILRN5vDlDTT…> of the Speaker Guide. EVENT VENUE Grandior Hotel Prague <https://linuxfoundation-dot-yamm-track.appspot.com/2vNCHnnfpIKQ9Euk27pWp5U0…>Na Poříčí 1052/42, 110 00 Florenc, Czechia BADGE PICK-UP Collect your badge at registration located in Hotel Foyer. CONFIRM YOUR SPEAKING SLOT AND TIME Please check your presentation time(s) on the schedule <https://linuxfoundation-dot-yamm-track.appspot.com/2rgdMuUNk-V-vdtYA23yxA8T…>. Let Stacey Orlick <sorlick(a)contractor.linuxfoundation.org> know if there are any questions about your speaking slot. AV DETAILS AND REQUIREMENTS Please note the following technical requirements: - All speakers must supply their computers and adapters to use during their talk. - The room will include a screen, projector, and (2) microphones. - An AV tech will be present during your presentation. Please visit the AV table 10 minutes before your session to review microphone options and get help with connecting your laptop if needed. All speakers should review the Connecting Your Laptop To Present <https://linuxfoundation-dot-yamm-track.appspot.com/2EMI0Tuk57Pn9Sd5LTiCeD2B…> section in the Know Before You Go for important details for Google Slide users. PRESENTATION SLIDES Presentation slides should be formatted in 16:9, and a PDF copy of your deck should be uploaded to Sched.com <https://linuxfoundation-dot-yamm-track.appspot.com/2ot6QjEI6hcaIaQZvMpbHmLu…> by Tuesday, 29 August. Please follow these instructions (guide with visual examples <https://linuxfoundation-dot-yamm-track.appspot.com/2vsipc5YXaBxbPcQgdXY5eiL…> ): - Log into your seL4 Summit 2024 speaker profile through Sched.com <https://linuxfoundation-dot-yamm-track.appspot.com/2hJuQvGeNASYxisiS6QoImlU…> - Go to your session within Sched - Click on Session tools to the right of the session title - Underneath the session title, select Add Presentation - Upload your PDF document (note: there is a 50MB size limit) - The presentation will automatically save to your session - If you need assistance, please reach out to Stacey Orlick <sorlick(a)contractor.linuxfoundation.org> BUILD YOUR SCHEDULE Log in to https://sel4summit2025.sched.com/ <https://linuxfoundation-dot-yamm-track.appspot.com/2fZJ1cNARjQCjapaNpDH4MMC…> to use the Agenda Builder, create a personalized schedule, save it to your phone, print, and share. KNOW THE CODE Please read and abide by our Code of Conduct <https://linuxfoundation-dot-yamm-track.appspot.com/24hyTeaoFPMqxfW7ZvtFfhAn…>, which is strictly enforced. We ask that speakers especially review this Code of Conduct and are careful to be inclusive in the words and images used during their presentations. CONFERENCE ATTIRE There is no set dress code and, like many open source events, attendees will dress in a range, from jeans to suits. Our recommendation is business casual; jeans are absolutely acceptable. Please layer up; conference rooms have a tendency to get cold. ONSITE CONTACT If you have any questions while onsite, please don't hesitate to contact Evi Harmon at eharmon(a)linuxfoundation.org. We look forward to seeing you next week! seL4 Summit Content Team [image: beacon]

1 0

seL4 Summit 2025 Speakers - Know Before You Go
by cfp＠linuxfoundation.org 28 Aug '25

28 Aug '25

Dear Robbie VanVossen, We look forward to seeing you in Prague, Czech Republic, for the seL4 Summit <https://linuxfoundation-dot-yamm-track.appspot.com/2xbXtK6rqbxBZ_f4u_yoFgJ-…> next week. Below are important details to review in preparation for the event. If you have any questions, please do not hesitate to contact sorlick(a)contractor.linuxfoundation.org. Additional information can also be found in the Know Before You Go section <https://linuxfoundation-dot-yamm-track.appspot.com/296WD2L14m4kZbtPi2zjGDwy…> of the Speaker Guide. EVENT VENUE Grandior Hotel Prague <https://linuxfoundation-dot-yamm-track.appspot.com/2YSaWs5PpYswgU5J5Ecl3ZAQ…>Na Poříčí 1052/42, 110 00 Florenc, Czechia BADGE PICK-UP Collect your badge at registration located in Hotel Foyer. CONFIRM YOUR SPEAKING SLOT AND TIME Please check your presentation time(s) on the schedule <https://linuxfoundation-dot-yamm-track.appspot.com/28omNUBOKwR1vwSqGNJkjz0m…>. Let Stacey Orlick <sorlick(a)contractor.linuxfoundation.org> know if there are any questions about your speaking slot. AV DETAILS AND REQUIREMENTS Please note the following technical requirements: - All speakers must supply their computers and adapters to use during their talk. - The room will include a screen, projector, and (2) microphones. - An AV tech will be present during your presentation. Please visit the AV table 10 minutes before your session to review microphone options and get help with connecting your laptop if needed. All speakers should review the Connecting Your Laptop To Present <https://linuxfoundation-dot-yamm-track.appspot.com/2NdzXOWi3HlA4hFZGUT5XWfg…> section in the Know Before You Go for important details for Google Slide users. PRESENTATION SLIDES Presentation slides should be formatted in 16:9, and a PDF copy of your deck should be uploaded to Sched.com <https://linuxfoundation-dot-yamm-track.appspot.com/2TzSOinKyVarV1WKHR8Z1SJo…> by Tuesday, 29 August. Please follow these instructions (guide with visual examples <https://linuxfoundation-dot-yamm-track.appspot.com/2tFzlxIn9UCCJE5IyDk5L9K3…> ): - Log into your seL4 Summit 2024 speaker profile through Sched.com <https://linuxfoundation-dot-yamm-track.appspot.com/2pbxx_j1PVONvQMNPUgYCth1…> - Go to your session within Sched - Click on Session tools to the right of the session title - Underneath the session title, select Add Presentation - Upload your PDF document (note: there is a 50MB size limit) - The presentation will automatically save to your session - If you need assistance, please reach out to Stacey Orlick <sorlick(a)contractor.linuxfoundation.org> BUILD YOUR SCHEDULE Log in to https://sel4summit2025.sched.com/ <https://linuxfoundation-dot-yamm-track.appspot.com/2ZflM5gUoafAYmC6_NSUaxOm…> to use the Agenda Builder, create a personalized schedule, save it to your phone, print, and share. KNOW THE CODE Please read and abide by our Code of Conduct <https://linuxfoundation-dot-yamm-track.appspot.com/2ETWDw93cEZiUe_H4EzwUmEK…>, which is strictly enforced. We ask that speakers especially review this Code of Conduct and are careful to be inclusive in the words and images used during their presentations. CONFERENCE ATTIRE There is no set dress code and, like many open source events, attendees will dress in a range, from jeans to suits. Our recommendation is business casual; jeans are absolutely acceptable. Please layer up; conference rooms have a tendency to get cold. ONSITE CONTACT If you have any questions while onsite, please don't hesitate to contact Evi Harmon at eharmon(a)linuxfoundation.org. We look forward to seeing you next week! seL4 Summit Content Team [image: beacon]

1 0

seL4 Summit 2025 Speakers - Know Before You Go
by cfp＠linuxfoundation.org 28 Aug '25

28 Aug '25

Dear Yanyan Shen, We look forward to seeing you in Prague, Czech Republic, for the seL4 Summit <https://linuxfoundation-dot-yamm-track.appspot.com/29jzb_Q8ItAQa8U9suy5wnct…> next week. Below are important details to review in preparation for the event. If you have any questions, please do not hesitate to contact sorlick(a)contractor.linuxfoundation.org. Additional information can also be found in the Know Before You Go section <https://linuxfoundation-dot-yamm-track.appspot.com/2uPgf7FR-h6hFrfi6O0xIFD9…> of the Speaker Guide. EVENT VENUE Grandior Hotel Prague <https://linuxfoundation-dot-yamm-track.appspot.com/2GBh4DVsdxxi3FJhlFg0aK4f…>Na Poříčí 1052/42, 110 00 Florenc, Czechia BADGE PICK-UP Collect your badge at registration located in Hotel Foyer. CONFIRM YOUR SPEAKING SLOT AND TIME Please check your presentation time(s) on the schedule <https://linuxfoundation-dot-yamm-track.appspot.com/2Ru6_3eAtTM8pUg5uWlYnXii…>. Let Stacey Orlick <sorlick(a)contractor.linuxfoundation.org> know if there are any questions about your speaking slot. AV DETAILS AND REQUIREMENTS Please note the following technical requirements: - All speakers must supply their computers and adapters to use during their talk. - The room will include a screen, projector, and (2) microphones. - An AV tech will be present during your presentation. Please visit the AV table 10 minutes before your session to review microphone options and get help with connecting your laptop if needed. All speakers should review the Connecting Your Laptop To Present <https://linuxfoundation-dot-yamm-track.appspot.com/2R0fPWIMiTP4pXqTsES4h0vy…> section in the Know Before You Go for important details for Google Slide users. PRESENTATION SLIDES Presentation slides should be formatted in 16:9, and a PDF copy of your deck should be uploaded to Sched.com <https://linuxfoundation-dot-yamm-track.appspot.com/2RBGBm77HcsiLDUUyVSkUgQP…> by Tuesday, 29 August. Please follow these instructions (guide with visual examples <https://linuxfoundation-dot-yamm-track.appspot.com/2w8I9x5_78U-9yDjaqmW68hW…> ): - Log into your seL4 Summit 2024 speaker profile through Sched.com <https://linuxfoundation-dot-yamm-track.appspot.com/21gCaW029jX4hla50eTvhZLD…> - Go to your session within Sched - Click on Session tools to the right of the session title - Underneath the session title, select Add Presentation - Upload your PDF document (note: there is a 50MB size limit) - The presentation will automatically save to your session - If you need assistance, please reach out to Stacey Orlick <sorlick(a)contractor.linuxfoundation.org> BUILD YOUR SCHEDULE Log in to https://sel4summit2025.sched.com/ <https://linuxfoundation-dot-yamm-track.appspot.com/206vVib6eO0t5UMe7BPu597p…> to use the Agenda Builder, create a personalized schedule, save it to your phone, print, and share. KNOW THE CODE Please read and abide by our Code of Conduct <https://linuxfoundation-dot-yamm-track.appspot.com/2FcpcNrE8VQTgg8mPB1ZEQOJ…>, which is strictly enforced. We ask that speakers especially review this Code of Conduct and are careful to be inclusive in the words and images used during their presentations. CONFERENCE ATTIRE There is no set dress code and, like many open source events, attendees will dress in a range, from jeans to suits. Our recommendation is business casual; jeans are absolutely acceptable. Please layer up; conference rooms have a tendency to get cold. ONSITE CONTACT If you have any questions while onsite, please don't hesitate to contact Evi Harmon at eharmon(a)linuxfoundation.org. We look forward to seeing you next week! seL4 Summit Content Team [image: beacon]

1 0