Frontiers of Combining Systems

FroCoS'98

October 2-4, 1998

ILLC, University of Amsterdam

The instructions for preparing your contribution to the FroCoS'98 volume are very minimal:

• Use the article document class with a4paper and 11pt as options.
• Limit your contribution to 20 pages.
• Use the named.sty and named.bst files for preparing your bibliography (see below).
• Once you have prepared the .bbl file using BibTeX, include it in your LaTeX file, and comment out the \bibliography{ } command, if you use BibTeX.
• Insert \index commands where appropriate.

To see how a LaTeX file using the aforementioned style files could look like, please have a look at the following sample file. It contains also further information about using named.sty and named.bst. The files frocos98-sample.tex, frocos98-sample.ps, as well as the style files named.sty, named.bst are available online.

%%% begin frocos98-sample.tex

\documentclass[a4paper,11pt]{article}

\usepackage{named}

\title{
	Preparing Your Contribution to FroCoS'98 
}
\author{
		% insert author(s) here
}
\date{}	% optional


\begin{document}


\maketitle


\section{Instructions}

The instructions for preparing your contribution to the
FroCoS'98 volume are very minimal:
\begin{itemize}
	\item Use the article document class with a4paper 
              and 11pt as options. 
	
	\item  Limit your contribution to 20 pages.

	\item  Use the \texttt{named.sty} and \texttt{named.bst} 
               files for preparing your bibliography (see below).

	\item Once you have prepared the .bbl file using BibTeX, 
              include it in your \LaTeX\ file, and comment out 
              the \verb|\bibliography{ }| command.

	\item  Insert \verb|\index| commands where appropriate.
\end{itemize}

\section{About the Bibliography Style \texttt{named.sty}}

The \texttt{named.sty} bibliography style provides the following 
commands:
\begin{itemize}
	\item \verb|\cite{key}| \\
               which produces citations with both author and year,
               enclosed in square brackets. E.g., 
               \cite{hans:moda91}.
         \item \verb|\shortcite{key}| \\
               which produces citations with year only,
               enclosed in square brackets. E.g., 
               \shortcite{hans:moda91}.
         \item \verb|\citeauthor{key}| \\
               which produces the author information only.
               E.g., \citeauthor{hans:moda91}
         \item \verb|\citeyear{key}| \\
               which produces the year information only.
	       E.g., \citeyear{hans:moda91}.
\end{itemize}

The two files \texttt{named.sty} and \texttt{named.bst} are 
available from the FroCoS'98 web site at 
\texttt{www.wins.uva.nl/$\sim$mdr/FroCoS98}; if you have problems 
retrieving the files, let us know, and we will send them to you.

\section{The Use of Further Packages}

Please limit the use of \LaTeX-packages that are not part of the 
standard \LaTeX2e\ distribution to an absolute minimum. If you do 
decide to use packages that are not part of the standard \LaTeX2e\ 
distribution, don't forget to include them when you send us the 
final version of your contribution.

\section{Where and When to Send Us Your Files}

Please send us the \LaTeX\ source for your contribution at 
\texttt{frocos98@wins.uva.nl}, using `Final Paper' as the subject 
of your message. Make sure that you send us all personal style and 
input files. We will need your files by \textbf{September 1, 1998}.

\paragraph*{Acknowledgments.} Thank you.


\bibliographystyle{named}

\begin{thebibliography}{}

\bibitem[\protect\citeauthoryear{Hansoul}{1991}]{hans:moda91}
G.~Hansoul.
\newblock Modal-axiomatic classes of kripke models.
\newblock In H.~Andr\'eka, J.D. Monk, and I.~N\'emeti, editors, 
      {\em Algebraic Logic}, pages 231--240. North-Holland, 1991.

\end{thebibliography}


\end{document}

%%% end frocos98-sample.tex