\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}