\documentclass[12pt,twoside,a4paper]{amsart} 
\usepackage{fancyhdr}
\usepackage{amssymb}
\usepackage{latexsym}
\usepackage{amsmath}
\usepackage{euscript}
\usepackage{graphics}
\oddsidemargin=1.65cm
\evensidemargin=1.65cm
\topmargin=0.35cm
\parindent=0pt
\textwidth=15.38cm
\textheight=23cm
\hoffset=-14mm
\voffset=-5mm
\headheight=3.0mm 
\headsep=7mm
\def\mysection#1{{{\addtocounter{section}{1}\bf\arabic{section}. #1}\\[-0.7em] }}
\renewcommand{\section}{\mysection}
\pagestyle{myheadings}
\thispagestyle{myheadings}
\markboth{\normalsize }{\normalsize }
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%You may included here some of your own definitions, like:
\def\t#1{{{\tilde #1} }}
\def\h#1{{{\hat #1} }}
\def\wt#1{{{\widetilde #1} }}
\def\wh#1{{{\,\widehat #1\,} }}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\newtheorem{theorem}{Theorem}%[section]
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{definition}[theorem]{Definition}
\theoremstyle{definition}
\newtheorem{example}[theorem]{Example}
\newtheorem{remark}[theorem]{Remark}

\begin{document}
\hfill{ }
\vspace{-6mm}
\title{}
\vspace{2mm}

\begin{center}
{\large\bf 
%Include the title here:
Title of the paper     
}
\end{center}

\vspace{4mm}

%Include the authors' names here:
\begin{center}
First Author, Second Author, and Third Author 
\end{center}

%\setcounter{page}{1}

\vspace{0.4cm}
\baselineskip=13.5pt

\vspace{6mm}

{\bf Abstract}\\

Author, First, Second Author, and Third Author (2005). 
Repeat the title of the paper here. 
\textit{Proceedings of the University of Vaasa, Reports} xxx, pp--pp. \\
%Eds First Editor and Second Editor (to be added later).\\

%For the full paper the abstract starts here 
Include a short abstract of the final paper here. \\
%and ends here.

%Address of the first author here:
\textit{\noindent
First Author, 
Department of Mathematics and Statistics,
University of Vaasa, 
P.O. Box 700, FIN-65101 Vaasa, 
Finland, 
E-mail:
%email address of the first author:
ait05@uwasa.fi }\\        
%Address of the second author here:
\textit{
Second Author,  
Department of Mathematics and Statistics,
University of Vaasa, 
P.O. Box 700, FIN-65101 Vaasa, 
Finland, 
E-mail:
%email address of the second author:
ait05@uwasa.fi }\\
%Address of the third author here:
\textit{
Third Author,  
Department of Mathematics and Statistics,
University of Vaasa, 
P.O. Box 700, FIN-65101 Vaasa,
Finland, 
E-mail:
%email address of the third author:
ait05@uwasa.fi }\\


{\bf Keywords:} Keyword1, keyword2, keyword3.\\
\textit{Mathematics Subject Classification (2000):}
47A10; 47B15.\\

%line spacing for the main body of the text:
\baselineskip=19.5pt

\vspace{0.8cm}


\section{Section one}

%Notice! Always use an empty line between two paragraps as follows:

Algorithmic Information Theory is an international meeting bringing 
together mathematicians, computer theorists, logicians, mathematical physicists 
and scientists in related fields to assess recent development in 
the Foundations of  Mathematics and the limits to Computability and 
Computation and to stimulate further research in these and related fields. \\

Main topics include for instance Algorithmic Information Theory,  
Formal Systems, Symbolic Computation, Cellular and Quantum Automata, 
and Operator and Spectral Theory. \\

\section{Section two}

The first reference to the paper is to be done by including 
the family names of the authors and the year:
e.g. by saying, see Author1, Author2, and Author3 (2004). 
Later on the references to the same paper can be shorthened 
by saying, see Author1 et al. (2004). 

\begin{lemma}
\label{lem1} 
Statement of the first lemma. 
\end{lemma}
\begin{proof}
Proof of the first lemma.
\end{proof}

The main result of this section is given in the next theorem.

\begin{theorem}
\label{thm1} 
Statement of the first theorem. 
\end{theorem}
\begin{proof}
Numbers of the equations should appear on the left side
\begin{equation}
  \Omega=\sum_{p\in P_{\rm halts}} 2^{-|p|}.
\end{equation}
\end{proof}


\begin{corollary}
\label{cor1} 
Statement of the first corollary. 
\end{corollary}
%\begin{proof}
%Proof of the first corollary (when relevant). 
%\end{proof}

\begin{example}
This is an example. 
\end{example}


\vspace{10mm}

{\bf Acknowledgements}\\
When relevant include them just before the bibliography.\\ 

\vspace{6mm}

{\bf References}\\

%line spacing for the bibliography:
\baselineskip=13.5pt

%first reference:
\hangindent=1.5cm
Author1, A.A., B.B. Author2 \& C.C. Author3 (2004). 
Title of the first paper. 
\textit{Journal in Italics} xx, nn--nn.\\

%second reference:
\hangindent=1.5cm
AuthorB1, E.F. \& G.H. AuthorB2 (1991). 
\textit{Title of the Books in Italics}. 
Publisher. \\

%if the same author and the same year then use:
\hangindent=1.5cm
AuthorC, R. (2003a). 
Title of the first paper.
\textit{Journal in Italics} xx, nn--nn.\\

\hangindent=1.5cm
AuthorC, R. (2003b). 
Title of the second paper. 
\textit{Journal in Italics} xx:x, nn--nn.\\




\end{document}