diff --git a/examples/scholarly_paper/2018_cicm/IsaDofApplications.thy b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/IsaDofApplications.thy
similarity index 100%
rename from examples/scholarly_paper/2018_cicm/IsaDofApplications.thy
rename to examples/scholarly_paper/2018-cicm-isabelle_dof-applications/IsaDofApplications.thy
diff --git a/examples/scholarly_paper/2018_cicm/ROOT b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/ROOT
similarity index 91%
rename from examples/scholarly_paper/2018_cicm/ROOT
rename to examples/scholarly_paper/2018-cicm-isabelle_dof-applications/ROOT
index 0ea790b9..2e8e931b 100644
--- a/examples/scholarly_paper/2018_cicm/ROOT
+++ b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/ROOT
@@ -1,4 +1,4 @@
-session "IsaDofApplications" = "Isabelle_DOF" + 
+session "2018-cicm-isabelle_dof-applications" = "Isabelle_DOF" + 
   options  [document = pdf, document_output = "output", quick_and_dirty = true]
   theories
     IsaDofApplications
diff --git a/examples/scholarly_paper/2018_cicm/document/build b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/build
similarity index 100%
rename from examples/scholarly_paper/2018_cicm/document/build
rename to examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/build
diff --git a/examples/scholarly_paper/2018_cicm/document/figures/Dogfood-II-bgnd1.png b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/Dogfood-II-bgnd1.png
similarity index 100%
rename from examples/scholarly_paper/2018_cicm/document/figures/Dogfood-II-bgnd1.png
rename to examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/Dogfood-II-bgnd1.png
diff --git a/examples/scholarly_paper/2018_cicm/document/figures/Dogfood-III-bgnd-text_section.png b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/Dogfood-III-bgnd-text_section.png
similarity index 100%
rename from examples/scholarly_paper/2018_cicm/document/figures/Dogfood-III-bgnd-text_section.png
rename to examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/Dogfood-III-bgnd-text_section.png
diff --git a/examples/scholarly_paper/2018_cicm/document/figures/Dogfood-IV-jumpInDocCLass.png b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/Dogfood-IV-jumpInDocCLass.png
similarity index 100%
rename from examples/scholarly_paper/2018_cicm/document/figures/Dogfood-IV-jumpInDocCLass.png
rename to examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/Dogfood-IV-jumpInDocCLass.png
diff --git a/examples/scholarly_paper/2018_cicm/document/figures/Dogfood-Intro.png b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/Dogfood-Intro.png
similarity index 100%
rename from examples/scholarly_paper/2018_cicm/document/figures/Dogfood-Intro.png
rename to examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/Dogfood-Intro.png
diff --git a/examples/scholarly_paper/2018_cicm/document/figures/Dogfood-V-attribute.png b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/Dogfood-V-attribute.png
similarity index 100%
rename from examples/scholarly_paper/2018_cicm/document/figures/Dogfood-V-attribute.png
rename to examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/Dogfood-V-attribute.png
diff --git a/examples/scholarly_paper/2018_cicm/document/figures/Dogfood-figures.png b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/Dogfood-figures.png
similarity index 100%
rename from examples/scholarly_paper/2018_cicm/document/figures/Dogfood-figures.png
rename to examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/Dogfood-figures.png
diff --git a/examples/scholarly_paper/2018_cicm/document/figures/InteractiveMathSheet.png b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/InteractiveMathSheet.png
similarity index 100%
rename from examples/scholarly_paper/2018_cicm/document/figures/InteractiveMathSheet.png
rename to examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/InteractiveMathSheet.png
diff --git a/examples/scholarly_paper/2018_cicm/document/figures/antiquotations-PIDE.png b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/antiquotations-PIDE.png
similarity index 100%
rename from examples/scholarly_paper/2018_cicm/document/figures/antiquotations-PIDE.png
rename to examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/antiquotations-PIDE.png
diff --git a/examples/scholarly_paper/2018_cicm/document/figures/isabelle-architecture.pdf b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/isabelle-architecture.pdf
similarity index 100%
rename from examples/scholarly_paper/2018_cicm/document/figures/isabelle-architecture.pdf
rename to examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/isabelle-architecture.pdf
diff --git a/examples/scholarly_paper/2018_cicm/document/figures/isabelle-architecture.svg b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/isabelle-architecture.svg
similarity index 100%
rename from examples/scholarly_paper/2018_cicm/document/figures/isabelle-architecture.svg
rename to examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/isabelle-architecture.svg
diff --git a/examples/scholarly_paper/2018_cicm/document/figures/srac-as-es-application.png b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/srac-as-es-application.png
similarity index 100%
rename from examples/scholarly_paper/2018_cicm/document/figures/srac-as-es-application.png
rename to examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/srac-as-es-application.png
diff --git a/examples/scholarly_paper/2018_cicm/document/figures/srac-definition.png b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/srac-definition.png
similarity index 100%
rename from examples/scholarly_paper/2018_cicm/document/figures/srac-definition.png
rename to examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/srac-definition.png
diff --git a/examples/scholarly_paper/2018_cicm/document/isadof.cfg b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/isadof.cfg
similarity index 100%
rename from examples/scholarly_paper/2018_cicm/document/isadof.cfg
rename to examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/isadof.cfg
diff --git a/examples/scholarly_paper/2018_cicm/document/lstisadof.sty b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/lstisadof.sty
similarity index 100%
rename from examples/scholarly_paper/2018_cicm/document/lstisadof.sty
rename to examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/lstisadof.sty
diff --git a/examples/scholarly_paper/2018_cicm/document/preamble.tex b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/preamble.tex
similarity index 100%
rename from examples/scholarly_paper/2018_cicm/document/preamble.tex
rename to examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/preamble.tex
diff --git a/examples/scholarly_paper/2018_cicm/document/root.bib b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/root.bib
similarity index 100%
rename from examples/scholarly_paper/2018_cicm/document/root.bib
rename to examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/root.bib
diff --git a/examples/scholarly_paper/ROOTS b/examples/scholarly_paper/ROOTS
index 74567c68..2217cf3e 100644
--- a/examples/scholarly_paper/ROOTS
+++ b/examples/scholarly_paper/ROOTS
@@ -1 +1 @@
-2018_cicm
+2018-cicm-isabelle_dof-applications