Dear speaker, the Micorkernel devroom schedule is online now: https://fosdem.org/2019/schedule/track/microkernels_and_component_based_os/ Please make sure that your speaker information is up to date. Thank you, Sebastian