\documentclass[11pt,twoside]{article}

\usepackage{latexsym}
\usepackage{code}
\usepackage{proof}
\usepackage{fancyhdr}
\usepackage{lecnotes}

\lhead{\fancyplain{}{\bfseries TITLE}}
\chead{}
\rhead{\fancyplain{}{\bfseries \thepage}}
\lfoot{{\small\scshape Final Project Report}}
\cfoot{}
\rfoot{{\small\scshape \today}}

\title{{\large 15-819K: Logic Programming}\\
       {\large Final Project Report}\\
       {TITLE}}
\author{AUTHORS}
\date{\today}

\begin{document}

\maketitle

\begin{abstract}
A short abstract summarizing the project, 200 words or fewer.
The final project report must conform to this format, but is not
restricted to a fixed number of pages, so please do not play with
page size or \verb"\baselineskip" If there is additional
supporting material, say, more examples or an implementation,
please provide a URL and sketch what is there.  The firm deadline
for handing in the final project report is \textbf{Friday,
December 15}.
\end{abstract}

\section{Introduction}

The introduction should provide motivation, clear problem
statement, and review of the most relevant prior work with
citations.  The introduction should be accessible to anyone in
the class, including me, so do not expect too much background
knowledge.  This is especially true if the project applies logic
programming in your own area of research.  The introduction
should also foreshadow your results and provide a roadmap
for the rest of your report.

\section{Project Results}

You should detail the results from your project in whatever style
you find appropriate.  This will likely require multiple
sections, but these may have different character for different
kind of projects.  There is no page limit, but remember that
conciseness if a virtue as long as the main points are explained
clearly.  Again, the intended audience are other students in
the class and me. 

\section{Conclusion}

Summarize the project and point to some potential future work
(even if you do not plan on carrying it out yourself).

\section{References}

Give the references in the usual BibTeX format.  Please make sure
the references satisfy old-fashioned scholarly standards and
include page numbers and other standard bibliographic
information.

\bibliographystyle{plain}
% \bibliography{lp}

\end{document}
