vortrag.tex

   1 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   2 %%  This Beamer template was created by Cameron Bracken.
   3 %%  Anyone can freely use or modify it for any purpose
   4 %%  without attribution.
   5 %%
   6 %%  Last Modified: January 9, 2009
   7 %%
   8 %%% Modified by Maximilian Krüger
   9 %%%
  10 %%% April 17, 2014
  11 %%%
  12 %%%% Modified by Christoph Egger
  13 %%%%
  14 %%%% September 2015
  15 %%%%
  16
  17 \documentclass[12pt,aspectratio=1610]{beamer}
  18
  19 \usepackage{BeamerColor}
  20 \usepackage{textcomp}
  21 %% Beamer Layout %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  22 \useoutertheme[subsection=false,shadow]{miniframes}
  23 \setbeamertemplate{footline}[frame number]
  24 \useinnertheme{default}
  25 \usepackage{fontspec}
  26 \setmainfont{Droid Sans}
  27 \setsansfont{Droid Sans}
  28 \setmonofont{Source Code Pro Regular}
  29
  30 \setbeamerfont{title like}{shape=\scshape}
  31 \setbeamerfont{frametitle}{shape=\scshape}
  32 \beamertemplatenavigationsymbolsempty
  33 %\setbeamertemplate{mini frames}{}
  34 \setbeamercolor*{lower separation line head}{bg=DeepSkyBlue4}
  35 \setbeamercolor*{normal text}{fg=black,bg=white}
  36 \setbeamercolor*{alerted text}{fg=red}
  37 \setbeamercolor*{example text}{fg=black}
  38 \setbeamercolor*{structure}{fg=black}
  39 \setbeamercolor*{frametitle}{fg=DeepSkyBlue4}
  40 \setbeamercolor*{title}{fg=DeepSkyBlue4}
  41
  42 \setbeamercolor*{palette tertiary}{fg=white,bg=black!80}
  43 \setbeamercolor*{palette quaternary}{fg=white,bg=black!80}
  44
  45 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  46
  47 \usepackage{tikz}
  48
  49 %\usepackage{minted}
  50 %\usemintedstyle{trac}
  51 %\usemintedstyle{monokai}
  52 \setbeamerfont{frametitle}{size=\huge}
  53 \setcounter{tocdepth}{2}
  54 \usepackage{booktabs}
  55 \usepackage{multirow}
  56 %use biblatex instead of bibtex
  57 \usepackage[backend=bibtex, style=numeric, sorting=none]{biblatex}
  58 \addbibresource{vortrag.bib}
  59 \setbeamertemplate{bibliography item}{}
  60 \setbeamertemplate{caption}{\tiny\insertcaption}
  61
  62 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  63
  64 \begin{document}
  65 %\renewcommand{\inserttotalframenumber}{\pageref{lastslide}}
  66 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  67 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  68 \begin{frame}[plain]
  69 \title{Alt. free $\mu$-Calculus for cool}
  70 %\subtitle{A Free and Interactive Disassembler}
  71 \author{
  72         Christoph Egger\\
  73         {\it Lehrstuhl~Informatik~1~\textendash~FAU}\\
  74 }
  75 \date{
  76         \begin{tabular}[ht]{lcr}
  77                 \parbox{3.0cm}{
  78                         \centering
  79                         \includegraphics[width=2.5cm]{images/fau-logo.png}
  80                 } &
  81                 \parbox{3.0cm}{
  82                         \centering
  83
  84                 } &
  85                 \parbox{3.0cm}{
  86                         \centering
  87                         \includegraphics[width=2.5cm]{images/tcs.pdf}
  88                 }
  89         \end{tabular}
  90         \\
  91         \vspace{0.6cm}
  92         2016~\textendash~01~\textendash~19
  93 }
  94 \titlepage
  95 \end{frame}
  96
  97 \AtBeginSection[]
  98 {
  99   \begin{frame}
 100     \frametitle{Table of Contents}
 101     \tableofcontents[currentsection]
 102   \end{frame}
 103 }
 104
 105 \begin{frame}{Overview}
 106   \tableofcontents{}
 107 \end{frame}
 108
 109
 110 \begin{frame}{Questions?}
 111     \vspace*{\fill}
 112     \begin{center}
 113         \includegraphics[width=7cm]{images/42.pdf}
 114     \end{center}
 115     \vspace*{\fill}
 116
 117   Download: https://static.siccegge.de/talks/cool-FAU-2016-01-19.pdf\\
 118   https://git.siccegge.de/?p=talk/coalgebraic-mu-calculus-cool.git
 119 \end{frame}
 120 \end{document}
 121
 122 %%% Local Variables:
 123 %%% mode: latex
 124 %%% TeX-engine: luatex
 125 %%% TeX-PDF-mode: t
 126 %%% End: