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
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:
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.
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
Conference Logos
Official conference logos are available for download below:
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.