From 2e60c71e8c153b910793df14b15dec4d766e7005 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Th=C3=A9ophile=20Bastian?= <contact@tobast.fr>
Date: Sun, 4 Mar 2018 13:09:42 +0100
Subject: [PATCH] Add outline, fancify template

---
 slides.tex | 45 ++++++++++++++++++++++++++++++++++++++-------
 1 file changed, 38 insertions(+), 7 deletions(-)

diff --git a/slides.tex b/slides.tex
index b072e73..c32dce7 100644
--- a/slides.tex
+++ b/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}