fosdem2024_formal: add slides and diagrams