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
bbrcknl@gmail.com