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

Last change on this file since 3291 was 3291, checked in by mckinna, 8 years ago

template beamer file, and notes for the talk
more later today!

File size: 1.3 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}\\
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
Note: See TracBrowser for help on using the repository browser.