Add outline, fancify template

slides.tex

@@ -14,28 +14,33 @@
 \usepackage{tikz}
 \setbeamertemplate{navigation symbols}{}
 
+\newcommand*\oldmacro{}%
+\let\oldmacro\insertshorttitle%
+\renewcommand*\insertshorttitle{%
+   \oldmacro\hfill%
+   \insertframenumber\,/\,\inserttotalframenumber}
+
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 \author{Théophile \textsc{Bastian}}
 \title[Tracing Compilation by Abstract Interpretation]
     {Tracing Compilation by Abstract Interpretation \\
     {\small{}S. Dissegna, F. Logozzo, F. Ranzato}}
 \date{March 7, 2018}
-%\logo{}
-%\institute{}
+
 \begin{document}
 
 \begin{frame}
+    \addtocounter{framenumber}{-1}
 	\titlepage{}
 
     Slides: \url{https://tiny.tobast.fr/m2-absint-slides} \\
     Article: \url{https://tiny.tobast.fr/m2-absint-article}
-
-	%\tableofcontents
 \end{frame}
 
-%\begin{frame}
-%\tableofcontents
-%\end{frame}
+\begin{frame}
+    \addtocounter{framenumber}{-1}
+    \tableofcontents
+\end{frame}
 
 \section{Just-In-Time compilation}
 
@@ -94,4 +99,30 @@
     \end{itemize}
 \end{frame}
 
+\section{Study setup}
+
+\begin{frame}{Study objectives}
+\end{frame}
+
+\begin{frame}{Studied language}
+\end{frame}
+
+\section{Abstract interpretation}
+
+\begin{frame}{AbsInt hot path extraction}
+\end{frame}
+
+\begin{frame}{Value type specialization}
+\end{frame}
+
+\section{Correctness proof}
+
+\begin{frame}{Correctness proof sketch}
+\end{frame}
+
+\section*{Conclusion}
+
+\begin{frame}{Conclusion}
+\end{frame}
+
 \end{document}