-
Notifications
You must be signed in to change notification settings - Fork 14
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
* add summit social activities --------- Signed-off-by: Birgit Brecknell <[email protected]>
- Loading branch information
Showing
9 changed files
with
162 additions
and
5 deletions.
There are no files selected for viewing
This file contains 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
This file contains 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
This file contains 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
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -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="[email protected]" href="mailto:[email protected]">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="[email protected]" href="mailto:[email protected]">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="[email protected]" href="mailto:[email protected]">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="[email protected]" href="mailto:[email protected]">Peter Chubb</a>. | ||
| </p> | ||
| </div> |
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
This file contains 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
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -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 |
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
This file contains 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
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -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 |
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
This file contains 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
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,4 @@ | ||
| Copyright 2019, Kay | ||
| SPDX-License-Identifier: LicenseRef-PhotoLicence | ||
| # Opera House | ||
| # Free to use under the Unsplash License |