Changeset 3600


Ignore:
Timestamp:
Mar 6, 2017, 12:24:55 PM (8 months ago)
Author:
mulligan
Message:

addresses, authors, title, etc.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Papers/jar-cerco-2017/cerco.tex

    r3599 r3600  
    1 %%%%%%%%%%%%%%%%%%%%%%% file template.tex %%%%%%%%%%%%%%%%%%%%%%%%%
    2 %
    3 % This is a general template file for the LaTeX package SVJour3
    4 % for Springer journals.          Springer Heidelberg 2010/09/16
    5 %
    6 % Copy it to a new file with a new name and use it as the basis
    7 % for your article. Delete % signs as needed.
    8 %
    9 % This template includes a few options for different layouts and
    10 % content for various journals. Please consult a previous issue of
    11 % your journal as needed.
    12 %
    13 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
    14 %
    15 % First comes an example EPS file -- just ignore it and
    16 % proceed on the \documentclass line
    17 % your LaTeX will extract the file if required
    181\begin{filecontents*}{example.eps}
    192%!PS-Adobe-3.0 EPSF-3.0
     
    3619grestore
    3720\end{filecontents*}
    38 %
     21
    3922\RequirePackage{fix-cm}
    40 %
    41 %\documentclass{svjour3}                     % onecolumn (standard format)
    42 %\documentclass[smallcondensed]{svjour3}     % onecolumn (ditto)
    43 \documentclass[smallextended]{svjour3}       % onecolumn (second format)
    44 %\documentclass[twocolumn]{svjour3}          % twocolumn
    45 %
    46 \smartqed  % flush right qed marks, e.g. at end of proof
    47 %
     23
     24\documentclass[smallextended]{svjour3}
     25
     26\usepackage{amsfonts}
     27\usepackage{amsmath}
     28\usepackage[british]{babel}
    4829\usepackage{graphicx}
    49 %
    50 % \usepackage{mathptmx}      % use Times fonts if available on your TeX system
    51 %
    52 % insert here the call for the packages your document requires
    53 %\usepackage{latexsym}
    54 % etc.
    55 %
    56 % please place your own definitions here and don't use \def but
    57 % \newcommand{}{}
    58 %
    59 % Insert the name of "your journal" with
    60 % \journalname{myjournal}
    61 %
    62 \begin{document}
     30\usepackage[colorlinks]{hyperref}
     31\usepackage{microtype}
    6332
    64 \title{Insert your title here%\thanks{Grants or other notes
    65 %about the article that should go on the front page should be
    66 %placed here. General acknowledgments should be placed at the end of the article.}
    67 }
    68 \subtitle{Do you have a subtitle?\\ If so, write it here}
     33\smartqed
    6934
    70 %\titlerunning{Short form of title}        % if too long for running head
     35\title{CerCo: Certified Complexity\thanks{FET Open Grant 243881}}
     36\subtitle{The verified lifting of concrete complexity annotations}
     37\journalname{Journal of Automated Reasoning}
     38\titlerunning{Certified Complexity}
     39\date{Received: date / Accepted: date}
     40\author{Jaap Boender \and Brian Campbell \and Dominic P. Mulligan \and Claudio Sacerdoti Coen}
    7141
    72 \author{First Author         \and
    73         Second Author %etc.
    74 }
    75 
    76 %\authorrunning{Short form of author list} % if too long for running head
    77 
    78 \institute{F. Author \at
     42\institute{Jaap Boender \at
    7943              first address \\
    8044              Tel.: +123-45-678910\\
    8145              Fax: +123-45-678910\\
    82               \email{fauthor@example.com}           %  \\
    83 %             \emph{Present address:} of F. Author  %  if needed
     46              \email{fauthor@example.com}
    8447           \and
    85            S. Author \at
     48           Brian Campbell \at
    8649              second address
    87 }
     50           \and
     51           Dominic P. Mulligan \at
     52              this address
     53           \and
     54           Claudio Sacerdoti Coen \at
     55              fourth address}
    8856
    89 \date{Received: date / Accepted: date}
    90 % The correct dates will be entered by the editor
    91 
     57\begin{document}
    9258
    9359\maketitle
    9460
    9561\begin{abstract}
    96 Insert your abstract here. Include keywords, PACS and mathematical
    97 subject classification numbers as needed.
    98 \keywords{First keyword \and Second keyword \and More}
    99 % \PACS{PACS code1 \and PACS code2 \and more}
    100 % \subclass{MSC code1 \and MSC code2 \and more}
     62\keywords{Verified compilation \and Complexity analysis \and CerCo (`Certified Complexity')}
    10163\end{abstract}
    10264
    10365\section{Introduction}
    104 \label{intro}
    105 Your text comes here. Separate text sections with
    106 \section{Section title}
    107 \label{sec:1}
    108 Text with citations \cite{RefB} and \cite{RefJ}.
    109 \subsection{Subsection title}
    110 \label{sec:2}
    111 as required. Don't forget to give each section
    112 and subsection a unique label (see Sect.~\ref{sec:1}).
    113 \paragraph{Paragraph headings} Use paragraph headings as needed.
    114 \begin{equation}
    115 a^2+b^2=c^2
    116 \end{equation}
     66\label{sect.introduction}
    11767
    118 % For one-column wide figures use
    119 \begin{figure}
    120 % Use the relevant command to insert your figure file.
    121 % For example, with the graphicx package use
    122   \includegraphics{example.eps}
    123 % figure caption is below the figure
    124 \caption{Please write your figure caption here}
    125 \label{fig:1}       % Give a unique label
    126 \end{figure}
    127 %
    128 % For two-column wide figures use
    129 \begin{figure*}
    130 % Use the relevant command to insert your figure file.
    131 % For example, with the graphicx package use
    132   \includegraphics[width=0.75\textwidth]{example.eps}
    133 % figure caption is below the figure
    134 \caption{Please write your figure caption here}
    135 \label{fig:2}       % Give a unique label
    136 \end{figure*}
    137 %
    138 % For tables use
    139 \begin{table}
    140 % table caption is above the table
    141 \caption{Please write your table caption here}
    142 \label{tab:1}       % Give a unique label
    143 % For LaTeX tables use
    144 \begin{tabular}{lll}
    145 \hline\noalign{\smallskip}
    146 first & second & third  \\
    147 \noalign{\smallskip}\hline\noalign{\smallskip}
    148 number & number & number \\
    149 number & number & number \\
    150 \noalign{\smallskip}\hline
    151 \end{tabular}
    152 \end{table}
     68\begin{acknowledgements}
     69\end{acknowledgements}
    15370
    154 
    155 %\begin{acknowledgements}
    156 %If you'd like to thank anyone, place your comments here
    157 %and remove the percent signs.
    158 %\end{acknowledgements}
    159 
    160 % BibTeX users please use one of
    16171%\bibliographystyle{spbasic}      % basic style, author-year citations
    162 %\bibliographystyle{spmpsci}      % mathematics and physical sciences
    163 %\bibliographystyle{spphys}       % APS-like style for physics
    164 %\bibliography{}   % name your BibTeX data base
    165 
    166 % Non-BibTeX users please use
    167 \begin{thebibliography}{}
    168 %
    169 % and use \bibitem to create references. Consult the Instructions
    170 % for authors for reference list style.
    171 %
    172 \bibitem{RefJ}
    173 % Format for Journal Reference
    174 Author, Article title, Journal, Volume, page numbers (year)
    175 % Format for books
    176 \bibitem{RefB}
    177 Author, Book title, page numbers. Publisher, place (year)
    178 % etc
    179 \end{thebibliography}
     72\bibliography{cerco}   % name your BibTeX data base
    18073
    18174\end{document}
    182 % end of file template.tex
Note: See TracChangeset for help on using the changeset viewer.