source: Deliverables/D1.1/Presentations/WP4-dominic-presentation.tex @ 614

Last change on this file since 614 was 614, checked in by sacerdot, 9 years ago

Template for the presentation.

File size: 713 bytes
Line 
1\documentclass{beamer}
2
3\usetheme{Frankfurt}
4\logo{\includegraphics[height=1.0cm]{fetopen.png}}
5
6\usepackage[english]{babel}
7\usepackage{inputenc}
8
9\author{Dominic P. Mulligan and Claudio Sacerdoti Coen}
10\title{CerCo Work Package 4}
11\date{March 11, 2011}
12
13\begin{document}
14
15\begin{frame}
16\maketitle
17\end{frame}
18
19\begin{frame}
20\frametitle{Work Package 4}
21\end{frame}
22
23\begin{frame}
24\frametitle{The MCS-51 microprocessor}
25\end{frame}
26
27\begin{frame}
28\frametitle{Development strategy}
29\end{frame}
30
31\begin{frame}
32\frametitle{Problems to be solved}
33\end{frame}
34
35\begin{frame}
36\frametitle{Polymorphic variants and phantom types}
37\end{frame}
38
39\begin{frame}
40\frametitle{Use of dependent types}
41\end{frame}
42
43\end{document}
Note: See TracBrowser for help on using the repository browser.