summit social activities (#390)

* add summit social activities

---------

Signed-off-by: Birgit Brecknell <b@brck.nl>

Foundation/Summit/2024/index.html

@@ -26,7 +26,9 @@ <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 class="highlight" href="#summit-training-day">Latest news: Training day @ UNSW</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>
     <li><a href="#summit-sponsors">Sponsors</a></li>
     <li><a href="#summit-contact">Contact</a></li>
@@ -133,6 +135,13 @@ <h3 id="summit-program">
   </p>
 </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-keynote-speakers">

Foundation/Summit/2024/program.html

@@ -28,10 +28,7 @@ <h3>
 <div style="padding-top:10px; padding-bottom:10px">
   <h4>Social activities</h4>
   <p>
-    <strong>Weekend of Oct 12 & 13, 2024:</strong> Potential bush walking led by Gernot Heiser (<a href="https://www.unsw.edu.au/staff/gernot-heiser">contact him</a> if interested).
-  </p>
-  <p>
-    <strong>Mon Oct 14, 2024:</strong> Informal Social Activities will be organised by local Sydney-siders. Stay tuned.
+    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>
 

Foundation/Summit/2024/social-activities.html

@@ -0,0 +1,139 @@
+---
+#    Copyright 2024 seL4 Project a Series of LF Projects, LLC.
+#    SPDX-License-Identifier: CC-BY-SA-4.0
+title: Summit program
+---
+
+<h1>
+  seL4 Summit 2024
+</h1>
+<h4>
+  Sydney, Australia
+</h4>
+<h4>
+  15-17 October 2024
+</h4>
+
+<h3>
+   Social Activities
+</h3>
+<p>
+    A number of informal social activities are being organised by local Sydney-siders. Check out the list and contact the organiser to register your interest.
+</p>
+<p>
+    This list is in chronological order. Note that some activities require advanced bookings, by 20 September 2024.
+</p>
+<ul>
+    <li><a href="#blue-mountains">Blue Mountains bush walk</a>, 12 or 13 Oct (TBC), Free</li>
+    <li><a href="#bondi-coogee">Bondi to Coogee walk</a>, 14 Oct, Free</li>
+    <li><a href="#the-rocks">The Rocks guided walk</a>, 14 Oct, $35</li>
+    <li><a href="#sailing">Sailing in Sydney Harbour</a>, 19 Oct (TBC), $120</li>
+</ul>
+
+<div id="blue-mountains">
+    <h4 style="padding-top:20px">Blue Mountains bush walk (TBC)</h4>
+    <img src="../../../images/summit/blue-mountains.jpg" style="padding:10px" alt="Blue Mountains" width="250">
+    <p>
+        Gernot plans to take a group on a walk, most likely in the stunning <a href="https://www.visitnsw.com/destinations/blue-mountains">Blue Mountains</a>, which are about a 1.5 hours drive from Sydney. The details of this activity will be organised mid-September 2024. Stay tuned!
+    </p>
+    <p>
+        <strong>When: </strong> Weekend of 12 & 13 October 2024 (Date TBC)
+    </p>
+    <p>
+        <strong>Contact: </strong><a href="https://www.unsw.edu.au/staff/gernot-heiser">Gernot Heiser</a>
+    </p>
+</div>
+
+<div id="bondi-coogee">
+    <h4 style="padding-top:20px">Bondi to Coogee walk</h4>
+    <img src="../../../images/summit/bondi.jpg" style="padding:10px" alt="Bondi Beach" width="250">
+    <p>
+        June will take a group on the iconic <a href="https://www.sydney.com/things-to-do/nature-and-parks/walks/bondi-to-coogee-coastal-walk">Bondi to Coogee walk</a>, with optional dinner to follow at Coogee for people who are interested.
+    </p>
+    <p>
+        <strong>When: </strong> Monday 14 Oct 2024, starting at 3:30pm
+    </p>
+    <p>
+        <strong>Where: </strong><a href="https://maps.app.goo.gl/fDrRZqj7JHNGiFYx9">Bondi Beach</a>
+    </p>
+    <p>
+        <strong>Cost: </strong>Free, with the option of buying dinner at Coogee
+    </p>
+    <p>
+        Bring:
+    </p>
+    <ul>
+        <li>Hat</li>
+        <li>Sunscreen</li>
+        <li>Water bottle</li>
+        <li>Umbrella or raincoat (depending on weather)</li>
+        <li>Swimmers and towel (optional, if you want to have a swim at Bondi before 3:30pm, or at Coogee on arrival)</li>
+    </ul>
+    <p>
+        <strong>Contact: </strong><a title="june@sel4.systems" href="mailto:june@sel4.systems">June Andronick</a>.
+    </p>
+</div>
+
+<div id="the-rocks">
+    <h4 style="padding-top:20px">A guided tour of The Rocks</h4>
+    <img src="../../../images/summit/opera-house.png" style="padding:10px" alt="Sydney Opera House" width="250">
+    <p>
+        Birg will organise a guided tour of <a href="https://www.rockswalkingtours.com.au/walking-tour/">The Rocks</a>, which gives an account of Sydney's colonial heritage.
+    </p>
+    <p>
+        Bookings are required by <span class="highlight">20 September 2024</span>. Max group size 20.
+    </p>
+    <p>
+        <strong>When: </strong> Monday 14 Oct 2024, meet at 3:15pm, tour 3:30-5pm
+    </p>
+    <p>
+        <strong>Where: </strong><a href="https://maps.app.goo.gl/hpPAbuXyNFVjm5QPA">The Rocks Walking Tours</a>
+    </p>
+    <p>
+        <strong>Cost: $35 AUD per person</strong>
+    </p>
+    <p>
+        Bring:
+    </p>
+    <ul>
+        <li>Hat</li>
+        <li>Sunscreen</li>
+        <li>Water bottle</li>
+        <li>Umbrella or raincoat (depending on weather)</li>
+    </ul>
+    <p>
+        <strong>Contact: </strong><a title="birgit@sel4.systems" href="mailto:birgit@sel4.systems">Birgit Brecknell</a>
+    </p>
+</div>
+
+<div id="sailing">
+    <h4 style="padding-top:20px">Sailing in Sydney Harbour (TBC)</h4>
+    <img src="../../../images/summit/sydney-harbour.jpg" style="padding:10px" alt="Sydney Harbour" width="250">
+    <p>
+        Peter plans to take a group <a href="https://www.sea.museum/whats-on/events/sail-on-duyfken">sailing in the Sydney Harbour</a> on a replica of the 1600s ship, the <a href="https://www.sea.museum/whats-on/our-fleet/duyfken">Duyfken</a>. Includes light refreshments, beer, soft drinks etc.
+    </p>
+    <p>
+        Please note that this is a rare and special experience, so bookings will need to be made by <span class="highlight">20 September 2024</span>. Please contact <a title="peterc@sel4.systems" href="mailto:peterc@sel4.systems">Peter Chubb</a> for further details, including how to make your booking. There may be a discount for a group booking of more than 16 people. Max 24 people.
+    </p>
+    <p>
+        Peter is waiting for confirmation on the availability of the Duyfken and will know by 7 Sep. If sailing cannot happen, Peter will lead a tour of the maritime museum and its vessels (including the submarine), at a cost of $25 AUD pp.
+    </p>
+    <p>
+        <strong>When: </strong>Saturday 19 Oct 2024 (TBC), 2:30pm - 5:30pm
+    </p>
+    <p>
+        <strong>Where: </strong><a href="https://maps.app.goo.gl/xUXPS2WfZjgU6keS9">Australian National Maritime Museum</a>
+    </p>
+    <p>
+        <strong>Cost: </strong>$120 AUD per person
+    </p>
+    <p>
+        Bring:
+    </p>
+    <ul>
+        <li>clothes suitable for the weather, noting it can get cold and wet, there's no shelter aboard</li>
+    </ul>
+    <p>
+        <strong>Contact: </strong><a title="peterc@sel4.systems" href="mailto:peterc@sel4.systems">Peter Chubb</a>.
+    </p>
+</div>

images/summit/blue-mountains.jpg.licence

@@ -0,0 +1,4 @@
+Copyright 2024, Dominic Kurniawan Suryaputra
+    SPDX-License-Identifier: LicenseRef-PhotoLicence
+    # Three Sisters, Echo Point Road, Katoomba NSW, Australia
+    # Free to use under the Unsplash License

images/summit/bondi.jpg.licence

@@ -0,0 +1,4 @@
+Copyright 2020, Priyanka D
+    SPDX-License-Identifier: LicenseRef-PhotoLicence
+    # Cloudy day at the beach
+    # Free to use under the Unsplash License

images/summit/opera-house.png.licence

@@ -0,0 +1,4 @@
+Copyright 2019, Kay
+    SPDX-License-Identifier: LicenseRef-PhotoLicence
+    # Opera House
+    # Free to use under the Unsplash License