\documentclass{beamer}
\usetheme{Madrid}
\title{Temporal Logic in Automated Reasoning Systems}
\author{Omar Leblanc}
\date{2024-07-15}

\begin{document}
\frame{\titlepage}
\begin{frame}{Logical Frameworks}
\begin{itemize}
  \item Linear Temporal Logic (LTL)
  \item Computation Tree Logic (CTL)
\end{itemize}
\end{frame}
\begin{frame}{Applications}
\begin{itemize}
  \item Formal verification of system behavior
  \item Reasoning over event sequences
\end{itemize}
\end{frame}
\end{document}
