%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
% Example of \TeX Format for AQIS Pre-Proceedings
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\documentclass[a4paper]{article}
\usepackage{aqis}

\begin{document}

\title{
   Example of \TeX\ Format for AQIS Pre-Proceedings
}

\author{
  Kae Nemoto
  \affiliation{1}
  \email{nemoto@nii.ac.jp}
  \and
  Michele Mosca
  \affiliation{2}
  \email{mmosca@iqc.uwaterloo.ca}
  \and
  Hiroshi Imai
  \affiliation{3}
  \email{imai@is.s.u-tokyo.ac.jp}
}

\address{1}{
  National Institute of Informatics, \\
  2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo, Japan.
}
\address{2}{
  Institute for Quantum Computing, \\
  University of Waterloo, \\
  Waterloo, ON, N2L 3G1, Canada.
}
\address{3}{
  Department of Computer Science,
  Graduate School of Information Science and Technology, \\
  the University of Tokyo, \\
  7-3-1, Hongo, Bunkyo-ku, Tokyo, Japan.
}

\abstract{
Please substitute this for your 100-words abstract.
}

\keywords{AQIS, template}


\maketitle

%########### body

\section{Format of the Manuscripts}
The camera-ready version should be submitted
via the camera-ready submission page.
It should follow the style described below.

\paragraph{Basic Format:}

\begin{itemize}
  \item
    The manuscript should
    be typeset with the style files available at
    {\tt http://www.qci.jst.go.jp/aqis10}
    {\tt /camera\_ready.html}
    and prepared in PDF%
    \footnote{
      When you create PDF file from your manuscript source
      (especially from MS-Word), please select fonts carefully for
      some fonts cannot be handled well by PDF creating system.
    }.
  \item
    The manuscript should
    not exceed two pages including the title page,
    using A4-sized papers.
  \item
    No page of the manuscript should contain page numbers/page headings.
\end{itemize}

\paragraph{Layout:}

\begin{itemize}
  \item
    The manuscript should
    have top-, foot-, and side-margins of 2cm, 2.5cm, and 1.5cm,
    respectively (the title page should have top margin of 3cm.)
  \item
    The manuscript should begin with a title,
    followed by names, affiliations and postal addresses of authors,
    followed by a 100-word abstract and keywords.
    The main body should use two-column style.
    E-mail addresses of authors should be placed in footnotes.
\end{itemize}

\section{Theorems and Proofs}

Our style file prepares the following environments.

\begin{center}
\begin{tabular}{ll}
\hline
Environment name & Heading\\
\hline
{\tt definition} & {\bf Definition}\\
{\tt theorem} & {\bf Theorem}\\
{\tt lemma} & {\bf Lemma}\\
{\tt corollary} & {\bf Corollary}\\
{\tt proposition} & {\bf Proposition}\\
{\tt example} & {\bf Example}\\
{\tt remark} & {\bf Remark}\\
{\tt fact} & {\bf Fact}\\
{\tt conjecture} & {\bf Conjecture}\\
\hline
\end{tabular}
\end{center}

\section{Figures and Tables}

For figures and tables, the captions should be placed
below figures and above tables.

\section{Bibliography Styles}

The following bibliography style used in this document is preferable.
The authors may use common abbreviations for journal and conference names.

\begin{thebibliography}{9}

\bibitem{Grover96}
L.~K.~Grover.
\newblock A fast quantum mechanical algorithm for database search.
\newblock In {\em Proc.\ of the 28th ACM STOC}, pages 212--219, 1996.

\bibitem{Gruska99}
J.~Gruska.
\newblock {\em Quantum Computing}.
\newblock McGraw-Hill, 1999.

\bibitem{Holevo96}
A.~S.~Holevo.
\newblock The capacity of quantum channel with general signal states.
\newblock quant-ph/9611023, 1996.

\bibitem{Sho97SIComp}
P.~W.~Shor.
\newblock Polynomial-time algorithms for prime factorization
and discrete logarithms on a quantum computer.
\newblock {\em SIAM J. on Comp.}, 26(5):1484--1509, 1997.

\end{thebibliography}

\end{document}
% end of file
