[Summit] summit program changes

Hi Stacey There have been a number of program changes. Could you please adjust sched accordingly? Matt Brecknell’s talk will be on the same day, but longer, 13:30 - 14:00 Alain Kägi’s talk will be on Day 2, 4 Sep, 13:30 - 13:45 June’s announcements will be on Day 2, 4 Sep, 17:00 - 17:15 Yuning Liang’s talk be on Day 3, 5 Sep, 9:50 - 10:05 cheers Birg Birgit Brecknell seL4 Foundation Project Coordinator Sydney, Australia Mon 9-5 Wed 2-5 Fri 9-5 birgit@sel4.systems <mailto:birgit@sel4.systems> bbrcknl@gmail.com <mailto:bbrcknl@gmail.com>