Commit dd110059 authored by Martin Jonas's avatar Martin Jonas
Browse files

Add obhajoba template

parent a78002c3
\documentclass{beamer}
%\usepackage[czech]{babel}
\usepackage[utf8]{inputenc}
%balíček na A4
\usepackage{amsthm}
\usepackage{amsmath}
\usepackage{amsbsy}
\usepackage{amssymb}
\usepackage{graphicx}
%\usepackage{mathpazo}
%\usepackage[mathlf]{MinionPro}
\usepackage{sansmathfonts}
\usepackage[mathlf,textlf]{MyriadPro}
%\usepackage{mathpazo}
\usepackage[small]{eulervm}
%\usepackage{newtxmath}
\usepackage{mathtools}
\usepackage{xcolor}
\usepackage{booktabs}
\usepackage{caption}
\usepackage{subcaption}
\usepackage{setspace}
\usepackage{array}
\usepackage{tabularx}
\usepackage{pbox}
\captionsetup{compatibility=false}
%\renewcommand{\arraystretch}{1}
%\hypersetup{pdfpagemode={FullScreen}}
\makeatletter
\newenvironment{withoutheadline}{
\setbeamertemplate{headline}[default]
\def\beamer@entrycode{\vspace*{-\headheight}}
}{}
\makeatother
\title{SMT Solving for the Theory of Bit-Vectors}
\author{Martin Jonáš \vspace{-0.3cm}}
\institute{PhD Thesis Proposal \vspace{1cm}}
%\date
\date{\today}
%\subject{IA072 -- Seminar on Concurrency}
\usetheme{Antibes}
\setbeamertemplate{headline}{}
\setbeamertemplate{navigation symbols}{}%remove navigation symbols
\setbeamertemplate{footline}[frame number]
\definecolor{foreground}{RGB}{255,255,255}
\definecolor{background}{RGB}{24,24,24}
% \definecolor{title}{RGB}{107,174,214}
\definecolor{title}{RGB}{255,255,255}
\definecolor{main}{RGB}{39,66,96}
\definecolor{gray}{RGB}{155,155,155}
\definecolor{subtitle}{RGB}{102,255,204}
\definecolor{hilight}{RGB}{233,140,5}
\definecolor{vhilight}{RGB}{251,95,37}
\setbeamercolor{titlelike}{fg=title,bg=main}
\setbeamercolor{subtitle}{fg=subtitle}
\setbeamercolor{institute}{fg=gray}
%\setbeamercolor{normal text}{fg=foreground,bg=background}
\setbeamercolor*{block title}{fg=white, bg=main}
\setbeamercolor*{block body}{fg=black, bg=main!5}
\setbeamercolor*{block title example}{fg=white, bg=vhilight!65}
\setbeamercolor*{block body example}{fg=black, bg=vhilight!10}
\setbeamercolor{item}{fg=main} % color of bullets
%\setbeamercolor{subitem}{fg=gray}
\setbeamercolor{alerted text}{fg=hilight}
\setbeamercolor{description item}{fg=hilight}
%\setbeamercolor{itemize/enumerate subbody}{fg=gray}
\setbeamertemplate{itemize subitem}{{\textendash}}
\setbeamerfont{itemize/enumerate subbody}{size=\small}
\setbeamerfont{itemize/enumerate subitem}{size=\small}
\DeclareSymbolFont{operators}{\encodingdefault}{ppl}{m}{n}
\DeclareMathAlphabet{\mathbf}{\encodingdefault}{ppl}{bx}{n}
\DeclareMathAlphabet{\mathit}{\encodingdefault}{ppl}{m}{it}
\newcommand{\set}[1]{\{#1\}}
\newcommand{\bitvec}[1]{ \texttt{bitvec}_{#1} }
\newcommand{\so}[2]{\ensuremath{#1_{[#2]}}}
\newcommand{\concat}[2]{ \ensuremath{\texttt{concat}_{[#1,#2]}}}
\newcommand{\extract}[3]{ \texttt{extract}_{[#1, #2, #3] } }
\newcommand{\bvnot}{ \texttt{not} }
\newcommand{\bvand}{ \texttt{and} }
\newcommand{\bvor}{ \texttt{or} }
\newcommand{\bvshl}{ \texttt{shl} }
\newcommand{\bvshr}{ \texttt{shr} }
\newcommand{\computeBDD}{ \texttt{computeBDD} }
\newcommand{\sat}{\texttt{sat}}
\newcommand{\unsat}{\texttt{unsat}}
\newcommand{\Zplus}{\mathbb{N}^+}
\newcommand{\ite}{\texttt{ite}}
\newcommand{\levels}{\mathit{levels}}
\newcommand{\true}{\mathit{true}}
\newcommand{\false}{\mathit{false}}
\newcommand{\BV}{\ensuremath{\mathcal{BV}}}
\newcommand{\QFBV}{\ensuremath{\mathcal{QFBV}}}
\begin{document}
\frame{\titlepage}
\section{Preliminaries}
\begin{frame}
Test
\end{frame}
\end{document}
%%% Local Variables:
%%% mode: latex
%%% TeX-master: t
%%% End:
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment