42 lines
914 B
TeX
42 lines
914 B
TeX
% vim: spell spelllang=en
|
|
|
|
\documentclass[11pt]{beamer}
|
|
\usetheme{Warsaw}
|
|
\usepackage[utf8]{inputenc}
|
|
\usepackage[english]{babel}
|
|
\usepackage[T1]{fontenc}
|
|
\usepackage{amsmath}
|
|
\usepackage{amsfonts}
|
|
\usepackage{amssymb}
|
|
\usepackage{graphicx}
|
|
\usepackage{my_listings}
|
|
\usepackage{my_hyperref}
|
|
\usepackage{math}
|
|
\setbeamertemplate{navigation symbols}{}
|
|
|
|
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
|
\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}
|
|
\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}
|
|
|
|
\end{document}
|
|
|