%! TEX program = xelatex
\documentclass[aspectratio=169]{beamer}
\usepackage[utf8]{inputenc}
\usepackage{amsthm}
\usepackage{amssymb}
\usepackage{wasysym}

\usepackage{listings}
\input{../common/scalalistings} % FROM CURRENT DIR
\input{../common/fontsetup}
%\input{../common/mysymbols}
%\input{../common/mywords-en}
\input{../common/constructors}
\input{../common/mybeamer}

\title{Converting Imperative Programs to Formulas}
%\title{\pl{\lecture} {\about} \listof{{\synthesis}, {\analysis}, {\verification}} \\ 
%{\small \languageinfo}}
\nobox
\author{Viktor Kun\v{c}ak}
\date{}

\begin{document}

\maketitle

\input{main-vcg}

\end{document}
