Of the Field
seL4 Summit
T
he seL4 Summit is the annual international summit on the seL4 microkernel and seL4-related technology, tools, infrastructure, products, projects, and people.
0Voices
3Underwriters
0Exhibitors
0On the bill · sessions
3Companies · in total
Underwritten By
The houses behind the program. Tiers as disclosed.Intermission
Part the Second · For the Buyer
An audience of 3 companies, parsed from the program.
“Three companies in attendance.”
The numbers below are derived from the speakers, sponsors, and exhibitors on this page — cross-referenced into one ledger. They are the only thing here that 10times.com cannot tell you.
0All threespeak · spons · exh
3Sponsoringsponsor only
0Exhibitingexhibitor only
0Speakingspeaker only
- 01AppleSp·G
- 02ProofcraftSp·S
- 03Riverside ResearchSp·E
gold1
33% of 3
silver1
33% of 3
evening reception1
33% of 3