Instructions for Authors
Authors are invited to submit a full paper of at most 15 pages plus optionally a technical appendix of up to 5 pages, formatted according to the AiML LaTeX style available here, together with a plain-text abstract of say 100-200 words.
Authors who cannot use the above style should format the paper according to the following instructions
The textarea of the paper should be 115mm (width) × 195mm (height), for an a4 papersize it means left and right margin of 4.75cm and top and bottom margin of 5.1cm; for a letter papersize set the left and right margins to 2in and the top and bottom margin to 1.2/3in.
The default size for your type should be ten-point with twelve-point line spacing. Indent 4mm when beginning a new paragraph, unless the paragraph begins directly below a heading or subheading.
The first page should include title, names of authors, the co-ordinates of the corresponding author, and some keywords describing the topic of the paper.Accepted papers must be formatted according to the AiML LaTeX style available here. Therefore authors are especially encouraged to use the LaTeX style file.
To be considered, submissions must be received no later than 27 March 2006. Authors should submit their papers electronically using the submission page at
Authors of accepted papers are not requested to transfer the copyright of their papers. However, they agree to grant Advances in Modal Logic Initiative a royalty free non-exclusive license to publish the paper in full in the Advances in Modal Logic Series, and to be posted on the World Wide Web on the Advances in Modal Logic Initiative server (aiml.net).
The proceedings (Advances in Modal Logic, Volume 6, published by College Publications) will be available at the conference.
LaTeX Instructions
Please use the following template for your LaTeX file.
\documentclass{book}
\usepackage{aiml06}
%%
%% the proceedings will be processed with the following packages
%% \usepackage{amssymb,amsmath,makeidx,aiml06}
%%
%% please use
%% \usepackage{graphicx} to inlcude graphical files (eps,png,jpg)
%%
%% do not redefine any theorem-like environments, or proof
%% environments. All are catered for in aiml06.sty. If there is a
%% theorem-like envionment that is not included in the style file,
%% authors should define it in the same way as those in aiml06.sty and
%% include it in the preamble to their paper.
%%
\bibliographystyle{plain}
\collection
\begin{document}
\paper[optional short title]{Title of the paper}{List of authors}
\begin{abstract}
Abstract here
\end{abstract}
\textbf{Keywords:} List of keywords
Body of paper
%% Oprional
%% \Appendix
%% or
%% \Appendices
%% For technical material and proofs
%% all sectioning commands are supported in the appendi(x/ces)
%%
%%
\bibliography{}
%%
%% or
%% for the proceedings please include the bbl here
%%
\begin{thebibliography}{99}
%to be in "plain style"
\end{thebibliography}
\bigskip\noindent
Author full name \\[.5ex]
Author full address.\\[.5ex]
Author email \\[2ex]
2nd Author full name \\[.5ex]
2nd Author full address.\\[.5ex]
2nd Author email \\[2ex]
...
n-th Author full name \\[.5ex]
n-th Author full address.\\[.5ex]
n-th Author email
\EndPaper
\end{document}