summit registration announcement

Summit/2026/index.html

@@ -15,6 +15,7 @@
   city = "Vancouver, Canada"
   date = "1 - 3 September 2026"
   submit-link = "https://form.jotform.com/260147181364858"
+  reg-link = "https://events.linuxfoundation.org/sel4-summit/register/"
   sponsor-link = "https://events.linuxfoundation.org/sel4-summit/sponsor/"
 %}
 

_includes/summit-heading.html

@@ -17,7 +17,8 @@
     <div class="flex justify-center items-center gap-x-5 mt-5 mb-20">
       {% if include.submit-link %}
         <a href="{{include.submit-link}}" class="button-outline px-10">Submit</a>
-      {% else %}
+      {% endif %}
+      {% if include.reg-link %}
         <a href="{{include.reg-link}}" class="button-outline px-10">Register</a>
       {% endif %}
       {% if include.sponsor-link %}

_news-items/2026-02-23-register.md

@@ -0,0 +1,39 @@
+---
+# Copyright 2026 seL4 Project a Series of LF Projects, LLC.
+# SPDX-License-Identifier: CC-BY-SA-4.0
+title: Registration open for the seL4 summit 2026
+
+link: /Summit/2026
+img: /images/summit/sel4_summit_2026.svg
+alt: seL4 summit logo
+dark: true
+---
+
+We have an exciting new format for 2026! 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.
+
+The [seL4 summit 2026](../Summit/2026) will be in Vancouver, Canada, on 1 - 3 September 2026.
+
+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](../Summit/2026/program.html#social) on Monday 31 August 2026, for a fun gathering before the event starts!
+
+If you have any cool work/idea/project/product related to seL4, don't forget to submit a [talk proposal](../Summit/2026/cfp.html).
+
+
+Tickets include:
+
+- Participation in the 3-day conference, including talks, keynotes, seL4 updates
+  & discussions
+- Networking with other seL4 experts and enthusiasts
+- Dinner
+
+**[Register here](https://events.linuxfoundation.org/sel4-summit/register/)**
+
+The early bird cut-off date is 31 July 2026.