Skip to content

Commit

Permalink
add session chairs (#388)
Browse files Browse the repository at this point in the history 
* add session chairs to summit program
---------

Signed-off-by: Birgit Brecknell <b@brck.nl>
  • Loading branch information
@bbrcknl
bbrcknl authored Aug 28, 2024
1 parent 3bc9ff9 commit 55d4bbe
Show file tree
Hide file tree
Showing 2 changed files with 57 additions and 30 deletions.
29 changes: 15 additions & 14 deletions Foundation/Summit/2024/index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,6 @@ <h4>
<li><a href="#summit-program">Program & Abstracts</a></li>
<li><a href="#summit-keynote-speakers">Keynote Speakers</a></li>
<!-- li><a href="#summit-panellists">Panellists</a></li>-->
<li><a href="#summit-program">Program & Abstracts</a></li>
<li><a href="#summit-training-day">Training day @ UNSW</a></li>
<li><a class="highlight" href="#summit-social">Latest news: Social Activities</a></li>
<li><a href="#summit-pc">Program Committee</a></li>
Expand Down Expand Up @@ -96,9 +95,6 @@ <h3 id="summit-registration">
<p>
The early bird cut-off date is 15 September 2024.
</p>
<p>
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!
</p>
</div>

<div class="summit_div">
Expand All @@ -113,14 +109,6 @@ <h3 id="summit-location">
</p>
</div>

<div class="summit_div">
<h3 id="summit-cfp">
Submissions and Call for Presentations
</h3>
<p>
Share your seL4 work, experience and thoughts at the seL4 summit 2024 in Sydney by submitting a presentation proposal by <s>22 April 2024</s> 29 April 2024. Find all the submission information in the <a href="cfp">Call for Presentations</a>.
</p>
</div>

<div class="summit_div">
<h3 id="summit-program">
Expand All @@ -135,14 +123,19 @@ <h3 id="summit-program">
</p>
</div>



<div class="summit_div">
<h3 id="summit-social">Social activities</h3>
<h3 id="summit-cfp">
Submissions and Call for Presentations
</h3>
<p>
A number of informal <a href="social-activities">social activities</a> are being organised by local Sydney-siders. Check out the <a href="social-activities">list and contact the organisers</a> to register your interest.
Share your seL4 work, experience and thoughts at the seL4 summit 2024 in Sydney by submitting a presentation proposal by <s>22 April 2024</s> 29 April 2024. Find all the submission information in the <a href="cfp">Call for Presentations</a>.
</p>
</div>



<div class="summit_div">
<h3 id="summit-keynote-speakers">
Keynote Speakers
Expand Down Expand Up @@ -253,6 +246,14 @@ <h4>Using Rust in seL4 Userspace</h4>
</div>


<div class="summit_div">
<h3 id="summit-social">Social activities</h3>
<p>
A number of informal <a href="social-activities">social activities</a> are being organised by local Sydney-siders. Check out the <a href="social-activities">list and contact the organisers</a> to register your interest.
</p>
</div>


<div class="summit_div">
<h3 id="summit-pc">
Program Committee
Expand Down
58 changes: 42 additions & 16 deletions Foundation/Summit/2024/program.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -35,12 +35,17 @@ <h4>Social activities</h4>
<h4>Summit</h4>
<table id="summit-talks">
<tr>
<th colspan="3">Day 1&emsp;15 October 2024</th>
<th colspan="4">Day 1&emsp;15 October 2024</th>
</tr>
<tr>
<td colspan="3"></td>
<td><em>Session chair</em></td>
</tr>
<tr>
<td>9:00 - 9:10</td>
<td>Announcements</td>
<td><em>Welcome</em></td>
<td class="summit_chair" rowspan="2">Ihor Kuz</td>
</tr>
<tr id="p-inspecta">
<td>9:10 - 10:00</td>
Expand All @@ -50,14 +55,15 @@ <h4>Summit</h4>
</td>
</tr>
<tr>
<td class="break" colspan="3">Break</td>
<td class="break" colspan="4">Break</td>
</tr>
<tr id="p-sel4-verification">
<td>10:30 - 11:00</td>
<td>Talk</td>
<td><a href="abstracts2024.html#a-sel4-verification">seL4 Verification: Status and Plans</a><br><span class="summit-abstract-presenter">Gerwin Klein, June Andronick, Rafal Kolanski, Gerwin Klein, Corey Lewis, Michael McInerney</span>,
<span class="summit-abstract-affiliation">Proofcraft</span>
</td>
<td class="summit_chair" rowspan="3">Matthew Brecknell</td>
</tr>
<tr id="p-multikernel-roadmap">
<td>11:00 - 11:30</td>
Expand All @@ -81,14 +87,15 @@ <h4>Summit</h4>
<!-- </td>-->
<!-- </tr>-->
<tr>
<td class="break" colspan="3">Lunch</td>
<td class="break" colspan="4">Lunch</td>
</tr>
<tr id="p-lions-os">
<td>13:30 - 13:45</td>
<td>Talk</td>
<td><a href="abstracts2024.html#a-lions-os">Lions OS: Secure, fast, adaptable!</a><br><span class="summit-abstract-presenter">Gernot Heiser</span>,
<span class="summit-abstract-affiliation">UNSW Sydney</span>
</td>
<td class="summit_chair" rowspan="4">Everton de Matos</td>
</tr>
<tr id="p-lions-os-practise">
<td>13:45 - 14:15</td>
Expand All @@ -112,14 +119,15 @@ <h4>Summit</h4>
</td>
</tr>
<tr>
<td class="break" colspan="3">Break</td>
<td class="break" colspan="4">Break</td>
</tr>
<tr id="p-securing-ros">
<td>15:30 - 16:00</td>
<td>Talk</td>
<td><a href="abstracts2024.html#a-securing-ros">Securing ROS Systems with seL4</a><br><span class="summit-abstract-presenter">Nathan Studer, Alex Pavey, Zach Clark</span>, <span class="summit-abstract-affiliation">DornerWorks</span>, <span class="summit-abstract-presenter">Dariusz Mikulski, Cristian Balas, Yale Empie</span>,
<span class="summit-abstract-affiliation">US Army - Ground Vehicle Robotics</span>
</td>
<td class="summit_chair" rowspan="4">Gernot Heiser</td>
</tr>
<tr id="p-experience-developing">
<td>16:00 - 16:15</td>
Expand All @@ -141,27 +149,33 @@ <h4>Summit</h4>
<td><a href="abstracts2024.html#a-foundation-update">seL4 Foundation Update</a><br><span class="summit-abstract-presenter">June Andronick</span>,
<span class="summit-abstract-affiliation">seL4 Foundation</span></tr>
<tr>
<td colspan="3" style="text-align: center;"><em>Cocktail reception @ Verandah Public 18:00</em></td>
<td colspan="4" style="text-align: center;"><em>Cocktail reception @ Verandah Public 18:00</em></td>
</tr>
<tr>
<th colspan="3">Day 2&emsp;16 October 2024</th>
<th colspan="4">Day 2&emsp;16 October 2024</th>
</tr>
<tr>
<td colspan="3"></td>
<td><em>Session chair</em></td>
</tr>
<tr>
<td>9:00 - 10:00</td>
<td>Panel</td>
<td><br><span class="summit-abstract-presenter"></span>
<span class="summit-abstract-affiliation"></span>
</td>
<td class="summit_chair">Nick Spinale</td>
</tr>
<tr>
<td class="break" colspan="3">Break</td>
<td class="break" colspan="4">Break</td>
</tr>
<tr id="p-first-steps">
<td>10:30 - 11:00</td>
<td>Talk</td>
<td><a href="abstracts2024.html#a-first-steps">First steps towards verification of user-space systems</a><br><span class="summit-abstract-presenter">Matthew Brecknell</span>,
<span class="summit-abstract-affiliation">Kry10</span>
</td>
<td class="summit_chair" rowspan="5">Gerwin Klein</td>
</tr>
<tr id="p-generating-trustworthy">
<td>11:00 - 11:30</td>
Expand Down Expand Up @@ -192,7 +206,7 @@ <h4>Summit</h4>
</td>
</tr>
<tr>
<td class="break" colspan="3">Lunch</td>
<td class="break" colspan="4">Lunch</td>
</tr>
<!-- <tr>-->
<!-- <td>13:30 - 13:45</td>-->
Expand All @@ -207,6 +221,7 @@ <h4>Summit</h4>
<td><a href="abstracts2024.html#a-assured-reserve">Assured Reserve Modes</a><br><span class="summit-abstract-presenter">Ihor Kuz</span>,
<span class="summit-abstract-affiliation">Kry10</span>, <span class="summit-abstract-presenter">Lance Joneckis</span>, <span class="summit-abstract-affiliation">Idaho National Laboratory</span>
</td>
<td class="summit_chair" rowspan="4">Robbie VanVossen</td>
</tr>
<tr id="p-assured-reserve-action">
<td>14:15 - 14:30</td>
Expand All @@ -230,14 +245,15 @@ <h4>Summit</h4>
</td>
</tr>
<tr>
<td class="break" colspan="3">Break</td>
<td class="break" colspan="4">Break</td>
</tr>
<tr id="p-bridging-academia">
<td>15:30 - 16:00</td>
<td>Talk</td>
<td><a href="abstracts2024.html#a-bridging-academia">Bridging Academia and Industry</a><br><span class="summit-abstract-presenter">Yanyan Shen, Dhammika Elkaduwe</span>,
<span class="summit-abstract-affiliation">NIO</span>
</td>
<td class="summit_chair" rowspan="4">June Andronick</td>
</tr>
<tr id="p-sel4-infrastructure">
<td>16:00 - 16:30</td>
Expand All @@ -261,17 +277,22 @@ <h4>Summit</h4>
</td>
</tr>
<tr>
<td colspan="3" style="text-align: center;"><em>Dinner @ The Butler 18:00</em></td>
<td colspan="4" style="text-align: center;"><em>Dinner @ The Butler 18:00</em></td>
</tr>
<tr>
<th colspan="4">Day 3&emsp;17 October 2024</th>
</tr>
<tr>
<th colspan="3">Day 3&emsp;17 October 2024</th>
<td colspan="3"></td>
<td><em>Session chair</em></td>
</tr>
<tr id="p-software-defined">
<td>9:00 - 9:50</td>
<td>Keynote</td>
<td><a href="abstracts2024.html#a-software-defined">seL4 in Software-Defined Vehicles: Vision, Roadmap, and Impact at NIO</a><br><span class="summit-abstract-presenter">Ning Qu</span>,
<span class="summit-abstract-affiliation">NIO</span>
</td>
<td class="summit_chair" rowspan="2">Ihor Kuz</td>
</tr>
<tr>
<td>9:50 - 10:00</td>
Expand All @@ -281,14 +302,15 @@ <h4>Summit</h4>
</td>
</tr>
<tr>
<td class="break" colspan="3">Break</td>
<td class="break" colspan="4">Break</td>
</tr>
<tr id="p-cheri-morello">
<td>10:30 - 11:00</td>
<td>Talk</td>
<td><a href="abstracts2024.html#a-cheri-morello">Enhancing seL4’s C/C++ userspace memory safety using CHERI</a><br><span class="summit-abstract-presenter">Hesham Almatary</span>,
<span class="summit-abstract-affiliation">Capabilities Limited</span>
</td>
<td class="summit_chair" rowspan="4">Lucy Parker</td>
</tr>
<tr id="p-hardware-support">
<td>11:00 - 11:15</td>
Expand All @@ -311,7 +333,7 @@ <h4>Summit</h4>
</td>
</tr>
<tr>
<td class="break" colspan="3">Lunch</td>
<td class="break" colspan="4">Lunch</td>
</tr>
<!-- <tr>-->
<!-- <td>13:30 - 13:45</td>-->
Expand All @@ -324,19 +346,21 @@ <h4>Summit</h4>
<td>13:30 - 13:45</td>
<td>Plenary</td>
<td>Discussion, BoF Teasers</td>
<td class="summit_chair" rowspan="2">Ihor Kuz/Nick Spinale</td>
</tr>
<tr>
<td>14:00 - 15:00</td>
<td>Plenary</td>
<td>BoFs</td>
</tr>
<tr>
<td class="break" colspan="3">Break</td>
<td class="break" colspan="4">Break</td>
</tr>
<tr>
<td>15:30 - 16:30</td>
<td>Plenary</td>
<td>BoFs</td>
<td class="summit_chair" rowspan="3">Ihor Kuz/Nick Spinale</td>
</tr>
<tr>
<td>16:30 - 16:45</td>
Expand All @@ -351,19 +375,21 @@ <h4>Summit</h4>
</td>
</tr>
<tr>
<th colspan="3">Day 4&emsp;18 October 2024&emsp;Training day @ UNSW (TBC)&emsp;</th>
<th colspan="4">Day 4&emsp;18 October 2024&emsp;Training day @ UNSW&emsp;</th>
</tr>
<tr id="p-lions">
<td>10:00 - 12:30</td>
<td>Training</td>
<td><a href="index#a-lions">Using LionsOS</a><br><span class="summit-abstract-presenter">Ivan Velickovic</span>,
<span class="summit-abstract-affiliation">UNSW Sydney</span>
<span class="summit-abstract-affiliation">UNSW Sydney</span></td>
<td></td>
</tr>
<tr id="p-rust">
<td>14:00 - 16:30</td>
<td>Training</td>
<td><a href="index#a-rust">Using Rust in seL4 Userspace</a><br><span class="summit-abstract-presenter">Nick Spinale</span>,
<span class="summit-abstract-affiliation">Colias Group, LLC</span>
<td></td>
</tr>
</table>
<br>

0 comments on commit 55d4bbe

Please sign in to comment.