diff --git a/Foundation/Summit/2024/index.html b/Foundation/Summit/2024/index.html index bb2bf7c4..dd98feb1 100644 --- a/Foundation/Summit/2024/index.html +++ b/Foundation/Summit/2024/index.html @@ -26,7 +26,6 @@
The early bird cut-off date is 15 September 2024.
-- Local seL4 Sydney-siders will look into organising some informal activities for Monday 14 October 2024, before the summit kicks off, for anyone who wants to join. Gernot may also organise a bush walk for the weekend before the summit. Stayed tuned for more info! -
- Share your seL4 work, experience and thoughts at the seL4 summit 2024 in Sydney by submitting a presentation proposal by 22 April 2024 29 April 2024. Find all the submission information in the Call for Presentations.
-
- A number of informal social activities are being organised by local Sydney-siders. Check out the list and contact the organisers to register your interest.
+ Share your seL4 work, experience and thoughts at the seL4 summit 2024 in Sydney by submitting a presentation proposal by 22 April 2024 29 April 2024. Find all the submission information in the Call for Presentations.
+ A number of informal social activities are being organised by local Sydney-siders. Check out the list and contact the organisers to register your interest. +
+Day 1 15 October 2024 | +Day 1 15 October 2024 | +|||||
---|---|---|---|---|---|---|
+ | Session chair | |||||
9:00 - 9:10 | Announcements | Welcome | +Ihor Kuz | |||
9:10 - 10:00 | @@ -50,7 +55,7 @@||||||
Break | +Break | |||||
10:30 - 11:00 | @@ -58,6 +63,7 @@seL4 Verification: Status and Plans Gerwin Klein, June Andronick, Rafal Kolanski, Gerwin Klein, Corey Lewis, Michael McInerney, Proofcraft |
+ Matthew Brecknell | ||||
11:00 - 11:30 | @@ -81,7 +87,7 @@||||||
Lunch | +Lunch | |||||
13:30 - 13:45 | @@ -89,6 +95,7 @@Lions OS: Secure, fast, adaptable! Gernot Heiser, UNSW Sydney |
+ Everton de Matos | ||||
13:45 - 14:15 | @@ -112,7 +119,7 @@||||||
Break | +Break | |||||
15:30 - 16:00 | @@ -120,6 +127,7 @@Securing ROS Systems with seL4 Nathan Studer, Alex Pavey, Zach Clark, DornerWorks, Dariusz Mikulski, Cristian Balas, Yale Empie, US Army - Ground Vehicle Robotics |
+ Gernot Heiser | ||||
16:00 - 16:15 | @@ -141,10 +149,14 @@seL4 Foundation Update June Andronick, seL4 Foundation | |||||
Cocktail reception @ Verandah Public 18:00 | +Cocktail reception @ Verandah Public 18:00 | |||||
Day 2 16 October 2024 | +Day 2 16 October 2024 | +|||||
+ | Session chair | |||||
9:00 - 10:00 | @@ -152,9 +164,10 @@Nick Spinale | |||||
Break | +Break | |||||
10:30 - 11:00 | @@ -162,6 +175,7 @@First steps towards verification of user-space systems Matthew Brecknell, Kry10 |
+ Gerwin Klein | ||||
11:00 - 11:30 | @@ -192,7 +206,7 @@||||||
Lunch | +Lunch | Assured Reserve Modes Ihor Kuz, Kry10, Lance Joneckis, Idaho National Laboratory |
+ Robbie VanVossen | |||
14:15 - 14:30 | @@ -230,7 +245,7 @@||||||
Break | +Break | |||||
15:30 - 16:00 | @@ -238,6 +253,7 @@Bridging Academia and Industry Yanyan Shen, Dhammika Elkaduwe, NIO |
+ June Andronick | ||||
16:00 - 16:30 | @@ -261,10 +277,14 @@||||||
Dinner @ The Butler 18:00 | +Dinner @ The Butler 18:00 | +|||||
Day 3 17 October 2024 | ||||||
Day 3 17 October 2024 | ++ | Session chair | ||||
9:00 - 9:50 | @@ -272,6 +292,7 @@seL4 in Software-Defined Vehicles: Vision, Roadmap, and Impact at NIO Ning Qu, NIO |
+ Ihor Kuz | ||||
9:50 - 10:00 | @@ -281,7 +302,7 @@||||||
Break | +Break | |||||
10:30 - 11:00 | @@ -289,6 +310,7 @@Enhancing seL4’s C/C++ userspace memory safety using CHERI Hesham Almatary, Capabilities Limited |
+ Lucy Parker | ||||
11:00 - 11:15 | @@ -311,7 +333,7 @@||||||
Lunch | +Lunch | 13:30 - 13:45 | Plenary | Discussion, BoF Teasers | +Ihor Kuz/Nick Spinale | |
14:00 - 15:00 | @@ -331,12 +354,13 @@BoFs | |||||
Break | +Break | |||||
15:30 - 16:30 | Plenary | BoFs | +Ihor Kuz/Nick Spinale | |||
16:30 - 16:45 | @@ -351,19 +375,21 @@||||||
Day 4 18 October 2024 Training day @ UNSW (TBC) | +Day 4 18 October 2024 Training day @ UNSW | |||||
10:00 - 12:30 | Training | Using LionsOS Ivan Velickovic, - UNSW Sydney + UNSW Sydney |
+ ||||
14:00 - 16:30 | Training | Using Rust in seL4 Userspace Nick Spinale, Colias Group, LLC + |