\documentclass[landscape]{slides}
\usepackage{latexsym}
% \usepackage{amssymb}
%\usepackage{fpslides}
%\usepackage{prooftree}
\usepackage{amsfonts}
\newcommand{\myslidetitle}[2]{
 \begin{tabbing} {\large #1} \` #2 \end{tabbing}
 \vspace{.1cm} \par          \hrule
 }
\newcommand{\ctr}[1]{\begin{array}[c]{c}#1\end{array}}
%\newcommand{\rep}[1]{\ulcorner #1\urcorner}

 \usepackage{fslide-com}


\newcommand{\betared}{\stackrel{\beta}{\longrightarrow}}


\newcommand{\D}{\Delta}
%\newcommand{\lf}{\l f\! . \, }
%\newcommand{\gdo}{(\GG,\Delta);\Omega;\cdot}
%\newcommand{\ctx}{\GG^{+};\cdot;\cdot}
\renewcommand{\O}{\Omega}




%\newcommand{\NF}{\emph{NF\/ }}
%\input fpsfonts.def

%
% Normal Width (61)
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Extra Width (70)
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Small (73)
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Small, Extra Width (85)
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Height:
%   Normal: 17 or 18 lines?
%   Small: ??

\pagestyle{plain}
\sloppy
\raggedright
\renewcommand{\arraystretch}{1.5}

\begin{document}

 \begin{slide}{}
  \begin{center}
  {\bf Elimination of Negation in a Logical Framework} \\[1em]
  Alberto Momigliano\\
Department of Philosophy\\
Carnegie Mellon University\\[1em]
\today\\[1em]
 \emph{Thesis Defense} \\[1cm]
  \textbf{Thesis Committee:} \\
  Frank Pfenning, Chair \\
  Dana Scott \\
  Dale Miller, Pennsylvania State University 
  \end{center}
\vfill
\end{slide}

\begin{slide}
\slidetitle{Outline}
  \begin{enumerate} \itemsep 0pt
   \item Logical Frameworks
   \item  Adding Negation
     \item Elimination of Negation vs.\ Negation-as-Failure
\item Elimination of Negation in a Logical Framework
	\ben
   \item Clause Complement
   \item Term Complement \enen
   \item Conclusions and Future Work
  \end{enumerate}
  \vfill
 \end{slide}
%\input{abc}
%\input{ex}
\input{kslide}
\end{document}

