source: Deliverables/Dissemination/final-review/wp6-dissemination.tex @ 3300

Last change on this file since 3300 was 3300, checked in by mckinna, 7 years ago

updates

File size: 1.4 KB
Line 
1\documentclass[nopanel]{beamer}
2\usepackage{graphicx,color}
3\usepackage{amsfonts}
4\usepackage{listings}
5
6\long\def\comment#1{}
7
8\lstset{basicstyle=\footnotesize\tt,columns=flexible,breaklines=false,
9        keywordstyle=\color{red}\bfseries,
10        keywordstyle=[2]\color{blue},
11        commentstyle=\color{green},
12        stringstyle=\color{blue},
13        showspaces=false,showstringspaces=false}
14
15
16\setbeamertemplate{footline}[page number]
17\setbeamertemplate{sidebar right}{}
18
19\setbeamercolor{alerted text}{fg=red!70!orange}
20
21\newcommand{\red}[1]{\textcolor{red}{#1}}
22\newcommand{\blue}[1]{\textcolor{blue}{#1}}
23\newcommand{\green}[1]{\textcolor{green}{#1}}
24\newcommand{\grey}[1]{\textcolor{grey}{#1}}
25
26\addtolength{\parskip}{0.3em}
27
28\begin{document}
29
30\title{WP6: Dissemination and Exploitation\\[1\jot]
31}
32\author{Brian~Campbell, Ilias~Garnier, \underline{James~McKinna}, Ian~Stark}
33\institute{LFCS, University of Edinburgh\\[1ex]
34\includegraphics[width=.3\linewidth]{cerco_logo.eps}\\%%%{wp3/cerco_logo.png}\\%%%
35\footnotesize Project FP7-ICT-2009-C-243881
36}
37\date{CerCo review meeting\\16th May 2013}
38\maketitle
39
40\input{wp6-dissemination.ltx}
41
42\end{document}
43
44% LocalWords:  LFCS Matita CerCo intensional WCET toolchain CompCert Clight ASM
45% LocalWords:  reexecutes subtrace RTLabs subtraces Garnier McKinna cerco
46% LocalWords:  Axiomatization axiomatized Cminor goto
47
48%%% Local Variables:
49%%% mode: latex
50%%% TeX-master: t
51%%% End:
Note: See TracBrowser for help on using the repository browser.