From a4b85df67151f0bfc3bbf1ac13cec1e95f4ba043 Mon Sep 17 00:00:00 2001
From: lkcl <lkcl@web>
Date: Tue, 30 Jan 2024 17:08:09 +0000
Subject: [PATCH]

---
 meetings/sync_up/sync_up_2024-01-30.mdwn | 2 ++
 1 file changed, 2 insertions(+)

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
-- 
2.30.2