%% Use this file as an example to prepare your Track B final submission
%%% Questions to munoz@icase.edu

%%% Use the option runningheads with the llncs style 
\documentclass[runningheads]{llncs} 

%%% Use the fullpage package
\usepackage{fullpage}
\usepackage{latexsym}
\usepackage{amssymb}
\usepackage{exptrees}
\usepackage{url}


%%% IMPORTANT Your submission will be processed automatically to generate
%%% the main volume with the right page numbers, table of contents, and 
%%% index of authors. Follow this format as close as possible to
%%% generate the first page of your contribution. In particular *do not*
%%% define or use new commands between pagestyle{headings} and maketitle.

\pagestyle{headings} 
\setcounter{page}{1} %% Use this command, so we can automatically generate
                     %% the right page number
\begin{document}
\title{Formalising General Correctness}


\titlerunning{Formalising General Correctness}
%% If title is too long, use titlerunning to produce a short title
%% in the headings

\author{Jeremy E. Dawson\inst{1} 
    \thanks{Supported by an Australian Research Council Large Grant}}


%% If more than 2 authors, use authorrunning to produce an abbreviated
%% list of authors in the headings

\institute{Department of Computer Science \\
Australian National University,
Canberra ACT 0200, Australia \\
\email{jeremy@csl.anu.edu.au} \\
\email{http://csl.anu.edu.au/\homedir jeremy/} }

%% List all the authors using the \index command. This will help us to
%% automatically generate the index of authors.

\index{Dawson, Jeremy}

\maketitle

\input{fgc}

%% Do not change the bibliography style
% \bibliographystyle{plain}

%Use either
%\bibliography{MyBiblioFileHere} (please submit your biblio file)
%or 
%\begin{thebibliography}{10} \bibitem ... \end{thebibliography}

\end{document}