Attention: Maintenance on monday 19.04.2021 from 07:00 - 13:00 (Gitlab and Mattermost are offline!)

titlepage.tex 1014 Bytes
Newer Older
Michael Banken's avatar
Michael Banken committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21
\begin{titlepage}
\newcommand{\drop}{0.07\textheight}
\begin{center}
\begingroup%
\vfill
{\LARGE\textsc{%
Friedrich-Alexander-Universität\\[2mm]
Erlangen-Nürnberg%
}}\\[\drop]
{%
% trim= left bottom right top
\includegraphics[height=1.8cm,trim=0cm 0mm 0 0mm]{img/kwarc}\\
\textsc{\large KWARC research group}
}
\vfill
\rule{\textwidth}{1pt}\par
\vspace{0.5\baselineskip}
{% maybe \itshape?
\Huge\bfseries Styler
\\[1cm]
\large\bfseries
Michael Banken's avatar
Michael Banken committed
22
A static analysis tool for optimizing theory graphs
Michael Banken's avatar
Michael Banken committed
23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48
\\[1cm]
\textbf{\large Master Project in Computer Science}
}\\[0.5\baselineskip]
\rule{\textwidth}{1pt}\par
\vfill
{\Large{Michael Banken}\\
%{\large\normalsize{michael.banken@fau.de}}
}
\vfill
\large Advisors:
\vfill
\begin{tabular}{ccc}
    \large
    Dennis Müller\\
    Prof. Dr. Michael Kohlhase
\end{tabular}
\vfill
% trim= left bottom right top
\includegraphics[height=1.8cm,trim=0cm -5mm 0 0mm]{img/fau}
\vfill
{\large Erlangen, \today}
\endgroup
\end{center}
\end{titlepage}

% vim: tw=80 spell spelllang=en nocul