contents.tex

% ----------------------------------------------------------------------
\begin{frame}[fragile,shrink,c]{What's on the menu?}
  \bigskip\bigskip
  % \begin{minipage}[t]{0.4\linewidth}
  %   \begin{enumerate}
  %   \item Motivation
  %   \item Introduction
  %   \item Modeling
  %   \item Language
  %   \item Grounding
  %   \item Foundations
  %   \item Solving
  %   \item Advanced modeling
  %     % \item Summary
  %     \medskip
  %   \item [] Bibliography
  %   \end{enumerate}
  % \end{minipage}
  % \begin{minipage}[t]{0.5\linewidth}
    \begin{enumerate}% \setcounter{enumi}{9}
    \item Systems
      \smallskip
    \item Heuristic-driven solving
      \smallskip
    \item Meta programming
      \smallskip
    \item Controlling
      \smallskip
    \item Multi-shot solving
      \smallskip
    \item Theory solving
    % \item Preferences and Optimization
    % \item Applications
    \end{enumerate}
  % \end{minipage}
\end{frame}
% ----------------------------------------------------------------------
%
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "main"
%%% End: