Loading…
1 - 3 September | Vancouver, Canada BC
View More Details & Registration
The schedule is subject to change, so please check back before the event for the most up-to-date information.

Please note that all session times are listed below in Pacific Daylight Time (PDT), UTC-7.
← Back to schedule
Announcements - June Andronick, Proofcraft & seL4 Foundation
Wednesday September 2, 2026 09:50 - 10:00 PDT
Plaza A & B

Speakers
avatar for June Andronick

June Andronick

CEO, Proofcraft and seL4 Foundation
June Andronick is CEO and co-founder of Proofcraft, a company providing commercial support for software verification in general and the seL4 microkernel verification in particular. She is also CEO of the seL4 Foundation. June has extensive leadership experience towards making the... Read More →
Wednesday September 2, 2026 09:50 - 10:00 PDT
Plaza A & B
  Keynote Sessions

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

Tweet Share

Get help with the event

Contact event planner Event login
View support guides Find upcoming events
Create an event you'd love to attend!
Explore why organizers choose Sched • Success stories
Event App • Event scheduling • Event registration • Event ticketing • Sched forms • Call for papers • Badges • Conferences
© 2026. SCHED LLC - All rights reserved - Helping events since 2008
Conference Scheduling Software • Privacy • Terms
Share Modal

Share this link via

Or copy link