(no commit message)

diff --git a/conferences/fosdem2022.mdwn b/conferences/fosdem2022.mdwn
index c391e44a9a356ce4325fbc32c707376b65fcf124..7b41bd047e68311448b92f3863f529fc3bbc0ba0 100644 (file)
--- 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