From b6fb08a4d2168e34b8f54531d07df83b8ac1f5eb Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Thu, 9 Sep 2021 20:11:26 +0100
Subject: Some more slight changes

---
 main.tex | 15 ++++++++++-----
 1 file changed, 10 insertions(+), 5 deletions(-)

(limited to 'main.tex')

diff --git a/main.tex b/main.tex
index 187761e..110d901 100644
--- a/main.tex
+++ b/main.tex
@@ -180,16 +180,21 @@
        <concept_significance>300</concept_significance>
        </concept>
    <concept>
-       <concept_id>10002978.10002986.10002990</concept_id>
-       <concept_desc>Security and privacy~Logic and verification</concept_desc>
+       <concept_id>10011007.10011074.10011099.10011692</concept_id>
+       <concept_desc>Software and its engineering~Formal software verification</concept_desc>
        <concept_significance>500</concept_significance>
        </concept>
- </ccs2012>
+   <concept>
+       <concept_id>10003752.10010124.10010138.10010142</concept_id>
+       <concept_desc>Theory of computation~Program verification</concept_desc>
+       <concept_significance>500</concept_significance>
+       </concept>
+</ccs2012>
 \end{CCSXML}
 
 \ccsdesc[500]{Hardware~High-level and register-transfer level synthesis}
-\ccsdesc[300]{Hardware~Functional verification}
-\ccsdesc[500]{Security and privacy~Logic and verification}
+\ccsdesc[500]{Software and its engineering~Formal software verification}
+\ccsdesc[500]{Theory of computation~Program verification}
 
 
 %% Keywords
-- 
cgit