\documentclass[bigger,pdf]{beamer}
\usepackage[utf8]{inputenc}
\usepackage{graphicx}
\usepackage{pgf,tikz}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{verbatim}
\usetheme[right, color=blue]{lrde}

\title{Minimization of automata representing obligation formulae}
\author[F\'elix Abecassis]{\large F\'elix Abecassis}
\institute{LRDE\\Laboratoire de Recherche et D\'eveloppement d'EPITA}
\begin{document}

\begin{frame}
  \maketitle
  \begin{center}
    \url{http://lrde.epita.fr/}
  \end{center}
\end{frame}

\begin{frame}
  \tableofcontents
\end{frame}

\section{Introduction}
\begin{frame}{Introduction}
\end{frame}

\section{Conclusion}
\begin{frame}{Conclusion}
\end{frame}

\begin{frame}{Questions ?}
\end{frame}

\end{document}
