diff --git a/slides/biblio.bib b/slides/biblio.bib new file mode 120000 index 0000000..b3b50e2 --- /dev/null +++ b/slides/biblio.bib @@ -0,0 +1 @@ +../biblio.bib \ No newline at end of file diff --git a/slides/concurgames.sty b/slides/concurgames.sty new file mode 120000 index 0000000..b2fc6ee --- /dev/null +++ b/slides/concurgames.sty @@ -0,0 +1 @@ +../concurgames.sty \ No newline at end of file diff --git a/slides/math.sty b/slides/math.sty new file mode 120000 index 0000000..b6e943c --- /dev/null +++ b/slides/math.sty @@ -0,0 +1 @@ +../math.sty \ No newline at end of file diff --git a/slides/my_hyperref.sty b/slides/my_hyperref.sty new file mode 120000 index 0000000..1483ce6 --- /dev/null +++ b/slides/my_hyperref.sty @@ -0,0 +1 @@ +../my_hyperref.sty \ No newline at end of file diff --git a/slides/my_listings.sty b/slides/my_listings.sty new file mode 120000 index 0000000..c99828b --- /dev/null +++ b/slides/my_listings.sty @@ -0,0 +1 @@ +../my_listings.sty \ No newline at end of file diff --git a/slides/slides.tex b/slides/slides.tex index 7f08811..b7dee97 100644 --- a/slides/slides.tex +++ b/slides/slides.tex @@ -1,8 +1,10 @@ +% 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} @@ -13,12 +15,14 @@ \setbeamertemplate{navigation symbols}{} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -\author{Théophile \textsc{Bastian}\\ +\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\\ -Structures d'événements dans la sémantique des jeux} -\date{Juin\,--\,Juillet 2016} +\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} diff --git a/slides/todo.sty b/slides/todo.sty new file mode 120000 index 0000000..799e68b --- /dev/null +++ b/slides/todo.sty @@ -0,0 +1 @@ +../todo.sty \ No newline at end of file