Summit-pc

Download

summit-pc@sel4.systems

March 2023

1 participants
1 discussions

Fwd: [seL4 Announce] seL4 summit: deadline extension to 24th of April
by June Andronick (seL4 Foundation) 31 Mar '23

31 Mar '23

Dear PC members, As you will have seen, we have extended the deadline to submit a talk by 2 weeks, for the reasons explained below. An updated rough timeline for reviewing period is on: https://docs.google.com/spreadsheets/d/1Tz-ITT6O9GIAl5yNm1QDMYg_hKJ0TZD5pL4… **Please encourage submissions in your network, contacts, customers, partners…** :) If you have any specific people/work you’d like to hear about, please nudge/ping explicitly, or let me know and I’ll do it :) Many thanks June > Begin forwarded message: > > From: Announcements about seL4 -- low volume list <announce(a)sel4.systems> > Subject: [seL4 Announce] seL4 summit: deadline extension to 24th of April > Date: 31 March 2023 at 4:36:21 pm AEDT > To: Announcements about seL4 -- low volume list <announce(a)sel4.systems>, devel(a)sel4.systems > Reply-To: announce(a)sel4.systems > > The deadline to submit a presentation to the seL4 summit 2023 is extended by 2 weeks. You now have until the 24th of April 2023 to propose a talk, by uploading an abstract of one page or less to: > https://sel4.systems/Foundation/Summit/2023/submit > > The reason for the extension is that we want to let you know the definite dates for the summit before the deadline :) Current tentative (and very likely) dates are 19-20-21 September 2023, to be confirmed very soon. > > Looking forward to receiving your proposals. We want to hear about your cool seL4 work! > > And spread the word! If you want to hear about specific seL4 work, ping people around you or let us know at summit(a)sel4.systems <mailto:summit@sel4.systems> > > June > _______________________________________________ > Announce mailing list -- announce(a)sel4.systems > To unsubscribe send an email to announce-leave(a)sel4.systems

1 0