From d0a67e9e303a3da017b0a028bb4d960b3930fb2c Mon Sep 17 00:00:00 2001
From: lkcl <lkcl@web>
Date: Sun, 14 Nov 2021 14:20:51 +0000
Subject: [PATCH]

---
 conferences/fosdem2022.mdwn | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/conferences/fosdem2022.mdwn b/conferences/fosdem2022.mdwn
index c391e44a9..7b41bd047 100644
--- a/conferences/fosdem2022.mdwn
+++ b/conferences/fosdem2022.mdwn
@@ -27,8 +27,10 @@ Elaborate description (including possible topics)
   * Libre/Open FPGA designs
   * FPGA toolchains and Reverse-Engineering
   * FPGA workflow
-- RTL and HDL
-  * Advanced and innovative 
+- VLSI RTL and HDL
+  * Advanced and innovative alternative HDL tools
+  * Formal Correctness Proofs
+  * Testing methodologies
 - Circuit Design
   * Printed circuit board design tools
   * Circuit simulation
-- 
2.30.2