Presentaion, submited state

presentation/presentation.tex

@@ -7,20 +7,19 @@
 \usepackage{polyglossia}
 \setmainlanguage{german}
 
-\usepackage{csquotes}
     
 
 \usepackage{amsmath}
 \usepackage{amssymb}
 \usepackage{mathtools}
-
 \usepackage{hyperref}
 \usepackage{bookmark}
-
 \usepackage{galois}
 \usepackage{tipa}
 \usepackage{stmaryrd}
 \usepackage{minted}
+\usepackage{csquotes}
+
 
 % load the theme after all packages
 
@@ -39,17 +38,22 @@
 
 \title{How can dynamic analysis features be used to improve static abstract interpretation?}
 \author[M. Weiler]{Marvin Weiler}
+\date{16. August 2022}
 %\institute[short]{Not needed?}
 %\titlegraphic{\includegraphics[width=0.7\textwidth]{images/tudo-title-2.jpg}}
 
 \begin{document}
 
-\maketitle
+%\maketitle
 \begin{frame}
-    \tableofcontents
+\titlepage % Print the title page as the first slide
 \end{frame}
 
+\begin{frame}{Overview}
+\tableofcontents
+\end{frame}
 
+\section{Why do we need more than abstract interpretation?}
 \begin{frame}{Why do we need more than abstract interpretation?}
 
     \pause
@@ -77,6 +81,7 @@
 
 \end{frame}
 
+\section{Combination of abstract and dynamic analysis}
 \begin{frame}{Combination of abstract and dynamic analysis}
 
 \pause
@@ -133,6 +138,7 @@
 \end{columns}
 \end{frame}
 
+\section{Opaque code analysis}
 \begin{frame}{Opaque code analysis}
 
 \pause
@@ -184,6 +190,7 @@
 
 \end{frame}
 
+\section{Determinancy facts}
 \begin{frame}[fragile]{Determinancy facts}
 
 \begin{columns}[T] % align columns
@@ -238,6 +245,7 @@ Abstract Interpretation can replace the \textit{eval} with concrete code for ana
 
 \end{frame}
 
+\section{Conclusion}
 \begin{frame}{Conclusion}
     
     \begin{block}{Abstract Interpretation \underline{can} be combined with dynamic analysis.}