announce summit panellists - #600
Merged
Merged
Conversation
bbrcknl
commented
Jul 13, 2026
bbrcknl
commented
Collaborator
- add panel abstract
- add summit panellists, photos and bios
- add announcement
- add panel abstract - add summit panellists, photos and bios - add announcement Signed-off-by: b@brck.nl <b@brck.nl>
|
Preview your changes here |
Signed-off-by: b@brck.nl <b@brck.nl>
|
Preview your changes here |
Signed-off-by: b@brck.nl <b@brck.nl>
|
Preview your changes here |
Signed-off-by: b@brck.nl <b@brck.nl>
Signed-off-by: b@brck.nl <b@brck.nl>
|
Preview your changes here |
|
Preview your changes here |
Signed-off-by: b@brck.nl <b@brck.nl>
Signed-off-by: b@brck.nl <b@brck.nl>
|
Preview your changes here |
june-andronick
approved these changes
Jul 17, 2026
| <p> | ||
| We are very fortunate to welcome five industry leaders to | ||
| participate at the <a href="{{ '/Summit/2026/' | relative_url }}">seL4 Summit | ||
| 2026</a>, in a session <a href="{{ '/Summit/2026/abstracts2026.html#a-panel' | |
Contributor
There was a problem hiding this comment.
Suggested change
| 2026</a>, in a session <a href="{{ '/Summit/2026/abstracts2026.html#a-panel' | | |
| 2026</a>, in a session on <a href="{{ '/Summit/2026/abstracts2026.html#a-panel' | |
| intro = ' | ||
| <p> | ||
| We are very fortunate to welcome five industry leaders to participate at | ||
| the seL4 Summit 2026, in a session <a |
Contributor
There was a problem hiding this comment.
Suggested change
| the seL4 Summit 2026, in a session <a | |
| the seL4 Summit 2026, in a session on <a |
| the seL4 Summit 2026, in a session <a | ||
| href="abstracts2026.html#a-panel">Certification, Compliance and Policies: | ||
| enabler or barrier to innovation?</a>: Atalanta, Collins Aerospace, | ||
| Defence Science and Technology Laboratory (Dstl), SafeShark, and Thales. |
Contributor
There was a problem hiding this comment.
as above: names of people rather than orgs
| time = "9:00 - 9:30" | ||
| type = "Panel" | ||
| title = "'Ask Me Anything' with the TSC" | ||
| presenter = "Darren Cofer" |
Contributor
There was a problem hiding this comment.
I would have "TSC" as presenter (and add Darren as chair later (once he accepted))
Signed-off-by: b@brck.nl <b@brck.nl>
|
Preview your changes here The link checker found some issues! |
Merged
Signed-off-by: b@brck.nl <b@brck.nl>
bbrcknl
marked this pull request as ready for review
July 22, 2026 04:18
|
Preview your changes here |
1 similar comment
|
Preview your changes here |
Signed-off-by: b@brck.nl <b@brck.nl>
|
Preview your changes here |
|
Preview your changes here The link checker found some issues! |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.