From f99be4d3a3c7e0d7eb55ae695355d7ab850f963f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Nicolas=20M=C3=A9ric?= Date: Tue, 8 Feb 2022 12:51:46 +0100 Subject: [PATCH] Add ACM subject classification entries --- examples/scholarly_paper/2021-ITP-PMTI/document/preamble.tex | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/examples/scholarly_paper/2021-ITP-PMTI/document/preamble.tex b/examples/scholarly_paper/2021-ITP-PMTI/document/preamble.tex index 591b7b1..358f838 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}