source: Papers/jar-cerco-2017/cerco.tex @ 3601

Last change on this file since 3601 was 3601, checked in by boender, 3 years ago

Added my address

File size: 1.9 KB
Line 
1\begin{filecontents*}{example.eps}
2%!PS-Adobe-3.0 EPSF-3.0
3%%BoundingBox: 19 19 221 221
4%%CreationDate: Mon Sep 29 1997
5%%Creator: programmed by hand (JK)
6%%EndComments
7gsave
8newpath
9  20 20 moveto
10  20 220 lineto
11  220 220 lineto
12  220 20 lineto
13closepath
142 setlinewidth
15gsave
16  .4 setgray fill
17grestore
18stroke
19grestore
20\end{filecontents*}
21
22\RequirePackage{fix-cm}
23
24\documentclass[smallextended]{svjour3}
25
26\usepackage{amsfonts}
27\usepackage{amsmath}
28\usepackage[british]{babel}
29\usepackage{graphicx}
30\usepackage[colorlinks]{hyperref}
31\usepackage{microtype}
32
33\smartqed
34
35\title{CerCo: Certified Complexity\thanks{The project CerCo acknowledges the
36financial support of the Future and Emerging Technologies (FET) programme within
37the Seventh Framework Programme for Research of the European Commission, under
38FET-Open grant number: 243881}}
39\subtitle{The verified lifting of concrete complexity annotations}
40\journalname{Journal of Automated Reasoning}
41\titlerunning{Certified Complexity}
42\date{Received: date / Accepted: date}
43\author{Jaap Boender \and Brian Campbell \and Dominic P. Mulligan \and Claudio Sacerdoti Coen}
44
45\institute{Jaap Boender \at
46              Faculty of Science and Technology\\
47                                                        Middlesex University\\
48                                                        London, United Kingdom\\
49              \email{J.Boender@mdx.ac.uk}
50           \and
51           Brian Campbell \at
52              second address
53           \and
54           Dominic P. Mulligan \at
55              this address
56           \and
57           Claudio Sacerdoti Coen \at
58              fourth address}
59
60\begin{document}
61
62\maketitle
63
64\begin{abstract}
65\keywords{Verified compilation \and Complexity analysis \and CerCo (`Certified Complexity')}
66\end{abstract}
67
68\section{Introduction}
69\label{sect.introduction}
70
71\begin{acknowledgements}
72\end{acknowledgements}
73
74%\bibliographystyle{spbasic}      % basic style, author-year citations
75\bibliography{cerco}   % name your BibTeX data base
76
77\end{document}
Note: See TracBrowser for help on using the repository browser.