seL4 Summit 2024
Sydney, Australia
15-17 October 2024
Social Activities
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.
This list is in chronological order. Note that some activities require advanced bookings, by 20 September 2024 4 October 2024.
- Blue Mountains bush walk, 13 Oct, Free
- Bondi to Coogee walk, 14 Oct, Free
- The Rocks guided walk, 14 Oct, $35
- Maritime Museum guided tour, 19 Oct, $25
Blue Mountains bush walk
Gernot plans to take a group on a walk, most likely in the stunning Blue Mountains, which are about a 1.5 hours drive from Sydney. Please contact Gernot Heiser for further details.
When: Sunday 13 Oct 2024
Bring:
- Hat
- Sunscreen
- Water bottle
- Raincoat (depending on weather)
Contact: Gernot Heiser
Bondi to Coogee walk
June will take a group on the iconic Bondi to Coogee walk, with optional dinner to follow at Coogee for people who are interested.
When: Monday 14 Oct 2024, starting at 3:30pm
Where: Bondi Beach
Cost: Free, with the option of buying dinner at Coogee
Bring:
- Hat
- Sunscreen
- Water bottle
- Umbrella or raincoat (depending on weather)
- Swimmers and towel (optional, if you want to have a swim at Bondi before 3:30pm, or at Coogee on arrival)
Contact: June Andronick
A guided tour of The Rocks
Birg will organise a guided tour of The Rocks, which gives an account of Sydney's colonial heritage.
Bookings are required by 4 October 2024. Min group size 12. Max group size 20.
When: Monday 14 Oct 2024, meet at 3:15pm, tour 3:30-5pm
Where: The Rocks Walking Tours
Cost: $35 AUD per person
Bring:
- Hat
- Sunscreen
- Water bottle
- Umbrella or raincoat (depending on weather)
Contact: Birgit Brecknell
A guided tour of the Maritime Museum
Peter will lead a guided tour of the Australian National Maritime Museum. The tour will include onboard experiences of the major vessels:
- HMAS Onslow (submarine)
- HMAS Vampire II (destroyer)
- James Cook's HMB Endeavour replica
- Duyfken replica
Please contact Peter Chubb for further details, including how to make your booking.
Bookings are required by 4 October 2024.
When: Saturday 19 Oct 2024, 11am. If there is more interest, Peter will also lead a tour on Saturday 12 Oct 2024, 11am.
Where: Australian National Maritime Museum
Cost: $25 AUD per person
Bring:
- Flat, closed shoes. Note that headroom clearances aboard Endeavour are 1200mm in places, and all ships except Duyfken involve ladders, which is why you can't wear high heels or flip-flops.
Contact: Peter Chubb.