| About | Followers | Exhibitors | 7 Speakers | Reviews | Deals |
Excited about the event? Spread the word and invite your network!
Share
The SeL4 Summit is an esteemed annual international conference focused on the seL4 microkernel, recognized as the world’s most highly assured operating system kernel. This summit serves as a vital platform for the global seL4 community, encompassing developers, researchers, users, and enthusiasts. The event aims to foster learning and sharing
...
around seL4 technology, discussing its latest advancements, applications, successes, and the challenges faced by its users. Attendees will have the opportunity to connect with a diverse group of stakeholders including developers, customers, supporters, and potential partners, facilitating collaboration and innovation within the field.
Hosted by The Linux Foundation, this year’s SeL4 Summit will take place at the Grandior Hotel in Prague, Czech Republic. The event promises an engaging atmosphere where participants can delve into the intricacies of seL4-related technologies, tools, and infrastructure. It will not only highlight the progress made in seL4 development but also encourage discussions on future plans and directions for the microkernel and its ecosystem.
Hosted by The Linux Foundation, this year’s SeL4 Summit will take place at the Grandior Hotel in Prague, Czech Republic. The event promises an engaging atmosphere where participants can delve into the intricacies of seL4-related technologies, tools, and infrastructure. It will not only highlight the progress made in seL4 development but also encourage discussions on future plans and directions for the microkernel and its ecosystem.
Highlights
- Popular among visitors for
Top 100 in IT & Technology in Czech Republic
Listed In
Excited about the event? Spread the word and invite your network!
Share
Timings09:00 AM-06:00 PM (expected)Not Verified | Entry FeesCheck Official Website |
Estimated Turnoutupto 100 Delegates | Event TypeConference |
EditionsSep 2025 InterestedFrequency Newly Listed | Official LinksWebsiteContacts Report Error Claim this event |
| Different Located Editions Sydney, Australia15 - 17 Oct 2024 Minneapolis, USA19 - 21 Sep 2023 1 Followers | |
Organizer Queries about the event?
Ask Organizer
| |
50.09008614.436036 Venue Map & Directions | |
Near the venue with time to spare? New in town?
Invite others for coffee and plan your day!
EditionSep 2025
How would you like to participate in this event?
Visitor
Exhibitor
Speaker
Invite users with similar interest
Markus Bauer
Self Empoyed
Prague, Czech Republic
Denis Polikarpov
Executive Director
Prague, Czech Republic
Jan Stepita
Principal
Prague, Czech Republic
geo
Personal Assistant
Prague, Czech Republic
Nail Talipov
Project Manager
Prague, Czech Republic
Guy Van Elsacker
USA
Prague, Czech Republic
Kalin
Student
Prague, Czech Republic
rodrigue makelele luyatu
participant au conference
Prague, Czech RepublicView More
Speakers
Speaker
John Doe
CEO at Acme Corp.Speaker
Susan Jones
CTO at XYZ Inc.Speaker
Byron Ruth
Director of Developer Relations, SynadiaSpeaker
Hugh McKee
Developer Advocate, LightbendSpeaker
Jonas Bonér
President & CEO, LightbendSpeaker
Mary Grygleski
Streaming Developer Advocate, DataStax50.09008614.436036
Venue Map & Directions
Na Porici 1052/42, 110 00 Prague 1-Florence
Czech Republic
More Events in Prague
 Jun 052025 | Esicm Lives physiology Prague, Czech Republic |
| Sep 072025 | FEBS3+ Meeting: Biochemistry Congress Prague, Czech Republic |
| Sep 172025 | Future Air Force Conference Prague, Czech Republic |
| Oct 032025 | World Health Congress Prague Prague, Czech Republic |
| Oct 132025 | International Conference on Biomaterials & Biodevices Prague, Czech Republic |
https://10times.com/hub/technology-hub
Jun 092025
