L3-internship-report/slides/slides.tex

41 lines
998 B
TeX
Raw Normal View History

2016-08-30 16:51:36 +02:00
% vim: :spell spelllang=fr_fr
2016-08-22 10:57:08 +02:00
\documentclass[11pt]{beamer}
\usetheme{Warsaw}
\usepackage[utf8]{inputenc}
\usepackage[french]{babel}
\usepackage[T1]{fontenc}
2016-08-30 16:51:36 +02:00
\usepackage{libertine}
2016-08-22 10:57:08 +02:00
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{graphicx}
\usepackage{my_listings}
\usepackage{my_hyperref}
\usepackage{math}
\setbeamertemplate{navigation symbols}{}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2016-08-30 16:51:36 +02:00
\author[Théophile \textsc{Bastian}]{Théophile \textsc{Bastian}\\
2016-08-22 10:57:08 +02:00
\small{Sous la supervision de Glynn \textsc{Winskel} et Pierre
\textsc{Clairambault}}}
2016-08-30 16:51:36 +02:00
\title{Soutenance de stage}
%\subtitle{Structures d'événements dans la sémantique des jeux}
\subtitle{Sémantique déterministe de langage concurrentiel en sémantique des
jeux}
\date{Juin\,--\,juillet 2016}
2016-08-22 10:57:08 +02:00
%\logo{}
\institute{Computer Laboratory --- Cambridge, UK}
\begin{document}
\begin{frame}
\titlepage{}
\tableofcontents
\end{frame}
%\begin{frame}
%\tableofcontents
%\end{frame}
\end{document}