\documentclass{article}
\usepackage{isipta2015}

\newtheorem{Theorem}{Theorem}
\newtheorem{Definition}{Definition}

\title{Our Fantastic Paper to ISIPTA}
\author{
  The Famous First Author \and Some Assistant\\
  Laboratory of Great Inventions, Lalyland\\
  genius@lalyland.edu
  \And
  The Bright Second Author\\
  University of High Knowledge\\
  bright@high.knowledge.edu
  \AND
  Other Contributers\\
  All around the world\\
  \{one,deux,drie\}@example.edu
}

\begin{document}
\maketitle

\begin{abstract}
  The abstract is to be the first section of the text; the word ``Abstract'' appears centered, in boldface, 12-point font, initially capitalized.
  The abstract is to be in 10-point, single-spaced type, with 12-point spacing, and may go up to 8cm (3.15 inches) in a single paragraph.
  Leave a blank line after the abstract (height equivalent to 12 points) and then place the keywords.
  Type the word ``Keywords'' in 10-point bold font, followed by a dot, and then followed by three to ten keywords.
  Skip a line and start the main text.
\end{abstract}

\begin{keywords}
  Instructions, typing, figures and tables, fonts, \LaTeX.
\end{keywords}

\section{Introduction}
Please follow these instructions when sending your article to ISIPTA '15.
We plan to produce proceedings with a book appearance and not a collection of papers and abstracts written with different formats, so it is very important that you follow these guidelines.

By far, the easiest way to produce an article that satisfies these requirements is to use \LaTeX\ with the \texttt{isipta2015.sty} style.
There will be instructions on this on Section \ref{sec:IsiptaStyle}; if you are using \LaTeX, please go directly to Section \ref{sec:IsiptaStyle}.

You can use this document as a guide when you are producing your article. This document is typeset according to the instructions it contains; your article should have the same appearance as this document.

Note that the instructions in this document produce an article that is quite compact.
Ten pages are allowed for each article; these ten pages probably contain the same amount of text as twelve to fifteen pages written with ordinary article formats.

\section{General Instructions}
All articles must be in English. 
Articles can have up to nine pages before review and ten pages after revision.
No page numbers should be present on the fronts of the pages.
After you have finished your article and checked that it complies with these instructions, produce a PDF file and consult the ISIPTA web site
at \texttt{https://www.sipta.org/isipta15} for detailed instructions on how to send us your paper.

Text must be justified, in two-column format.
All text must be 10-point, single-spaced type, with 12-point vertical spacing, using either Computer Modern or Times Roman fonts.
Colored text should not be used.

Use one-half line space between paragraphs, with no indent.

The height of the text must be 23.5 centimeters (9.25 inches); width must be 17 centimeters (6.69 inches).
Separation between columns must be 0.7 centimeter (0.28 inch).
Top margin must be 3 centimeters (1.18 inches) and left margin must be 2.5 centimeters (0.98 inch).

\section{On the Title and the Authors}
If you are not using \LaTeX, please take some time to compose the headings of your article.

Place the sentence ``9th International Symposium on Imprecise Probability: Theories and Applications, Pescara, Italy, 2015'' with 8-point
type, centered.
Skip 3 points and then place a black horizontal rule, 0.5 millimeter (0.0019 inch) tall.
Skip 0.7 centimeter (0.28 inch) and place the title, centered, with bold 16-point type.
All words in the title should have initial caps (exceptions can be made
to small words).

Authors' names are centered, initials are capitalized.
The lead author's name is  to be listed first (left-most), followed by the co-authors' names.

Only the first page has special headings; all other pages should not have any headings (nor any running heads).

\section{On Sections}
There is one line space before section headings and half a line space after the section headings.
Headings are flush left, in bold 12-point type with initial caps. The number of the section precedes the title of the section.

\subsection{On Subsections}
There is one line space before subsection headings and half a line space after the subsection headings.
Subsection headings must be flush left, in bold 10-point type with initial caps.

\subsubsection{On Subsubsections}
There is one line space before subsubsection headings and half a line space after the subsubsection headings.
Subsection headings must be flush left, in bold 10-point type with initial caps.

Do not subdivide your article beyond subsubsections.

\section{On Figures and Tables}
Figures and tables should be placed near the location where they are first referred in the text; preferably, place figures and tables at the top of column.
Figures and tables that occupy two columns can be used.
Figures and tables should be centered.

\begin{figure}
  \begin{center}
    \unitlength 1mm
    \linethickness{0.4pt}
    \begin{picture}(46.67,45.13)(0,0)
      \put(5.67,10.67){\circle{7.60}}
      \put(30.67,26.00){\circle{7.60}}
      \put(40.33,41.33){\circle{7.60}}
      \put(19.67,41.33){\circle{7.60}}
    \end{picture}
  \end{center}
  \caption{This is an example for figures.}
  \label{figure:example}
\end{figure}

Figure number and caption always appear below the figure, as Figure \ref{figure:example} shows.
Figure captions are numbered consecutively.

Table number and title always appear below the  table, as Table \ref{table:example} shows.

We cannot make special arrangements for colored figures.
Please avoid photographs; figures and tables should be printed as part of the text.

\begin{table}
  \begin{center}
    \begin{tabular}{|c|c|} \hline
      Variable & Another Variable \\ \hline
      A value & Another value \\
      Yet another value & No value here \\ \hline
    \end{tabular}
  \end{center}
  \caption{This is an example for tables.}
  \label{table:example}
\end{table}

\section{On Footnotes}
Place footnotes at the bottom of the page where they are referenced.\footnote{Use 8-point type for footnotes.}
Precede the footnote with a 0.5 point horizontal rule, 2.54 centimeters (1 inch) long.

\section{Theorems and the like}
There are no strict guidelines on theorems, definitions, lemmas, proofs, etc. You can use the following examples as guidelines.

\begin{Theorem}
  If $x$ and $y$ are real numbers, $x$ is equal to 2 and $y$ is equal to 2, then $x + y$ is equal to 4.
\end{Theorem}
\textit{Proof.} Is it obvious? Well, maybe not.

\begin{Definition}
  A lower top is the supremum of all ceilings as they go from the ground up.
\end{Definition}

\section{On References}
List all your references in alphabetical order, at the end of the paper.
You can use any style for references, as long as you use it consistently.
Preferably, references should be numbered according to their place in the bibliography, not the order they appear in the text.
In the main text, references could appear as \cite{first} and \cite{second}, or perhaps as (TheAuthor 1996) and (Another 1800).
Please go to the end of this document for examples of possible references to articles and books (see Section \ref{sec:IsiptaStyle} if you are using \LaTeX).

\section{On Using \LaTeX}\label{sec:IsiptaStyle}
We suggest that, if it is at all possible, you prepare your ISIPTA paper using the \LaTeX\ system.

First install the \texttt{isipta2015.sty} file, which you can obtain at the ISIPTA web site.
You install the file by placing it at the same directory as you have your article (for more advanced users, you can also place the \texttt{isipta2015.sty} file in a directory that \LaTeX\ can reach through the TEXINPUTS variable).

You can also obtain the source file for this document at the ISIPTA web site.
You can use this file, called \texttt{isipta2015.tex}, as a template for your article.

Start your article with:
\begin{verbatim}
\documentclass{article}
\usepackage{isipta2015}
\end{verbatim}

After that, just type your article as any other \LaTeX\ file.
Note that you should not introduce formatting commands into the text; let the \texttt{isipta2015.sty} style handle any formatting for you.
If you are adapting a formatted text to the \texttt{isipta2015.sty} style, start by deleting all formatting commands from your submission.

You can produce correct citations in \LaTeX\ using the \texttt{cite} command and the \texttt{plain} bibliography style.
You can also produce theorems, definitions and similar constructs with the
\texttt{newtheorem} command.
There is also a \texttt{keywords} environment to produce keywords.

You must check your article after the final version is printed.
\LaTeX\ does not control text to  entirely prevent line overruns.
Pay special attention to equations; long equations tend to overrun and problems may even go unnoticed in a casual reading.

\section{Summary and Conclusions}
Any questions regarding the format of the articles or the \LaTeX\ style can be directed by email to the scientific program contact.

\section*{Acknowledgements}
You can acknowledge help and support you received in an unnumbered section at the end of the main text, just before the references.

This section can  also be reserved for additional information on the authors;
for example, that the paper was written while the first author worked at night at the University of Great Knowledge.

\begin{thebibliography}{9}
\bibitem{first}
S. O. M. Engineer.
How to Change the World.
{\em Some Journal}, 83:1--58, 1996.

\bibitem{second}
A. Scientist and O. T. H. E. R. Scientist.
{\em Quite a Big Book}. 
Whoever Published It, 1800.
\end{thebibliography}

\end{document}
