\documentclass[aspectratio=169]{beamer}
\usepackage{amsthm}
\usepackage{amssymb}
\usepackage{wasysym}

\usepackage{listings}
\input{../common/scalalistings}

\usepackage{pgf}
\usepackage{tikz}
\usetikzlibrary{arrows,automata}

\input{../common/mysymbols}
\input{../common/mywords-en}
\input{../common/constructors}
\input{../common/mybeamer}

\setbeamersize{text margin left=0.3cm, text margin right=0.3cm}


\title{Abstract Interpretation Idea. Lattices and Fixpoints}
%{\small \languageinfo}}
\author{Viktor Kun\v{c}ak (impersonating Alfred Tarski)}
\date{}

\begin{document}

\begin{frame}
\frametitle{}

\centerline{\Large Fixed points. Abstract Interpretation}
\centerline{}
\centerline{Viktor Kun\v{c}ak}

\end{frame}

%\maketitle
%\tableofcontents

\input{tarski-fixpoint}
\input{omega-continuity}
\input{galois-connection}
\input{lattice-height}
\input{predicates}

\end{document}
