[Summit-pc] seL4 summit: finalised draft program --please check!