diff --git a/examples/technical_report/Isabelle_DOF-Manual/ROOT b/examples/technical_report/Isabelle_DOF-Manual/ROOT
index 6a6dbf7..9d8f6c9 100644
--- a/examples/technical_report/Isabelle_DOF-Manual/ROOT
+++ b/examples/technical_report/Isabelle_DOF-Manual/ROOT
@@ -32,3 +32,4 @@ session "Isabelle_DOF-Manual" = "Isabelle_DOF" +
     "figures/PIDE-interaction.pdf"
     "figures/srac-as-es-application.png"
     "figures/srac-definition.png"
+    "figures/Isabelle_DOF-logo.pdf"
diff --git a/examples/technical_report/Isabelle_DOF-Manual/document/figures/Isabelle_DOF-logo.pdf b/examples/technical_report/Isabelle_DOF-Manual/document/figures/Isabelle_DOF-logo.pdf
new file mode 100644
index 0000000..2181d2d
Binary files /dev/null and b/examples/technical_report/Isabelle_DOF-Manual/document/figures/Isabelle_DOF-logo.pdf differ
diff --git a/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex b/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex
index 1efbe77..736d85b 100644
--- a/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex
+++ b/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex
@@ -132,16 +132,24 @@ SPDX-License-Identifier: BSD-2-Clause
 
 
 
-\publishers{\normalsize
-\begin{tabular}{p{5.5cm}cp{8cm}}
+\publishers{
+\begin{center}
+\includegraphics[width=.25\textwidth]{figures/Isabelle_DOF-logo}
+\end{center}
+\bigskip 
+\bigskip 
+
+\normalsize
+\begin{tabular}{p{5.5cm}cp{5.5cm}}
   Department of Computer Science\newline
   University of Exeter\newline
-  Exeter, EX4 4QF
+  Exeter, EX4 4QF\newline
   UK
 &
   \hspace{.5cm}
 &
-  Laboratoire en Recherche en Informatique (LRI)\newline
+  Laboratoire en Recherche\newline
+  ~~~~en Informatique (LRI)\newline
   Universit\'e Paris-Sud 11\newline
   91405 Orsay Cedex\newline
   France