Hi all,

Here’s a draft web page where the PC list for the seL4 summit will appear. I intend to publish it on Friday my time, with some announcements. Let me know if you’d like any change with the picture or the link it points to. I’ll interpret silence as agreement :)

Thanks!
June


https://htmlpreview.github.io/?https://raw.githubusercontent.com/seL4/website_pr_hosting/PR_179/localhost/Foundation/Summit/index.html