Brussels / 1 & 2 February 2020



Please answer the next questions regarding you and your personal perception of the event under discussion.
If you don't want to answer a particular question, just leave it as it is.

Title: What's new in the world of seL4
Speaker(s): Gernot Heiser
Track: Microkernels and Component-based OS devroom
Time: Sunday 2019-02-03 00:00:00


Rate from 1 to 5, 5 being the highest score

How would you rate your personal knowledge about this topic?
How important is this topic for this conference?
What is your impression of the quality of the content?
What is your impression of the presentation?
How big was the involvement/integration of the audience?

Personal comments

If you have anything particular to say about this event feel free to do so. Criticism, suggestions for improvement or other notes are very welcome.