
jan@42326: \begin{titlepage}
jan@42326: 
jan@42326: 	% Top of the page
jan@42326: 	\vspace*{-2cm}
jan@42326: 	\hfill
jan@42326: 	\begin{minipage}{4cm}
jan@42326: 		\includegraphics[width=40mm]{./TUGlogo.pdf}
jan@42326: 	\end{minipage}
jan@42326: 	
jan@42326: 	% Center of the page
jan@42326: 	\begin{center}
jan@42326: 		\vspace{1cm}  
jan@42326: 		
jan@42326: 		\normalsize{Baccalaureate Thesis}\\
jan@42326: 		
jan@42326: 		\HRule
jan@42326: 		\vspace{0.3cm}
jan@42326: 		\Large{
jan@42381: 		  	\bf Interactive Course Material for Signal Processing based on Isabelle/\isac\\
jan@42326: 		  }
jan@42326: 		\HRule
jan@42326: 			
jan@42326: 			\vspace{1cm}
jan@42326: 			\normalsize{conducted at the}\\
jan@42326: 			\normalsize{Institute for Software Technology}\\
jan@42326: 			\normalsize{Institute of Signal Processing and Speech Communication}\\
jan@42326: 			\vspace{0.3cm}
jan@42326: 			\normalsize{Graz University of Technology}\\
jan@42326: 			
jan@42326: 			\vspace{1cm}
jan@42326: 			\normalsize{by}\\
jan@42381: 			Jan Simon Ro\v{c}nik\\\href{mailto:student.tugraz.at}{\tt jan.rocnik@student.tugraz.at}
jan@42326: 			
jan@42326: 			\vspace{1cm}
jan@42326: 			\normalsize{Supervisor}\\
jan@42326: 			Univ.-Prof. Dipl.-Ing. Dr.techn. Franz Wotawa
jan@42326: 		\vfill
jan@42326: 		
jan@42326: 		% Bottom of the page
jan@42326: 		{\large Graz, \today}
jan@42326: 	
jan@42326: 	\end{center}
jan@42326: 
jan@42326: \end{titlepage}



