Event owner lens
Use this record to benchmark whether a comparable event makes the work after the room visible. The score is 29/100, so the next move is to benchmark the weakest pillars before repeating the format.
broadcast-heavy conference agenda analysis
01 Sep seL4 Summit 2026 Conference
This broadcast-heavy conference in Technology / AI / Startup shows 46 visible agenda rows from sel4summit2026.sched.com and scores 29/100: a weak visible outcome architecture. The clearest public signals sit in Future-of-Work Fit and Evidence Maturity; the main limits are Follow Through and Participation Architecture. Visible mechanisms include Participant work, Network design, and Learning transfer. The public record does not show follow-up or tracking, so the score should be read as design intent rather than... A practical reading: For a reader, this is a comparison record more than a model to copy: it reads as a broadcast-heavy conference, with the strongest visible signal in future-of-work fit and evidence maturity and the biggest open question around follow through and participation architecture. The practical test is whether the published agenda connects the room to post-event continuation and evidence. This page is an original public-evidence analysis, not a copy of the source agenda or an endorsement of the event. The score places the visible agenda in the weak visible effectiveness evidence band. The strongest visible pillars are Future-of-Work Fit, Evidence Maturity, and Learning Transfer; the thinnest visible pillars are Follow Through, Network Design, and Participation Architecture. Visible mechanisms include Participant work, Network design, and Learning transfer. The extracted agenda preview includes 92 visible rows. The most common formats are Presentation, Unknown, and Keynote; the most common inferred purposes are Knowledge Transfer, Unknown, and Orientation.
Eight-pillar fingerprint
Hover any pillar to see what it measures and, where it scored low, what the agenda is missing.
Participation Architecture?24
Participation Architecture - 24/100. Participant work, contribution, interaction, and alternatives to passive broadcast.Missing: Turn passive airtime into participant work: practice, sensemaking, decisions, critique, or artifact creation.
Follow Through?5
Follow Through - 5/100. Owners, dates, commitments, progress checks, and accountability after the room.Missing: Add named owners, dates, implementation checkpoints, and a visible post-event continuation path.
Problem Specificity?34
Problem Specificity - 34/100. A clear costly problem, objective, decision, or performance target.
Personalization?30
Personalization - 30/100. Role, path, goal, preparation, or connection tailoring for participants.
Network Design?24
Network Design - 24/100. Structured weak ties, bridge-building, mixers, and relationship persistence.Missing: Replace generic networking blocks with designed introductions, ask-offer exchanges, peer groups, or bridge-building rituals.
Learning Transfer?40
Learning Transfer - 40/100. Applied practice, feedback, workplace use, refreshers, and 30-90 day transfer.
Evidence Maturity?45
Evidence Maturity - 45/100. Baseline, comparison, follow-up, isolation, and attribution confidence.
Future-of-Work Fit?69
Future-of-Work Fit - 69/100. Value against time, hybrid reality, accessibility, AI, and meeting load.
Fix the gaps
Exercises matched to this agenda's weakest pillars, from the exercise library. Check each run sheet for its source and intended setting.
Follow Through (5/100)
Exercises that strengthen it: The Comfort Confession · 15% Solutions · Network Patches
Participation Architecture (24/100)
Exercises that strengthen it: Make a World · Awestruck 3 Minutes · Spectrum Mapping
Network Design (24/100)
Exercises that strengthen it: Izzat You? · Levitation · Sticks
Agenda Preview
The actual agenda we captured. Every block is classified by format and purpose. Open any block to see how we read it; the colored edge shows whether it is participant work, broadcast, logistics, or a showcase.
Room vs wrapper
2 percent of the 92 classified blocks put participants to work; the rest broadcast, show, or handle logistics. That mix is what drives the participation score.
Participant workBroadcastShowcaseLogistics
08:00Registration & Badge Pick-up Georgia Ballroom FoyerRegistrationLogistics+
Format · LogisticsRegistrationCheck-in and logistics, not agenda content.
Evidence basisOutcome inferred from formatInferred from format
09:00Welcome Georgia Ballroom BOpeningOrientation+
Format · BroadcastOpeningFormat not classified from the source; treated as a broadcast block by default.
Evidence basisNo participant output visible from this rowRead from source, no work signal
09:10Keynote: The Age of Software Understanding - Anjana Rajan, CEO & Co-Founder, Atalanta Georgia Ballroom BKeynoteExpert framing+
Format · BroadcastKeynoteA featured talk from the stage. Builds awareness and energy, produces no participant output on its own.
Evidence basisNo participant output visible from this rowRead from source, no work signal
10:00Break Georgia ABreakPacing+
Format · LogisticsBreakA pacing or recovery block between sessions.
Evidence basisOutcome inferred from formatInferred from format
10:30seL4: What, Why, Who and Where? - June Andronick, Proofcraft and seL4 Foundation Georgia Ballroom BPresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
11:3010 Years of seL4 at NCSC - Adam, NCSC Georgia Ballroom BPresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
12:00Lunch Georgia AMealPacing+
Format · LogisticsMealA pacing block. Can carry unstructured networking, not scored as participant work.
Evidence basisOutcome inferred from formatInferred from format
13:30Talk Title To Be Announced - Alistair Woodman, Erlang Ecosystem Foundation (EEF) Georgia Ballroom BPresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
14:00Trends in Formal Verification for Real-World Applications and Their Implications for the seL4 Ecosystem - David Hardin, Collins Aerospace Georgia Ballroom BPresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
14:30Kry10 OS Software Safety Manual - Ihor Kuz, Kry10 Georgia Ballroom BPresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
15:45Formal Verification now in European Cyber Resiliency standard for OS - June Andronick, Proofcraft and seL4 Foundation Georgia Ballroom BPresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
16:00Panel Session & Speakers To Be Announced Georgia Ballroom BPanelDiscussion+
Format · BroadcastPanelExperts discuss while the audience watches. Surfaces perspective but rarely creates participant work.
Evidence basisNo participant output visible from this rowRead from source, no work signal
17:00Closing Remarks Georgia Ballroom BClosingOrientation+
Format · BroadcastClosingFormat not classified from the source; treated as a broadcast block by default.
Evidence basisNo participant output visible from this rowRead from source, no work signal
18:30Attendee Reception TBAReceptionRelationship building+
Format · LogisticsReceptionA social or hospitality block. Pacing and informal connection, not participant work.
Evidence basisOutcome inferred from formatInferred from format
09:00Keynote: From Proof to Product: Why Formal Methods Is Finally Ready - Martin Dehnel-Wild, Chief Scientist, Kry10 Georgia Ballroom BKeynoteExpert framing+
Format · BroadcastKeynoteA featured talk from the stage. Builds awareness and energy, produces no participant output on its own.
Evidence basisNo participant output visible from this rowRead from source, no work signal
09:50Announcements - June Andronick, Proofcraft & seL4 Foundation Georgia Ballroom BPresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
10:30Cyber-Hardened Satellite Software (CHSS) VMM - Robert VanVossen, Dornerworks Georgia Ballroom BPresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
11:00Throwing seL4 on the Throwbot 3 Robot - Nathan Studer, Dornerworks Georgia Ballroom BPresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
11:15Assured Robotics Embedded Systems and Applications in Ground Vehicles (ARSENAL) - Dave Lide, Trusted Science and Technology with Additional Speakers To Be Announced Georgia Ballroom BPresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
11:30Evolving Legacy Systems Towards Strong Spatial and Temporal Isolation with seL4 - Philipp Scholl, ABB Corporate Research Georgia Ballroom BPresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
11:45tSDX - Reference Architecture for Software Defined X - Nils Brand, Fraunhofer IESE Georgia Ballroom BPresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
12:00Lunchtime Poster Presentations Georgia Ballroom Foyer Lunch Georgia AMealShowcase+
Format · LogisticsMealA pacing block. Can carry unstructured networking, not scored as participant work.
Evidence basisOutcome inferred from formatInferred from format
13:30seL4's Security Proofs - Ryan Barry, Proofcraft Systems Georgia Ballroom BPresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
14:00Trustworthy Systems R&D Update - Gernot Heiser, UNSW Sydney Georgia Ballroom BPresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
14:30Where are we with Time Protection? Verification and Cross-domain Communication Update - Rob Sison, UNSW Sydney Georgia Ballroom BPresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
15:30Pancake Updates - Miki Tanaka, UNSW Georgia Ballroom BPresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
16:00Verifying seL4 device drivers with CN - Michal Podhradsky, Galois Georgia Ballroom BPresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
16:15Formalising Device Protocols for sDDF Driver Verification - Liam Murphy, UNSW Sydney Georgia Ballroom BPresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
16:45Verification of a UDP Implementation: Challenges and Solutions - Alain Kägi, Lewis & Clark College Georgia Ballroom BPresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisSession topic references decisions or metrics; event-level follow-through is not shownRead from source
09:00Ask Me Anything' with the TSC - Speakers To Be Announced Georgia Ballroom BPresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
09:30Simplifying Microkit System Composition with Acacia - Lesley Rossouw, UNSW Sydney Georgia Ballroom BPresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
10:30A Policy-free Boot Process for seL4 - Daniel Schwyn, Neutrality Georgia Ballroom BPresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
11:00Carrels: Secure, High-performance Microservice on seL4 - Guangtao Zhu, UNSW Sydney Georgia Ballroom BPresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
11:30Single Kernel Multicore seL4 - Scott Brookes, Riverside Research Georgia Ballroom BPresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
11:45Booting Windows on an x86-64 seL4-based VMM - Bill Nguyen, UNSW Sydney Georgia Ballroom BPresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
12:30Lunchtime Poster Presentations Georgia Ballroom FoyerMealShowcase+
Format · LogisticsMealA pacing block. Can carry unstructured networking, not scored as participant work.
Evidence basisOutcome inferred from formatInferred from format
13:30Rigorous Agentic Systems Engineering for seL4 using HAMR - John Hatcliff, Kansas State University Georgia Ballroom BPresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
14:00Accessible Formal Methods - Building on a Strong sel4 Foundation Nick Tudor, D-RisQ Ltd. Georgia Ballroom BPresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
14:15Efficient User-level Physical Memory Management on seL4 - Guangtao Zhu, UNSW Sydney Georgia Ballroom BPresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
14:30Modeling and Performance Analysis of Ethernet on LionsOS - Lesley Rossouw, UNSW Sydney Georgia Ballroom BPresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
15:00BoF Session: Details To Be Announced Georgia Ballroom BPresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
16:45BoF Wrap-up Georgia Ballroom BClosingOrientation+
Format · BroadcastClosingFormat not classified from the source; treated as a broadcast block by default.
Evidence basisNo participant output visible from this rowRead from source, no work signal
all eventKeynote SessionsKeynoteExpert framing+
Format · BroadcastKeynoteA featured talk from the stage. Builds awareness and energy, produces no participant output on its own.
Evidence basisNo participant output visible from this rowRead from source, no work signal
all eventPoster SessionsPoster sessionShowcase+
Format · ShowcasePoster sessionPresenters display work; attendees browse and ask questions. Some interaction, not structured work.
Evidence basisOutcome inferred from formatInferred from format
all eventRegistration / Breaks / Special EventsRegistrationPacing+
Format · LogisticsRegistrationCheck-in and logistics, not agenda content.
Evidence basisOutcome inferred from formatInferred from format
all eventWalkthrough / TutorialTrainingSkill building+
Format · Participant workTrainingGuided skill building where participants practice. Counts as participant work and learning transfer.
Evidence basisParticipant work is implied by the formatInferred from format
08:00 Registration & Badge Pick-up Georgia Ballroom FoyerRegistrationLogistics+
Format · LogisticsRegistrationCheck-in and logistics, not agenda content.
Evidence basisMediumRead from source
09:00 Welcome Georgia Ballroom BOpening RemarksOrientation+
Format · BroadcastOpening RemarksFraming or welcome from the stage. Orients the room, not participatory.
Evidence basisMediumRead from source
09:10 Keynote: The Age of Software Understanding - Anjana Rajan, CEO & Co-Founder, Atalanta Georgia Ballroom BKeynoteThought Leadership+
Format · BroadcastKeynoteA featured talk from the stage. Builds awareness and energy, produces no participant output on its own.
Evidence basisMediumRead from source
10:00 Break Georgia ABreakWellbeing+
Format · LogisticsBreakA pacing or recovery block between sessions.
Evidence basisMediumRead from source
10:30 seL4: What, Why, Who and Where? - June Andronick, Proofcraft and seL4 Foundation Georgia Ballroom BUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
11:30 10 Years of seL4 at NCSC - Adam, NCSC Georgia Ballroom BUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
12:00 Lunch Georgia AMealWellbeing+
Format · LogisticsMealA pacing block. Can carry unstructured networking, not scored as participant work.
Evidence basisMediumRead from source
13:30 Talk Title To Be Announced - Alistair Woodman, Erlang Ecosystem Foundation (EEF) Georgia Ballroom BPresentationKnowledge Transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisMediumRead from source
14:00 Trends in Formal Verification for Real-World Applications and Their Implications for the seL4 Ecosystem - David Hardin, Collins Aerospace Georgia Ballroom BUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
14:30 Kry10 OS Software Safety Manual - Ihor Kuz, Kry10 Georgia Ballroom BUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
15:45 Formal Verification now in European Cyber Resiliency standard for OS - June Andronick, Proofcraft and seL4 Foundation Georgia Ballroom BUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
16:00 Panel Session & Speakers To Be Announced Georgia Ballroom BPanelDeliberation+
Format · BroadcastPanelExperts discuss while the audience watches. Surfaces perspective but rarely creates participant work.
Evidence basisMediumRead from source
17:00 Closing Remarks Georgia Ballroom BClosing RemarksOrientation+
Format · BroadcastClosing RemarksClosing framing from the stage. Wraps the event, not participatory.
Evidence basisMediumRead from source
18:30 Attendee Reception TBAReceptionRelationship Building+
Format · LogisticsReceptionA social or hospitality block. Pacing and informal connection, not participant work.
Evidence basisMediumRead from source
09:00 Keynote: From Proof to Product: Why Formal Methods Is Finally Ready - Martin Dehnel-Wild, Chief Scientist, Kry10 Georgia Ballroom BKeynoteThought Leadership+
Format · BroadcastKeynoteA featured talk from the stage. Builds awareness and energy, produces no participant output on its own.
Evidence basisMediumRead from source
09:50 Announcements - June Andronick, Proofcraft & seL4 Foundation Georgia Ballroom BUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
10:30 Cyber-Hardened Satellite Software (CHSS) VMM - Robert VanVossen, Dornerworks Georgia Ballroom BUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
11:00 Throwing seL4 on the Throwbot 3 Robot - Nathan Studer, Dornerworks Georgia Ballroom BUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
11:15 Assured Robotics Embedded Systems and Applications in Ground Vehicles (ARSENAL) - Dave Lide, Trusted Science and Technology with Additional Speakers To Be Announced Georgia Ballroom BUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
11:30 Evolving Legacy Systems Towards Strong Spatial and Temporal Isolation with seL4 - Philipp Scholl, ABB Corporate Research Georgia Ballroom BUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
11:45 tSDX - Reference Architecture for Software Defined X - Nils Brand, Fraunhofer IESE Georgia Ballroom BUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
12:00 Lunchtime Poster Presentations Georgia Ballroom Foyer Lunch Georgia APoster SessionShowcase+
Format · ShowcasePoster SessionPresenters display work; attendees browse and ask questions. Some interaction, not structured work.
Evidence basisMediumRead from source
13:30 seL4's Security Proofs - Ryan Barry, Proofcraft Systems Georgia Ballroom BUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
14:00 Trustworthy Systems R&D Update - Gernot Heiser, UNSW Sydney Georgia Ballroom BUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
14:30 Where are we with Time Protection? Verification and Cross-domain Communication Update - Rob Sison, UNSW Sydney Georgia Ballroom BUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
15:30 Pancake Updates - Miki Tanaka, UNSW Georgia Ballroom BUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
16:00 Verifying seL4 device drivers with CN - Michal Podhradsky, Galois Georgia Ballroom BUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
16:15 Formalising Device Protocols for sDDF Driver Verification - Liam Murphy, UNSW Sydney Georgia Ballroom BUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
16:45 Verification of a UDP Implementation: Challenges and Solutions - Alain Kägi, Lewis & Clark College Georgia Ballroom BUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
09:00 Ask Me Anything' with the TSC - Speakers To Be Announced Georgia Ballroom BUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
09:30 Simplifying Microkit System Composition with Acacia - Lesley Rossouw, UNSW Sydney Georgia Ballroom BUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
10:30 A Policy-free Boot Process for seL4 - Daniel Schwyn, Neutrality Georgia Ballroom BUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
11:00 Carrels: Secure, High-performance Microservice on seL4 - Guangtao Zhu, UNSW Sydney Georgia Ballroom BUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
11:30 Single Kernel Multicore seL4 - Scott Brookes, Riverside Research Georgia Ballroom BUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
11:45 Booting Windows on an x86-64 seL4-based VMM - Bill Nguyen, UNSW Sydney Georgia Ballroom BUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
12:30 Lunchtime Poster Presentations Georgia Ballroom FoyerPoster SessionShowcase+
Format · ShowcasePoster SessionPresenters display work; attendees browse and ask questions. Some interaction, not structured work.
Evidence basisMediumRead from source
13:30 Rigorous Agentic Systems Engineering for seL4 using HAMR - John Hatcliff, Kansas State University Georgia Ballroom BUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
14:00 Accessible Formal Methods - Building on a Strong sel4 Foundation Nick Tudor, D-RisQ Ltd. Georgia Ballroom BUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
14:15 Efficient User-level Physical Memory Management on seL4 - Guangtao Zhu, UNSW Sydney Georgia Ballroom BUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
14:30 Modeling and Performance Analysis of Ethernet on LionsOS - Lesley Rossouw, UNSW Sydney Georgia Ballroom BUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
15:00 BoF Session: Details To Be Announced Georgia Ballroom BPresentationKnowledge Transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisMediumRead from source
16:45 BoF Wrap-up Georgia Ballroom BClosing RemarksOrientation+
Format · BroadcastClosing RemarksClosing framing from the stage. Wraps the event, not participatory.
Evidence basisMediumRead from source
all eventKeynote SessionsKeynoteThought Leadership+
Format · BroadcastKeynoteA featured talk from the stage. Builds awareness and energy, produces no participant output on its own.
Evidence basisMediumRead from source
all eventPoster SessionsPoster SessionShowcase+
Format · ShowcasePoster SessionPresenters display work; attendees browse and ask questions. Some interaction, not structured work.
Evidence basisMediumRead from source
all eventRegistration / Breaks / Special EventsBreakWellbeing+
Format · LogisticsBreakA pacing or recovery block between sessions.
Evidence basisMediumRead from source
all eventWalkthrough / TutorialTrainingSkill Building+
Format · Participant workTrainingGuided skill building where participants practice. Counts as participant work and learning transfer.
Evidence basisMediumRead from source
The Full Reading
Why It Ranks This Way +
Calibrated from GES design 33/100 and verified 34/100 with no fourth-loop cap.
Reader Takeaway. For a reader, this is a comparison record more than a model to copy: it reads as a broadcast-heavy conference, with the strongest visible signal in future-of-work fit and evidence maturity and the biggest open question around follow through and participation architecture. The practical test is whether the published agenda connects the room to post-event continuation and evidence.
Strongest signals: Future-of-Work Fit, Evidence Maturity, and Learning Transfer. Weakest signals: Follow Through, Network Design, and Participation Architecture.
How This Agenda Could Improve +
- Add named owners, dates, implementation checkpoints, and a visible post-event continuation path.
- Replace generic networking blocks with designed introductions, ask-offer exchanges, peer groups, or bridge-building rituals.
- Turn passive airtime into participant work: practice, sensemaking, decisions, critique, or artifact creation.
Fastest next move: Add named owners, dated next steps, and a visible continuation path before treating the event as outcome-ready.
Role-Specific Reading +
Sponsor lens
Look beyond exposure. Strong sponsor value would show qualified interaction, problem work, buyer learning, customer evidence, or follow-up. The practical sponsor move is to look for structured introductions, buyer-seller fit, and relationship persistence.
Designer lens
The agenda is useful as a pattern sample from sel4summit2026.sched.com. Redesign attention should go first to the lowest-scoring pillars; in practice, turn the thinnest agenda blocks into participant work.
Executive lens
Treat the visible agenda as an operating plan. The executive move is to require owners, dates, and evidence before treating the event as strategic. If owners, proof, and follow-through are not visible, the public record does not yet prove strategic movement.
Aggregator lens
Treat the source URL as evidence, not decoration. The data-product move is to label the source boundary clearly before ranking the record before ranking or syndicating the record.
What GES Means Here +
The Gathering Effectiveness Score is a strict 0-100 public-evidence reading of the agenda across eight pillars. It rewards visible participant work, follow-through, transfer, network design, and proof mechanisms more than polish, speaker fame, attendance, or satisfaction.
Visible mechanisms: Participant work, Network design, Learning transfer.
Evidence boundary: Scores reflect visible agenda/source evidence and should not be read as proof of causal event impact.
Limitations, Score Caps, and Review Flags +
Limitations
- No visible follow-up, progress monitoring, or longitudinal tracking.
- Passive stage formats dominate the visible agenda.
- No baseline measurement is visible.
Score caps
- No fourth-loop score cap applied.
Review flags
- No source-backed follow-up, validation, baseline, tracking, or impact evidence.
- No tracking, validation, feedback, or impact measurement found in the visible source text.
- Original category was unknown; publication category is inferred.
Is this proof the event worked? +
No. This is a strict public-evidence reading of the agenda. Proof would require baseline, comparison, follow-up, attribution, and impact evidence beyond the listing.
What should a reader inspect first? +
Start with the source URL, then compare the eight pillar scores against the agenda rows. The biggest opportunities usually sit in follow-through, evidence maturity, and participant work.
Why publish weak records? +
Weak records are part of the map. They show where public agendas still describe sessions and speakers more often than outcomes, commitments, transfer, or proof.
How should I use the rows? +
Read the agenda rows as the visible design trace: formats, purposes, and evidence labels show what the public source made inspectable, not everything that happened in the room. This is a source-grounded interpretation of the public agenda record, not a copy of the source, and not an endorsement of the event.
Embed the verified badge +
This record is in the hand-verified gold set. Copy the snippet below to embed the verified badge on your own site.
<a href="https://unitedwetransform.com/events/evt_2026_01_sep_sel4_summit_2026_conference_september_01_03_2026_01_sel4summit2026_2"><img src="https://unitedwetransform.com/badge/ges-verified.svg" alt="GES verified by United We Transform" height="40"></a>Where To Go Next
Compare this agenda against other Technology / AI / Startup events scored on the same eight pillars.