\documentclass{beamer}

% Beamer style stuff
\usetheme[style=plain]{uu}
% \setbeamertemplate{note page}[plain]

\usepackage{graphicx}
\usepackage{mathtools}
\usepackage{amssymb}
\usepackage{hyperref}
\usepackage{color}
\usepackage{float}

%% unicode support, for text and code :)
\usepackage[utf8x]{inputenc}
\usepackage{ucs}
\usepackage{autofe}


%% Haskell syntax highlighting and code font
\usepackage{minted}
\usepackage{fancyvrb}
\usepackage{inconsolata}
\usemintedstyle{default}

\newmint{haskell}{mathescape,fontfamily=tt,fontsize=\footnotesize}
\newmintedfile{haskell}{xleftmargin=20pt,mathescape,fontfamily=tt,fontsize=\footnotesize}
\newminted{haskell}{xleftmargin=20pt,gobble=12,mathescape,fontfamily=tt,fontsize=\footnotesize}

\newmint{coq}{mathescape,fontfamily=tt,fontsize=\footnotesize}
\newmintedfile{coq}{xleftmargin=20pt,mathescape,fontfamily=tt,fontsize=\footnotesize}
\newminted{coq}{xleftmargin=20pt,gobble=12,mathescape,fontfamily=tt,fontsize=\footnotesize}


%% Metainformation
%% PDF stuff
\usepackage{datetime}
\usepackage{ifpdf}
\ifpdf
\pdfinfo{
    /Author (Joao Paulo Pizani Flor)
    /Title (Comparing functional EDSLs for hardware description)
    /Keywords (Hardware verification, Functional Programming, Hardware design, Dependently-typed programming, Coq, Lava, ForSyDe, Haskell, Coquet)
    /CreationDate (D:\pdfdate)
}
\fi

\title[Comparing functional EDSLs for hardware description]{Comparing functional Embedded Domain-Specific Languages for hardware description}

\date{February 13th, 2014}

\author[J. P. Pizani Flor]
{
    João Paulo Pizani Flor \\
    {\small Supervised by: dr. Wouter Swierstra}
}

\institute[Utrecht University]
{
    Department of Information and Computing Sciences,
    Utrecht University
}

\subject{Function Programming, Hardware verification, Haskell, Coq, Lava, Coquet, ForSyDe}




\begin{document}

%% The document itself
    \begin{frame}
        \titlepage
    \end{frame}

    \begin{frame}
        \frametitle{Table of Contents}
        \tableofcontents
    \end{frame}


    \input{section1-introduction.tex}
    \input{section2-analyzed-edsls.tex}
    \input{section3-modeled-circuits.tex}
    \input{section4-analysis.tex}
    \input{section5-conclusions.tex}

\end{document}
