\documentclass[a4paper,11pt]{article}
\textwidth  15cm
\textheight 22cm          % 24cm for A4
\topmargin  0.0cm
\oddsidemargin  0.65cm    % 0.5cm for A4
\evensidemargin 0.65cm    % 0.5cm for A4
\headheight 0.0pt
\headsep    0.0pt

\begin{document}

\title{The Title can be on \\ Two Lines}
\author{Super Genius$^1$, Big Dumbo$^2$ \\
        $^1$Amazing University \\
        {\tt supergenius@amu.edu} \\
        $^2$College of No Knowledge \\
        {\tt bigdumbo@knk.edu}
}
\date{}

\maketitle

\begin{abstract}
Very abstract stuff. Very abstract stuff indeed.
Very abstract stuff. Very abstract stuff indeed.
Very abstract stuff. Very abstract stuff indeed.
Very abstract stuff. Very abstract stuff indeed.
Very abstract stuff. Very abstract stuff indeed.
\end{abstract}

\thispagestyle{empty}
\pagestyle{empty}
%------------------------------------------------------------------------------
\section{Introduction}
\label{Introduction}

This workshop brings together practioners and researchers who are concerned 
with the development and application of automated reasoning in large 
theories - theories in which 
\begin{itemize}
\item There are many axioms
\item There are many predicates and functors
\item There are many theorems to be proved from the axioms
\item There are many theorems that are provable from a subset of the axioms
\end{itemize}

In large theories it is useful to develop and apply intelligent reasoning 
techniques that go beyond ``black box'' reasoning, to include techniques for 
selecting axioms, using proved theorems as lemmas, etc. 
Reasoning in all forms (automated, interactive, etc) and all logics 
(classical, non-classical, all orders, etc) is of interest to the workshop. 
The workshop will discuss only ``really running'' systems and applications, 
and not theoretical ideas that have not yet been translated into working 
software. 
%------------------------------------------------------------------------------
\subsection{Subsection}

This workshop brings together practioners and researchers who are concerned 
with the development and application of automated reasoning in large 
theories - theories in which 
\begin{itemize}
\item There are many axioms
\item There are many predicates and functors
\item There are many theorems to be proved from the axioms
\item There are many theorems that are provable from a subset of the axioms
\end{itemize}

In large theories it is useful to develop and apply intelligent reasoning 
techniques that go beyond ``black box'' reasoning, to include techniques for 
selecting axioms, using proved theorems as lemmas, etc. 
Reasoning in all forms (automated, interactive, etc) and all logics 
(classical, non-classical, all orders, etc) is of interest to the workshop. 
The workshop will discuss only ``really running'' systems and applications, 
and not theoretical ideas that have not yet been translated into working 
software. 
%------------------------------------------------------------------------------
\subsubsection{Subsubsection}

This workshop brings together practioners and researchers who are concerned 
with the development and application of automated reasoning in large 
theories - theories in which
\begin{itemize}
\item There are many axioms
\item There are many predicates and functors
\item There are many theorems to be proved from the axioms
\item There are many theorems that are provable from a subset of the axioms
\end{itemize}

In large theories it is useful to develop and apply intelligent reasoning 
techniques that go beyond ``black box'' reasoning, to include techniques for 
selecting axioms, using proved theorems as lemmas, etc. 
Reasoning in all forms (automated, interactive, etc) and all logics 
(classical, non-classical, all orders, etc) is of interest to the workshop. 
The workshop will discuss only ``really running'' systems and applications, 
and not theoretical ideas that have not yet been translated into working 
software. 
%------------------------------------------------------------------------------
\bibliographystyle{alpha}
\bibliography{Bibliography}
%------------------------------------------------------------------------------
\end{document}
%------------------------------------------------------------------------------
