\title{\Title} \author{\textbf{Autor}: \Author \\ \textbf{Director}: \Director} % \AddToShipoutPicture*{\BackgroundPic} \newgeometry{inner=1cm,outer=1cm,top=0.5cm,bottom=1cm,left=1.5cm,right=1.5cm} \begin{titlepage} \begin{figure} \begin{minipage}{.5\linewidth} \begin{flushleft} \includegraphics[scale=0.8]{front/upmc.png} \end{flushleft} \end{minipage} \begin{minipage}{.49\linewidth} \begin{flushright} \includegraphics[scale=0.21]{front/fic.png} \end{flushright} \end{minipage} \end{figure} \begin{center} % \color{PortadaBlue} \large{\textbf{UNIVERSIDAD POLITÉCNICA DE MADRID}} \\[1.8cm] \large{E.T.S.I. INFORMÁTICOS} \\[1.8cm] \large{MASTER UNIVERSITARIO EN SOFTWARE Y SISTEMAS} \\[1.8cm] \large{TRABAJO DE FIN DE MASTER} \\[3cm] \begin{adjustwidth}{2cm}{1cm} \begin{center} \LARGE{\textbf{Implementing a term rewriting}} \\[0.4cm] \LARGE{\textbf{engine for the EasyCrypt framework}} \\[3cm] \end{center} \end{adjustwidth} \begin{adjustwidth}{5.5cm}{1cm} \Large{\textbf{Autor:} \Author} \\[0.2cm] \Large{\textbf{Director:} \Director} \\[0.2cm] \Large{\textbf{Co-director:} \Codirector} \\[2.4cm] \end{adjustwidth} \end{center} \begin{flushright} % \color{PortadaBlue} \large{MADRID, 28 de julio de 2015} \\ \end{flushright} \end{titlepage} % \ClearShipoutPicture \restoregeometry %%% Local Variables: %%% mode: latex %%% TeX-master: "../tfm" %%% End: