%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%  This Beamer template was created by Cameron Bracken.
%%  Anyone can freely use or modify it for any purpose
%%  without attribution.
%%
%%  Last Modified: January 9, 2009
%%
%%% Modified by Maximilian Krüger
%%%
%%% April 17, 2014
%%%
%%%% Modified by Christoph Egger
%%%%
%%%% September 2015
%%%%

\documentclass[12pt,aspectratio=1610]{beamer}

\usepackage{BeamerColor}
\usepackage{textcomp}
%% Beamer Layout %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\useoutertheme[subsection=false,shadow]{miniframes}
\setbeamertemplate{footline}[frame number]
\useinnertheme{default}
\usepackage{fontspec}
\setmainfont{Droid Sans}
\setsansfont{Droid Sans}
\setmonofont{Source Code Pro Regular}

\setbeamerfont{title like}{shape=\scshape}
\setbeamerfont{frametitle}{shape=\scshape}
\beamertemplatenavigationsymbolsempty
%\setbeamertemplate{mini frames}{}
\setbeamercolor*{lower separation line head}{bg=DeepSkyBlue4} 
\setbeamercolor*{normal text}{fg=black,bg=white} 
\setbeamercolor*{alerted text}{fg=red} 
\setbeamercolor*{example text}{fg=black} 
\setbeamercolor*{structure}{fg=black}
\setbeamercolor*{frametitle}{fg=DeepSkyBlue4}
\setbeamercolor*{title}{fg=DeepSkyBlue4}
 
\setbeamercolor*{palette tertiary}{fg=white,bg=black!80} 
\setbeamercolor*{palette quaternary}{fg=white,bg=black!80} 

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\usepackage{tikz}

%\usepackage{minted}
%\usemintedstyle{trac}
%\usemintedstyle{monokai}
\setbeamerfont{frametitle}{size=\huge}
\setcounter{tocdepth}{2}
\usepackage{booktabs}
\usepackage{multirow}
%use biblatex instead of bibtex
\usepackage[backend=bibtex, style=numeric, sorting=none]{biblatex}
\addbibresource{vortrag.bib}
\setbeamertemplate{bibliography item}{}
\setbeamertemplate{caption}{\tiny\insertcaption}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\begin{document}
%\renewcommand{\inserttotalframenumber}{\pageref{lastslide}}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{frame}[plain]
\title{Alt. free $\mu$-Calculus for cool}
%\subtitle{A Free and Interactive Disassembler}
\author{
	Christoph Egger\\
	{\it Lehrstuhl~Informatik~1~\textendash~FAU}\\
}
\date{
	\begin{tabular}[ht]{lcr}
		\parbox{3.0cm}{
			\centering
			\includegraphics[width=2.5cm]{images/fau-logo.png}
		} &
		\parbox{3.0cm}{
			\centering

		} &
		\parbox{3.0cm}{
			\centering
			\includegraphics[width=2.5cm]{images/tcs.pdf}
		}
	\end{tabular}
	\\
	\vspace{0.6cm}
	2016~\textendash~01~\textendash~19
}
\titlepage
\end{frame}

\AtBeginSection[]
{
  \begin{frame}
    \frametitle{Table of Contents}
    \tableofcontents[currentsection]
  \end{frame}
}

\begin{frame}{Overview}
  \tableofcontents{}
\end{frame}


\begin{frame}{Questions?}
    \vspace*{\fill}
    \begin{center}
        \includegraphics[width=7cm]{images/42.pdf}
    \end{center}
    \vspace*{\fill}

  Download: https://static.siccegge.de/talks/cool-FAU-2016-01-19.pdf\\
  https://git.siccegge.de/?p=talk/coalgebraic-mu-calculus-cool.git
\end{frame}
\end{document}

%%% Local Variables:
%%% mode: latex
%%% TeX-engine: luatex
%%% TeX-PDF-mode: t
%%% End: