Remove old news, add FOSDEM related activities.

diff --git a/meetings/sync_up/sync_up_2024-02-13.mdwn b/meetings/sync_up/sync_up_2024-02-13.mdwn
index a45364c82e49a3be0d6580f232d4b05d9c0ed900..d8f9d92c5db3b1231dc970ad39c6ba181c3f4a84 100644 (file)
--- a/meetings/sync_up/sync_up_2024-02-13.mdwn
+++ b/meetings/sync_up/sync_up_2024-02-13.mdwn
@@ -9,9 +9,6 @@
   for completion of cavatools and cryptoprimitives.
 * payments for FOSDEM
 
-cesar, interested faces and questions on formal talk.
-thank you for taking care of devroom. instructions all there.
-
 EUR 4500 for everyone who did talks and helped.
   [bug #1070](https://bugs.libre-soc.org/show_bug.cgi?id=1070)
 
@@ -36,7 +33,16 @@ Meeting notes:
 
 # Cesar
 
-  [bug #1220](https://bugs.libre-soc.org/show_bug.cgi?id=1220)
+* [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.
+
 # Jacob
 
 # Rita (Aarhuis)