diff --git a/report.tex b/report.tex index b2f141c..fb26d41 100644 --- a/report.tex +++ b/report.tex @@ -20,10 +20,11 @@ \newcommand{\qtodo}[1]{\colorbox{orange}{\textcolor{blue}{#1}}} \newcommand{\todo}[1]{\colorbox{orange}{\qtodo{\textbf{TODO:} #1}}} -\author{Théophile \textsc{Bastian}} -\title{Internship report --- Concurrent games as event structures\\ - \begin{small}Cambridge University --- Glynn Winskel\end{small}} -\date{\today} +\author{Théophile \textsc{Bastian}, supervised by Glynn \textsc{Winskel} + and Pierre \textsc{Clairambault} \\ + \begin{small}Cambridge University\end{small}} +\title{Internship report\\Concurrent games as event structures} +\date{June-July 2016} \begin{document} \maketitle