seL4 Summit
""

Sponsor Guide

General Information

Thank you for your support of seL4 Summit 2025, taking place in person in Prague, Czech Republic this 3-5 September!

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.

Registration

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 “Sponsor” registration type and enter the discount code that was emailed to you.

Please email Christie Davis if you need the code resent to you.

VenuE + TRAVEL

Venue

Grandior Hotel Prague
Na Poříčí 1052/42, 110 00 Florenc, Czechia

Hotel

Grandior Hotel Prague
Na Poříčí 1052/42, 110 00 Florenc, Czechia

Dates with Availability: 1, 2, 3, 4, 5 September
Room Rates Start From: €135+/ night
Taxes: City Tax: €2 per person, per night
Rate Includes: VAT, Breakfast & Wifi

Room Block Closes: 10 August 2025 at 11:59 PM CET
(Please note, the rate is valid until the cut-off date or the room block is full)

Please note that rooms will most likely sell out in advance of the room block close dates listed below. We encourage you to book early to secure a room at the conference rate.

Important: The Linux Foundation will never reach out to attendees by phone to make hotel reservations for our conferences. Please be advised that the most secure way to book in our discounted room block is by using the direct booking link provided below or by calling the hotel directly. If you receive a phone call or email from someone claiming to be with The Linux Foundation or the hotel and they attempt to sell you a hotel room, please email us at housing@linuxfoundation.org.

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

Getting There

AIRPORT INFORMATION

Václav Havel Airport Prague (PRG)

Driving Time to the venue: 42 minutes
Distance to the venue: 16.2 km

Driving Directions: from PRG to Venue

PUBLIC TRANSPORTATION

Prague Integrated Transport

Train Directions: from PRG to Venue

PARKING

At the Venue:

There is an on-site underground parking garage available, but is subject to availability. Since parking spaces in city centers can be limited, it’s a good idea to reserve a spot in advance if you are planning to drive. For more information please contact reception@hotel-grandior.cz.

Nearby:

Parking Palladium

Hourly standard rate: 65 CZK / 1 h

EXHIBIT HOURS

Sponsor tabletops will be in the Conference Foyer on the upper ground floor. All times below are in CEST.

Tabletop Set-up Hours:

coming soon!

Open Tabletop Hours:

coming soon!

Tabletop Tear-Down Hours:

coming soon!

Due Dates

GOLD SPONSOR DUE DATES

Friday, August 1: Confirm company name, logo, URL, use of exhibit space, and use of lead retrieval app

Friday, August 8: Deadline to place additional power, AV, and internet orders

Friday, August 15:

  • Promotional video due
  • Registration deadline

SILVER SPONSOR DUE DATES

Friday, August 1: Confirm company name, logo, URL, use of exhibit space, and use of lead retrieval app

Friday, August 8: Deadline to place additional power, AV, and internet orders

Friday, August 15:

  • Promotional video due
  • Registration deadline

BRONZE SPONSOR DUE DATES

Friday, August 1: Confirm company name, logo, and URL

Friday, August 15: Registration deadline

GOLD Deliverables

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 2025. Please reach out to Stacey Orlick 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.

SILVER Deliverables

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.

BRONZE Deliverables

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.

EXHIBIT SPACE

Gold sponsors receive (1) 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 (1) 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

Coming soon!

SHIPPING

Each company is responsible for shipping and tracking its 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.  

Jana Frühaufová
Evi Harmon (The Linux Foundation)
Grandior Conference Center
Na Poříčí 42, 110 00 Praha 1

Please make sure to also include the following on all of your boxes:

Your Company Name 
Exhibitor Onsite Contact + Mobile Phone Number
Package Nr.: _ of _  

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.

There is no dedicated storage space available at the event. Please store your boxes underneath your tabletops.

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.    

AV, POWER + INTERNET

Gold and silver sponsors receive 230 volts 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, hardline internet, or extra power, please send your request to Christie Davis by Friday, August 8.

MARKETING + PR

Sponsor Marketing + PR Kit

The official conference hashtag is #

Follow us on Social: LinkedIn, YouTube & X. 

Sponsor content recommendations

Social snackable

Conference Logos

Official conference logos are available for download below:

Black logo file

White logo file

Color logo file

If you are looking for a different file type, please email cdavis@linuxfoundation.org with your file request.  

Schedule

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

Health + Safety

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

Code of Conduct

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

Sponsors

Silver

Bronze