\documentclass[11pt,twoside]{article}

\usepackage{project}

\newcommand{\projectstage}{White Paper}
\newcommand{\projecttitle}{PROJECT TITLE}
\newcommand{\authors}{AUTHORS}
\newcommand{\projectdate}{\today}

\begin{document}

\maketitle

\begin{abstract}
  A short abstract, summarizing the proposed project, 200 words or
  fewer. The white paper, excluding references, should be 2--5 pages
  and conform to this format. The deadline for the white paper is
  \textbf{Thursday, April 1, 2010}. White papers will be graded.
\end{abstract}

\section{Introduction}

The introduction should provide motivation, clear problem
statment, and brief sketch of the most relevant prior
work with citations.  The introduction should be accessible
to anyone in the class, and should not expect too much
background knowledge.  This is especially true if the white
paper applies modal logic in your own area of research.

\section{Project Description}

Describe the proposed work, to the extent that you can at the white
paper stage. This may include additional background, examples of the
problem and proposed solutions. Be explicit about how you plan to
approach the problem and what is novel about it compared to prior
work. If you have conjectures or plan to prove certain theorems, state
them as clearly as possible. If you plan an implementation, sketch its
functionality. If you propose a language design or logic design sketch
the properties you expect to hold (even if you do not plan to prove
them) and the kind of programs you would like to express.

\section{References}

Give the references in the usual BibTeX format.

\bibliographystyle{alpha}
\bibliography{modal}

\cleardoublepage
\end{document}
