bsc-leon-vatthauer/slides/main.tex

% ..............................................................................
% Demo of the fau-beamer template.
%
% Copyright 2022 by Tim Roith <tim.roith@fau.de>
%
% This program can be redistributed and/or modified under the terms
% of the GNU Public License, version 2.
%
% ------------------------------------------------------------------------------
\documentclass[final]{beamer}

% ========================================================================================
% Theme: inner, outer, font and colors
% ----------------------------------------------------------------------------------------
\usepackage[institute=Tech,
			%SecondLogo = template-art/FAUWortmarkeBlau.pdf,
			%ThirdLogo = template-art/FAUWortmarkeBlau.pdf,
			%WordMark=None,
			aspectratio=169,
			fontsize=11.5,
			fontbaselineskip=14,
			scale=1.,
			InsertTotalFoot
		   ]{styles/beamerthemefau}
% ----------------------------------------------------------------------------------------
% Input and output encoding
% \usepackage[T1]{fontenc}
% \usepackage[utf8]{inputenc}
% ----------------------------------------------------------------------------------------
% Language settings
\usepackage[english]{babel}

% ========================================================================================
% Fonts
% - Helvet is loaded by styles/beamerfonts
% - We use serif for math environements
% - isomath is used for upGreek letters
% ----------------------------------------------------------------------------------------
\usepackage{fvextra}
\usepackage{isomath}
\usefonttheme[onlymath]{serif}
\usepackage{exscale}
\usepackage{anyfontsize}
\setbeamercolor{alerted text}{fg=BaseColor}
% ----------------------------------------------------------------------------------------
% custom commands for symbols
\usepackage{styles/symbols}

\newcommand*\quot[2]{{^{\textstyle #1}\big/_{\textstyle #2}}}
% ========================================================================================
% Setup for Titlepage
% ----------------------------------------------------------------------------------------
\title{Implementing Categorical Notions of Partiality and Delay in Agda}
% \subtitle{Subtitle}
\author[L. Vatthauer]{
Leon Vatthauer%\inst{1}
}
%
%\institute[FAU]{%
%\inst{1} Friedrich-Alexander-Universität Erlangen-Nürnberg, Department Mathematik
%}

% Instead of \institute you can also use the \thanks command
% ------------------------------------------------
%\author[T. Roith]{
%Tim Roith\thanks{Friedrich-Alexander Universität Erlangen-Nürnberg, Department Mathematik}\and%
%Second Author\thanks{Second Insitute}\and%
%Third Author\thanks{Third Insitute}%
%}

\date{\today}


% ================================================
% Bibliography
% ------------------------------------------------
\usepackage{csquotes}
\usepackage[style=alphabetic, %alternatively: numeric, numeric-comp, and other from biblatex
			defernumbers=true,
			useprefix=true,%
			giveninits=true,%
			hyperref=true,%
			autocite=inline,%
			maxcitenames=5,%
			maxbibnames=20,%
			uniquename=init,%
			sortcites=true,% sort citations when multiple entries are passed to one cite command
			doi=true,%
			isbn=false,%
			% url=false,%
			eprint=false,%
			backend=biber%
		   ]{biblatex}
\addbibresource{bibliography.bib}
\setbeamertemplate{bibliography item}[text]


% ================================================
% Hyperref and setup
% ------------------------------------------------
\usepackage{hyperref}
\hypersetup{
	colorlinks = true,
	final=true, 
	plainpages=false,
	pdfstartview=FitV,
	pdftoolbar=true,
	pdfmenubar=true,
	pdfencoding=auto,
	psdextra,
	bookmarksopen=true,
	bookmarksnumbered=true,
	breaklinks=true,
	linktocpage=true,
	urlcolor=BaseColor,
	citecolor=BaseColor,
	linkcolor=BaseColor
}


% ================================================
% Additional packages
% ------------------------------------------------


% ================================================
% Various custom commands
% ------------------------------------------------
%\setbeameroption{show notes on second screen}
\begingroup\expandafter\expandafter\expandafter\endgroup
\expandafter\ifx\csname pdfsuppresswarningpagegroup\endcsname\relax
\else
  \pdfsuppresswarningpagegroup=1\relax
\fi
% Change color for cite locally
\newcommand{\colorcite}[3]{{\hypersetup{citecolor=#1}{\cite[#2]{#3}}}} 
% ------------------------------------------------
% ================================================
% The main document
% ------------------------------------------------
\usepackage{MnSymbol} % for \squaredots
\usepackage{minted}
\setminted{
	autogobble=true,
	linenos=true,
	breaklines=true,
	encoding=utf8,
	fontsize=\small
}

\usepackage{multicol}


\usepackage{noto-mono}
% \usepackage{fontspec}
% \setmonofont{Noto Sans Mono}

\usepackage{lmodern}

\usepackage{tikz}
\usepackage{tikz-cd}
\usepackage{quiver}
\usetikzlibrary{shapes.callouts}
\usepackage{mathpartir}

\usepackage{xparse}

\tikzset{
    invisible/.style={opacity=0,text opacity=0},
    visible on/.style={alt=#1{}{invisible}},
    alt/.code args={<#1>#2#3}{%
      \alt<#1>{\pgfkeysalso{#2}}{\pgfkeysalso{#3}} % \pgfkeysalso doesn't change the path
    },
}

\NewDocumentCommand{\mycallout}{r<> O{opacity=0.8,text opacity=1} m m}{%
\tikz[remember picture, overlay]\node[align=left, fill=red!50, text width=15cm,
#2,visible on=<#1>, rounded corners,
draw,rectangle]
at (#3) {#4};
}

\newcommand{\tikzmark}[1]{\tikz[overlay,remember picture,baseline=-0.5ex] \node (#1) {};}


\begin{document}
	% Title page
	\begin{frame}[t,titleimage]{-}
	\titlepage%
	\end{frame}

	% sections
	\input{sections/00_intro.tex}
	\input{sections/01_abstracting.tex}
	\input{sections/02_goals.tex}

	% bibliography
	\begin{frame}[allowframebreaks]{Bibliography}
		\printbibliography[heading=none]
	\end{frame}

	\input{sections/03_app.tex}

\end{document}