41 lines
998 B
TeX
41 lines
998 B
TeX
% vim: :spell spelllang=fr_fr
|
|
\documentclass[11pt]{beamer}
|
|
\usetheme{Warsaw}
|
|
\usepackage[utf8]{inputenc}
|
|
\usepackage[french]{babel}
|
|
\usepackage[T1]{fontenc}
|
|
\usepackage{libertine}
|
|
\usepackage{amsmath}
|
|
\usepackage{amsfonts}
|
|
\usepackage{amssymb}
|
|
\usepackage{graphicx}
|
|
\usepackage{my_listings}
|
|
\usepackage{my_hyperref}
|
|
\usepackage{math}
|
|
\setbeamertemplate{navigation symbols}{}
|
|
|
|
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
|
\author[Théophile \textsc{Bastian}]{Théophile \textsc{Bastian}\\
|
|
\small{Sous la supervision de Glynn \textsc{Winskel} et Pierre
|
|
\textsc{Clairambault}}}
|
|
\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}
|
|
%\logo{}
|
|
\institute{Computer Laboratory --- Cambridge, UK}
|
|
\begin{document}
|
|
|
|
\begin{frame}
|
|
\titlepage{}
|
|
\tableofcontents
|
|
\end{frame}
|
|
|
|
%\begin{frame}
|
|
%\tableofcontents
|
|
%\end{frame}
|
|
|
|
\end{document}
|
|
|