+* [bug #1220](https://bugs.libre-soc.org/show_bug.cgi?id=1220):
+Updated [wiki](https://git.libre-soc.org/?p=libreriscv.git;a=commit;h=1f429eeba125e65ba4649045196d043a4acac31d)
+and [ftp](https://ftp.libre-soc.org/fosdem_2024/fosdem2024_formal.pdf)
+with final version of presentation.
+
+* Reviewed my [FOSDEM video](https://fosdem.org/2024/schedule/event/fosdem-2024-2215-an-introduction-to-formal-verification-of-digital-circuits/)
+
+* The Cologne chip and Gnucap talks are cut at the end, need to report that.
+I guess they advanced a little into the 5 min interval.
+