\begin{titlepage}

 	% Top of the page

 	\vspace*{-2cm}

 	\hfill

 	\begin{minipage}{4cm}

 		\includegraphics[width=40mm]{./TUGlogo.pdf}

 	\end{minipage}

 	% Center of the page

 	\begin{center}

 		\vspace{1cm}  

 		\normalsize{Baccalaureate Thesis}\\

 		\HRule

 		\vspace{0.3cm}

 		\Large{

 		  	\bf Interactive Course Material for Signal Processing based on Isabelle/\isac\\

 		  }

 		\HRule

 			\vspace{1cm}

 			\normalsize{conducted at the}\\

 			\normalsize{Institute for Software Technology}\\

 			\normalsize{Institute of Signal Processing and Speech Communication}\\

 			\vspace{0.3cm}

 			\normalsize{Graz University of Technology}\\

 			\vspace{1cm}

 			\normalsize{by}\\

 			Jan Simon Ro\v{c}nik\\\href{mailto:student.tugraz.at}{\tt jan.rocnik@student.tugraz.at}

 			\vspace{1cm}

 			\normalsize{Supervisor}\\

 			Univ.-Prof. Dipl.-Ing. Dr.techn. Franz Wotawa

 		\vfill

 		% Bottom of the page

 		{\large Graz, \today}

 	\end{center}

 \end{titlepage}