diff --git a/examples/scholarly_paper/2021-ITP-PMTI/document/preamble.tex b/examples/scholarly_paper/2021-ITP-PMTI/document/preamble.tex index 591b7b18..358f838f 100644 --- a/examples/scholarly_paper/2021-ITP-PMTI/document/preamble.tex +++ b/examples/scholarly_paper/2021-ITP-PMTI/document/preamble.tex @@ -34,3 +34,7 @@ \Copyright{Idir Ait-Sadoune, Nicolas Méric, and Burkhart Wolff} \authorrunning{I. Ait-Sadoune, N. Méric and B. Wolff} \keywords{Ontologies, Formal Documents, Formal Development, Isabelle/HOL, Ontology Mapping} +\ccsdesc{Computing methodologies~Ontology engineering} +\ccsdesc{Information systems~Ontologies} +\ccsdesc{Theory of computation~Interactive proof systems} +\ccsdesc{Theory of computation~Higher order logic}