Conversation
Signed-off-by: b@brck.nl <b@brck.nl>
|
Preview your changes here |
june-andronick
left a comment
june-andronick
left a comment
There was a problem hiding this comment.
Thanks Birg. Just some suggestion to make it more exciting for this year :)
_news-items/2026-02-20-register.md
Outdated
| --- | ||
| # Copyright 2026 seL4 Project a Series of LF Projects, LLC. | ||
| # SPDX-License-Identifier: CC-BY-SA-4.0 | ||
| title: Register for the seL4 summit 2026 |
There was a problem hiding this comment.
I suggest:
Registration open for the seL4 summit 2026!
_news-items/2026-02-20-register.md
Outdated
| # Copyright 2026 seL4 Project a Series of LF Projects, LLC. | ||
| # SPDX-License-Identifier: CC-BY-SA-4.0 | ||
| title: Register for the seL4 summit 2026 | ||
| anchor: summit-2026-register |
There was a problem hiding this comment.
I believe we don't need anchors any more
_news-items/2026-02-20-register.md
Outdated
| The early bird cut-off date is <mark>XX August 2026</mark>. | ||
|
|
||
| A number of informal social activities will be organised by the seL4 community | ||
| for Monday 31 August 2026. Stay tuned for more info! |
There was a problem hiding this comment.
I suggest just a bit more exciting for this year :)
The 2026 edition of the seL4 summit will be exciting! A full first day dedicated to applications, overviews, and perspectives on seL4-based systems and formally verified software in the real world! Followed by two days of technical talks and discussion on development, research, and experience reports.
If you're new to seL4 or still developing your familiarity with the technology, this is an ideal opportunity to get a high-level view of the landscape and ecosystem.
It's in Vancouver, Canada, on 1 - 3 September 2026, and registrations are now open!
Come hear about:
- vision, lessons-learned, roadmaps for verified software deployments;
- use-cases, deployments, experiences;
- walk-throughs and demos of tools, frameworks, systems;
- early work, crazy ideas, out-of-the-box thinking;
- technical progress, updates, breakthroughs.
And join us for one of the informal [social activities](TODO: link) on Monday 31 August 2026, for a nice gathering before the event starts!
If you have some cool work/idea/project/product related to seL4, don't forget to submit a [talk proposal!](TODO: link to CfP)
There was a problem hiding this comment.
How about starting with "We have an exciting new program for 2026! A full first day..." Otherwise it might sound like the previous summits weren't exciting. :-D
There was a problem hiding this comment.
Good point. I'd say "new format" rather than "new program" then. Thanks
Signed-off-by: b@brck.nl <b@brck.nl>
|
Preview your changes here The link checker found some issues! |
* add summit social activities * update photo licences --------- Signed-off-by: b@brck.nl <b@brck.nl>
Signed-off-by: b@brck.nl <b@brck.nl>
|
Preview your changes here The link checker found some issues! |
2 participants
No description provided.