%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% "Instructions for PhML-2014 Proceedings" Version 1.2, 09/12/2013.
%  This document may be used as a template for preparing
%  a camera-ready copy for the Proceedings of PhML-2014.
%  Place file ``PhML-2014.sty'' and your bib-file in the
%  same directory as your source tex-file.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
\documentclass[a4paper,12pt]{article}
%
%-------------------Universal head--------------------------------
%Don't change anything in the universal head!
\usepackage{PhML-2014}
\usepackage{times}
\usepackage{latexsym}
\usepackage{apacite}
\pagestyle{empty}
%-------------------End of Universal head-------------------------
%
%-------------------Room for mathematical packages----------------
\usepackage{amsthm}
%-------------------End for the room for mathematical packages----
%
%-------------------Room for your packages------------------------
%Refrain from using any additional Latex-packages, if possible.
%Beware that your packages might be incompatible with the overall
%framework.

%-------------------End of the room for your packages-------------
%
%-----------------Title page information--------------------------
\title{Instructions for the Proceedings of PhML-2014}
%
\author{First Author}
\address{University Department, University Name\\
Address, City, State ZIP/Zone, Country\\
\texttt{first\_author@university.edu}}
%
\author{Second Author}
\address{Group, Laboratory\\
Address, City, State ZIP/Zone, Country\\
\texttt{second\_author@group.com}}
%-----------------End of Title page information-------------------

\begin{document}

\maketitle
\thispagestyle{empty}

\begin{abstract}
This document contains the instructions (dated of September 12, 2013) for
preparing a camera-ready copy for the Proceedings of PhML-2014.
The document itself conforms to its own specifications, and is
therefore an example of what your manuscript should look like.
These instructions should be used for both papers submitted for
review and for final versions of accepted papers.  Authors are
asked to conform to all the instructions reported in this
document.
\end{abstract}

\keywords{keyword1, keyword2, keyword3}

\section*{Introduction}

The following instructions are directed to authors of papers
submitted to PhML-2014 or accepted for publication in the
PhML-2014 Proceedings.  All authors are required to adhere to
these specifications. Authors are required to provide a pdf-file
of their paper together with its source files (source tex-file and
BiB\TeX{} references' bib-file for a paper prepared with
\LaTeX2e{}).

\section{General instructions}

Start all pages (beside the first page) directly under the top
margin. See the guidelines later regarding formatting the first
page. Submission should be prepared in one-column format with no
headers/footers and no page numbers. The length of a submitted
paper should be at least six (6), maximum twelve (12) pages,
including tables, figures, references and appendices.

\subsection{Resources available at PhML-2014 WebSite}

At the conference WebSite there is a page with Authors' Guidelines
which provides these instructions in \LaTeX2e{} source tex-file
``PhML-2014.tex'' and in pdf-file ``PhML-2014.pdf'' you are
reading, along with the \LaTeX2e{} style file ``PhML-2014.sty''
and BiB\TeX{} file ``PhML-2014.bib'' used to format it. We
strongly recommend the use of these style files, which have been
appropriately tailored for the PhML-2014 Proceedings. Place the
file ``PhML-2014.sty'' and your bib-file in the same directory as
the tex-file of paper you are preparing.

\subsubsection{Format of electronic submission}
\label{ssect:pdf}

The PhML-2014 Proceedings will be processed by using the authors'
source tex-file and bib-file. These should be submitted with the
pdf-file, and resubmitted in the final form if a paper requires
revision before being accepted for publication.

The pdf-file may be generated from postscript file. On Linux/Unix
systems, you can use \textsf{ps2pdf} for this purpose. In
MS~Windows, you can use GSview
(\textsf{File}$>$\textsf{Convert}$>$\textsf{pdfwrite}); if you
have MiKTeX installed, you can use \textsf{dvi2pdf} or
PDF\LaTeX{}.

If you have a problem to meet these requirements, please contact
the Organizing Committee at \texttt{PhML-2014@pdmi.ras.ru} as
soon as possible.

\subsection{Layout}
\label{ssec:layout}

Format manuscripts in the manner these instructions are formatted.
The exact dimensions for a page on a4 paper are the following:
(1)~left, right, top, bottom margins: 2.5 cm; (2)~text width: 16.0
cm; (3)~text height: 24.7 cm. Papers should not be formatted for
any other paper size.

\subsection{Fonts}

The Adobe's \textbf{Times Roman} font should be used. In
\LaTeX2e{} this is accomplished by putting
\begin{quote}
\begin{verbatim}
\usepackage{times}
\usepackage{latexsym}
\end{verbatim}
\end{quote}
in the preamble of source tex-file.

The font sizes and styles are present in the following table:
\begin{table}[h]
\begin{center}
\begin{tabular}{|l|r|l|}
\hline \bf Type of Text & \bf Font Size & \bf Style \\
\hline paper title & 20 pt & bold \\
author names & 14 pt & bold \\
author affiliation & 12 pt & \\
the word ``Abstract'' & 11 pt & bold \\
the word ``Keywords'' & 11 pt & bold \\
section titles & 16 pt & bold \\
subsection titles & 14 pt & bold \\
subsubsection titles & 12 pt & bold \\
document text & 12 pt  &\\
abstract text & 11 pt & \\
keywords text & 11 pt & \\
captions & 12 pt & \\
bibliography & 12 pt & \\
footnotes & 11 pt & \\
\hline
\end{tabular}
\end{center}
\caption{\label{font-table} Font guide.}
\end{table}

\section{The first page}
\label{ssec:first}

Center the title, author's name(s) and affiliation(s). Do not use
footnotes for affiliations. As for font sizes and styles, see the
Table~\ref{font-table}.

\subsection{Other packages and macros}

The preamble of source file should contain \textit{all} and
\textit{only} macros and packages that are actually used. Notice
that AMS math packages \textsf{amsmath}, \textsf{amssymb},
\textsf{amsthm} and the package \textsf{xypic} are compatible with
PhML-2014 style.

\subsection{Title}

Title should be typeset in a 20-point bold font with the first
letter of important words capitalized. Long titles should be typed
on two lines without a blank line intervening.

\subsection{Author's name(s) and affiliation(s)}

Do not use only initials for given names (middle initials are
allowed). Do not format surnames in all capitals (e.g., use
``Smith'' not ``SMITH'').  The affiliation should contain the
author's complete address, and if possible, an electronic mail
address.

\subsection{Abstract}

The first page should include an abstract clearly outlining the
contribution of the paper. It should be displayed one space below
the author's affiliation, typed in 11~pt on full width of text,
have its title bold 11~pt and aligned against the left-hand margin
of page. It should not contain references or displayed equations.
The abstract should be one paragraph only and should be no longer
than 10 lines.

\subsection{Keywords}

Type the list of 3 to 10 keywords separated by commas one space
below the abstract.

\section{The main text}

The first line of each paragraph (beside the first paragraph) is
indented by 3 spaces. Use 12 points for text.

\subsection{Headings}

Number headings in the style shown on the present document. Use 12
points for subsection headings and subsubsection headings; use 14
points for section headings. Headings should be typeset in
boldface and capitalize the first letter of the first word only
(with exception for proper names). Between a section's heading and
its first subsection's heading should be typed at least two lines
of text.

\subsection{Footnotes}

Use footnotes sparingly (or not at all) and put them at the bottom
of the page on which they are referenced. Footnotes should be
typeset in a 11-point font. They may be numbered or referred to by
asterisks or other symbols. Footnotes should be separated from the
text by a line.\footnote{This is to show how a footnote should
look like.}

\subsection{Illustrations}

Place figures and tables in the paper near the place where they
are first discussed. Color illustrations are discouraged, unless
you have verified that they will be understandable when printed in
black ink. Figures handled in the standard \LaTeX{} manner. For
example:
\begin{quote}
\begin{verbatim}
\begin{figure}[h]
\centering
\includegraphics[scale=0.5]{demo}
\caption{Demo illustration}
\label{fig_demo}
\end{figure}
\end{verbatim}
\end{quote}
Note that (1) figures should be centered via the \LaTeX{}
\textbackslash\texttt{centering} command � this is a better
approach than using the \texttt{center} environment which adds
unwanted vertical spacing; (2) the caption follows the graphic;
and (3) any labels must be declared after (or within) the caption
command.

\subsubsection{Captions}

Provide a caption for every illustration; number each one
sequentially in the form:  ``Figure 1: Caption of the Figure.''
``Table 1: Caption of the Table.''  Type the captions of the
figures and tables below the body, using 11 point text.

\subsection{List environments}

Do not overuse list environments, that is do not introduce lists
within lists within lists, reflecting the logical structure of the
text; in result, the article looks like a computer program, and
this does not help understanding. The rules are:
\begin{itemize}
    \item Do not use a list environment (enumerate, itemize, etc.)
    if individual items will be more than three lines long.
    \item Do not use a nesting of lists of depth more than 2 (list
    within list).
    \item Do not nest lists at all if the items of the inner list
    are more than one line long.
\end{itemize}
The only exceptions, of course, are for the part of your paper
where you want to display a computer program.

\section{Theorems, propositions, lemmas, and the like}

For introducing theorem environments, please use the
\textsf{amsthm} package. In \LaTeX2e{} this is accomplished by
putting
\begin{quote}
\begin{verbatim}
\usepackage{amsthm}
\end{verbatim}
\end{quote}
in the preamble of source file. This package is implemented in
many \TeX{} typesetting system, e.g. in MiKTeX. See at
\url{ftp://ftp.ams.org/ams/doc/amscls/amsthdoc.pdf} the
\textsf{amsth} package documentation which describes the
possibilities offered by this package, whose commands are all
available under ``PhML-2014.sty''.

Theorems are normally set in italics, but tradition demands that
parentheses, brackets, punctuation symbols and numerals in them
are set straight up. For example, suppose that you have only one
theorem in your paper, and you have used
\begin{quote}
\begin{verbatim}
\newtheorem*{thm}{Theorem}
\end{verbatim}
\end{quote}
instead of
\begin{quote}
\begin{verbatim}
\newtheorem{thm}{Theorem}
\end{verbatim}
\end{quote}
If you type
\begin{quote}
\begin{verbatim}
\begin{thm}
Every closed subgroup of finite index in $K^*$ is a norm
group (in the sense of \S4); the intersection of the norm
groups of $K^*$ is \{1\}.
\end{thm}
\end{verbatim}
\end{quote}
within a theorem environment, you will get the ugly-looking
\newtheorem*{thm}{Theorem}
\begin{thm}
Every closed subgroup of finite index in $K^*$ is a norm group (in
the sense of \S4); the intersection of the norm groups of $K^*$ is
\{1\}.
\end{thm}

\noindent and, to correct this, you would need to type the
following:
\begin{quote}
\begin{verbatim}
\begin{thm}
Every closed subgroup of finite index in $K^*$ is a norm
group \textup{(}in the sense of \S\textup{4);} the intersection
of the norm groups of $K^*$ is \{\textup{1}\}.
\end{thm}
\end{verbatim}
\end{quote}
It gives you the fine-looking
\begin{thm}
Every closed subgroup of finite index in $K^*$ is a norm group
\textup{(}in the sense of \S\textup{4);} the intersection of the
norm groups of $K^*$ is \{\textup{1}\}.
\end{thm}

\subsection{End of proof symbol}

The command \textbackslash\texttt{end}\{\texttt{proof}\} generates
a ``qed'' symbol (by default, a hollow square) at the end of the
proof. This symbol can be redefined; in particular, if you don't
want it, just redefine \textbackslash\texttt{qed symbol} to an
empty command as follows:
\begin{verbatim}
\renewcommand{\qedsymbol}{}
\end{verbatim}
If this definition is placed in the preamble, its effect is
global.

\section*{Acknowledgments}

Do not number the acknowledgement section.The ``Acknowledgements''
should go as a last section immediately before the References.

\section{References}

Gather the set of \textit{all} and \textit{only} cited references
under the heading \textbf{References}. Place the section
``References'' before any Appendices, unless they contain
references. Provide a complete list of references, using a
Bib\TeX{} bib-file such as the file ``PhML-2014.bib''. Use the
references style of the \textit{American Psychological
Association} (APA). In \LaTeX2e{} this is accomplished by putting
\begin{quote}
\begin{verbatim}
\usepackage{apacite}
\end{verbatim}
\end{quote}
in the preamble of source file. The \textsf{apacite} package is
implemented in many \TeX{} typesetting system, e.g. in MiKTeX.

\subsection{Citations}

Citations style within the text should appear following the rules
of the APA. See descriptions at\newline
\url{http://mirrors.ctan.org/biblio/bibtex/contrib/apacite/apacite.pdf}
The LaTeX2e{} \textsf{apacite} package roughly fit the American
Psychological Association format, allowing regular citations,
short citations and multiple citations. Examples of usage of basic
citation commands are given in the following
Table~\ref{citation-table}.

\begin{table}[h]
\begin{center}{\footnotesize
\begin{tabular}{|l|l|}
\hline
\textbf{Command} & \textbf{Citation} \\
\hline
\verb"\cite<e.g.,>[p.~11]{TeXbook,LaTeXbook}" & (e.g., Knuth, 1986; Lamport, 1994, p. 11) \\
\verb"\citeNP<e.g.,>[p.~11]{TeXbook,LaTeXbook}" & e.g., Knuth, 1986; Lamport, 1994, p. 11  \\
\verb"\citeA<e.g.,>[p.~11]{TeXbook,LaTeXbook}" & e.g., Knuth (1986); Lamport (1994, p. 11) \\
\verb"\citeauthor<e.g.,>[p.~11]{TeXbook,LaTeXbook}" & e.g., Knuth; Lamport, p. 11 \\
\verb"\citeyear<e.g.,>[p.~11]{TeXbook,LaTeXbook}" & (e.g., 1986; 1994, p. 11) \\
\verb"\citeyearNP<e.g.,>[p.~11]{TeXbook,LaTeXbook}" & e.g., 1986; 1994, p. 11 \\
\hline
\verb"\cite{Bbk:1948}" & (Bourbaki, 1948) \\
\verb"\citeA[p.~11]{Bbk:1948}" & \citeA[p.~11]{Bbk:1948} \\
\hline
\end{tabular}}
\end{center}
 \caption{\label{citation-table} Examples of usage of basic citation commands.}
\end{table}

The following commands produces an example of references's list in
\textsf{apacite} style:
\begin{quote}
\begin{verbatim}
\bibliographystyle{apacite}
\bibliography{PhML-2014}
\end{verbatim}
\end{quote}

Here ``PhML-2014'' refers to our bib-file ``PhML-2014.bib''. You
need to replace it by the name of your bib-file (written without
its extension ``.bib''). Our example looks like:

\nocite{*}
\bibliographystyle{apacite}
\bibliography{PhML-2014}

\section*{Appendices}

Appendices should be used only when absolutely necessary. They
should come after the References. If there is more than one
appendix, number them alphabetically and provide an informative
title, e.g.

\section*{Appendix A. Title of appendix}

\end{document}
