\documentstyle[BIRK]{article}
\begin{document}
\title{New Uncertain Results on Control of Systems}
\author{I. A. MLOST\thanks{Unsupported in part by NSF grant 1234}}
\dedication{Dedicated to I. D. Iot on his $\pi$-th birthday}
\maketitle
\runningtitle{I. A. Mlost}{Uncertain Results on Control of Systems}
  \begin{abstract}
This paper demonstrates the use of the {\tt birk.sty} file for use in
the proceedings of the workshop ``Control of Uncertain Systems''.
  \end{abstract}
%
\section{Introduction}
All papers start with and introduction, so there has to be an
introduction also in this ``contribution''.  To get something in the
reference list, we remark that \cite{BMPhD} is ingenious.
%
\section{Definitions}
%
  \begin{definition}
    For $\Xi \not= 0$ a complex number, define 
    \begin{displaymath}
      \gamma(\Xi) = \frac{\Xi}{\bar\Xi}    
    \end{displaymath}
  \end{definition}
%
  \begin{remark}
    This is a rather pointless remark.
  \end{remark}
%
\section{Main Results}
%
  \begin{proposition}
    All theorems, propositions, lemmas, and corollaries are written in italics.
  \end{proposition}
%
  \begin{proof}
    Note the typesetting of the previous proposition,\ldots{},concluding
    the proof.
  \end{proof}
We are now ready for the main result.
  \begin{theorem}
    For $n > 2$, there are no three positive integers $a,b,c$ such that
    \begin{displaymath}
      a^n + b^n = c^n
    \end{displaymath}
  \end{theorem}
%
  \begin{proof}
    We leave the proof to the reader as a stimulating exercise.
  \end{proof}
%
  \begin{corollary}
    For economical reasons, please do not send large ($\geq$ 5 kbyte) email
    from outside of Germany to {\tt bengt@mathematik.uni-Bremen.de},
    but to {\tt g09e@dhbrrz41.bitnet}
  \end{corollary}
%
  \begin{example}
    An example.
  \end{example}
%
\begin{acknowledgement}
  The author would like to thank the great god Baccus for his stimulating
  influence on this work.
\end{acknowledgement}
%
\bibliography{BIRKsample}
\bibliographystyle{abbrv}
%
\authorinfo{
Bengt M\aa rtensson\\
Institut f\"ur Dynamische Systeme\\
Universit\"at Bremen\\
Postfach 330 440\\
D-2800 Bremen 33\\
F.R.G.\\
{\tt bengt@mathematik.uni-Bremen.de\\
g09e@dhbrrz41.bitnet}}
\end{document}