1 files changed, 10 insertions, 5 deletions
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