From: lkcl <lkcl@web>
Date: Tue, 30 Jan 2024 17:08:09 +0000 (+0000)
Subject: (no commit message)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a4b85df67151f0bfc3bbf1ac13cec1e95f4ba043;p=libreriscv.git

---

diff --git a/meetings/sync_up/sync_up_2024-01-30.mdwn b/meetings/sync_up/sync_up_2024-01-30.mdwn
index 1089403a9..763bcf964 100644
--- 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