(no commit message)

diff --git a/meetings/sync_up/sync_up_2024-01-30.mdwn b/meetings/sync_up/sync_up_2024-01-30.mdwn
index 1089403a90e616266ad4dc574e5bc3135e300f21..763bcf96473bd0384ac7d836933696aa75dd315c 100644 (file)
--- a/meetings/sync_up/sync_up_2024-01-30.mdwn
+++ b/meetings/sync_up/sync_up_2024-01-30.mdwn
@@ -32,6 +32,8 @@ question, should i commit autogenerated, ans no. jacob has a makefile.
 "add a resource" to pretalx, then it can be downloaded from fosdem
 live site.
 
+https://fosdem.org/2024/schedule/event/fosdem-2024-2215-an-introduction-to-formal-verification-of-digital-circuits/
+
 # Dmitry
 
 # Sadoon