Sponsor Guide

Thank you for your support of seL4 Summit 2024, taking place in person in Sydney, Australia this October 15-17!

Please click through the tabs on this page to access information on exhibiting at the conference. If you have any questions, please don’t hesitate to contact Christie Davis.

Each sponsor receives a number of complimentary passes for the event which can be used for sponsor booth representatives, other company representatives, or clients to register. 

Gold: 5 passes
Silver: 3 passes
Bronze: 1 pass

Click here to register. Choose the “In Person Sponsor” registration type and enter the discount code that was emailed to you.

Please email Christie Davis if you need the code re-sent to you.

Venue

Holiday Inn Sydney Potts Point
203 Victoria St
Potts Point NSW 2011, Australia

Hotel

Holiday Inn Sydney Potts Point
203 Victoria St
Potts Point NSW 2011, Australia

Dates with Availability: October 14, 15, 16 17
Room Rates Start From: $275 AUD/ night
Taxes: 10%
Rate Includes: Wifi, Taxes, Breakfast

Room Block Closes: September 13, 2024 at 11:59 PM AEST
(Please note, the rate is valid until the cut-off date or the room block is full)

Please see the venue & travel page on the seL4 Summit event site for more information.

Getting There

Airport Information

Sydney International Airport (SYD)

Distance from the venue: 11.1 km
Time by car: 20 minutes

Driving Directions: from SYD to the venue

Public Transportation

For more information about public transportation in Sydney, please visit Sydney Trains.

Parking

At the Venue:

On-Site Parking Available

Enter via the driveway on Victoria Street. The undercover security car park has approximately 120 car spaces.

• Overnight parking for hotel guests: 45 AUD per car per day.
• Daily rates Mon – Fri 5pm: 55 AUD
• Weekend rates Fri 5pm – Sun: 60 AUD
• Cost: 45 AUD

Nearby:

Off-Site Parking

The hotel car park has approximately 120 car spaces available. It is an undercover security car park, with access by room key card or intercom to reception. The car park has direct lift access to the foyer.

Sponsor tabletops will be in the Bluegum Lobby. All times below are in Australian Eastern Standard Time (GMT+10)

Tabletop Set-up Hours:

Monday, October 14: 14:00 – 16:00

Tuesday, October 15: 8:00 – 9:00

Open Tabletop Hours:

Tuesday, October 15: 10:00 am – 18:30 pm

• Networking event: 17:00 – 18:30

Wednesday, October 16: 10:00 – 15:30

Thursday, October 17: 10:00 – 15:30

Tabletop Tear-Down Hours:

Thursday, October 17: 15:30 – 17:00

GOLD SPONSOR DUE DATES

Wednesday, September 18: Confirm company name, logo, URL, use of exhibit space, and use of lead retrieval app

Friday, September 20: Deadline to place additional power, AV, and food + beverage orders

Wednesday, September 25: Promotional video due

Friday, October 4: Registration deadline

SILVER SPONSOR DUE DATES

Wednesday, September 18: Confirm company name, logo, URL, use of exhibit space, and use of lead retrieval app

Friday, September 20: Deadline to place additional power, AV, and food + beverage orders

Wednesday, September 25: Promotional video due

Friday, October 4: Registration deadline

BRONZE SPONSOR DUE DATES

Wednesday, September 18: Confirm company name, logo, and URL

Friday, October 4: Registration deadline

Looking for resources to help you promote your presence at seL4 Summit? Please download our Sponsor Marketing + PR Kit (coming soon).

Speaking Opportunity
Gold sponsors receive a speaking session at seL4 Summit 2024. Please reach out to Carolyn Ingalls with any questions.

Session Recording Recognition
Extend your presence long after the live event concludes with your logo on all recorded sessions that will stay online after the event.

Promotional Videos During the Event
Gold sponsors can submit one promotional video that will be played during the event.

Exhibit Space
Includes (1) table, 2 chairs, power, and conference WiFi.

Email Recognition
Gold sponsor logos and URLs will be included in the pre and post-conference emails.

Logo and Weblink on Event Website
Your company logo and URL will appear on the seL4 Summit event site.

Complimentary Passes to the Event
Gold sponsors receive 5 full-access passes to seL4 Summit.

Please email Christie Davis if you need your sponsor code for the complimentary passes re-sent to you.

Recognition During Opening Keynote Session
Logo included on “Thank You to Our Sponsors” slide during opening keynote session and recognition by name.

Logo On Sponsor Signage Onsite
Gold sponsor logos will appear on signage at the event.

Looking for resources to help you promote your presence at seL4 Summit? Please download our Sponsor Marketing + PR Kit (coming soon).

Promotional Videos During the Event
Silver sponsors can submit one promotional video that will be played during the event.

Exhibit Space
Includes (1) table, 2 chairs, power, and conference WiFi.

Email Recognition
Silver sponsor logos and URLs will be included in the pre-conference email.

Logo and Weblink on Event Website
Your company logo and URL will appear on the seL4 Summit event site.

Complimentary Passes to the Event
Silver sponsors receive 3 full-access passes to seL4 Summit.

Please email Christie Davis if you need your sponsor code for the complimentary passes re-sent to you.

Recognition During Opening Keynote Session
Logo included on “Thank You to Our Sponsors” slide during opening keynote session and recognition by name.

Logo On Sponsor Signage Onsite
Silver sponsor logos will appear on signage at the event.

Looking for resources to help you promote your presence at seL4 Summit? Please download our Sponsor Marketing + PR Kit (coming soon).

Logo and Weblink on Event Website
Your company logo and URL will appear on the seL4 Summit event site.

Complimentary Passes to the Event
Bronze sponsors receive 1 full-access pass to seL4 Summit.

Please email Christie Davis if you need your sponsor code for the complimentary pass re-sent to you.

Recognition During Opening Keynote Session
Logo included on “Thank You to Our Sponsors” slide during opening keynote session and recognition by name.

Logo On Sponsor Signage Onsite
Bronze sponsor logos will appear on signage at the event.

Gold sponsors receive a 6ft x 4ft space which includes (1) 6ft table, 2 chairs, power, and shared conference wifi. 

• You may bring (1) pop-up banner. Pop-up banners must fit within your 6ft space.
• You may bring your own tablecloth

Silver sponsors receive a 3ft x 4ft space which includes (1) 3ft table, 2 chairs, power, and shared conference wifi. 

• You may bring (1) pop-up banner. Pop-up banners must fit within your 3ft space.
• You may bring your own tablecloth

Gold and silver sponsors may order additional power, internet, and AV. See below for more details.

Floor Plan

Each company is responsible for shipping and tracking its own exhibit materials to and from the conference. If you plan to ship items for your exhibit space, please read the shipping and material handling instructions below.  

Shipping information coming soon!

Provide Tracking Information

Please submit all tracking numbers for your inbound shipments via the form below so that we can help ensure your items are delivered to the conference venue. Shipping Tracking Form  

Security + Onsite Storage

Please do not leave valuable items unattended at your tabletop. Please take valuables such as laptops to your hotel room or visit the registration desk if you have any questions about storing items elsewhere overnight.

Limited storage space will be available for sponsors to store boxes or giveaways during the event days free of charge. It will be shared by all sponsors on a first come first serve basis. Please visit the registration desk if you need any items stored or retrieved. All items must be removed from the storage room by the end of the event on Thursday, October 17. Any left-behind items may be discarded at the sponsor’s expense.

Neither the seL4 Foundation, the Linux Foundation, The Holiday Inn, nor their employees, staff, or third-party vendors will be held liable for lost or stolen items.    

Gold and silver sponsors receive 5 amps of power and (1) triple socket power strip and shared conference wifi with their tabletop display. Sponsors may order additional power, internet, and AV. See below for more details.

Additional AV Equipment, Additional Power + Hardline Internet

If you would like to order a monitor, extra laptop, or extra power, please send your request to Christie Davis by Friday, September 20.

Please see the schedule page for the full conference agenda including keynotes, sessions, social events, and many other activities. 

Please see the most up-to-date health and safety information on the health + safety page of the event site.

Please familiarize yourself with the code of conduct before attending the event.