\documentclass[a4]{seminar}
\usepackage{advi}
\usepackage{advi-graphicx}
\usepackage{color}
\usepackage{amssymb}
%\usepackage[all]{xy}
\usepackage{alltt}
\usepackage{url}

\slideframe{none}
\definecolor{slideblue}{rgb}{0,0,.6}
\definecolor{slidegreen}{rgb}{0,.4,0}
\definecolor{slidered}{rgb}{1,0,0}
\definecolor{slidegray}{rgb}{.5,.5,.5}
\definecolor{slidedarkgray}{rgb}{.4,.4,.4}
\definecolor{slidelightgray}{rgb}{.8,.8,.8}
\definecolor{slideorange}{rgb}{1,.5,0}
\def\black#1{\textcolor{black}{#1}}
\def\white#1{\textcolor{white}{#1}}
\def\blue#1{\textcolor{slideblue}{#1}}
\def\green#1{\textcolor{slidegreen}{#1}}
\def\red#1{\textcolor{slidered}{#1}}
\def\gray#1{\textcolor{slidegray}{#1}}
\def\lightgray#1{\textcolor{slidelightgray}{#1}}
\def\darkgray#1{\textcolor{slidedarkgray}{#1}}
\def\orange#1{\textcolor{slideorange}{#1}}
\newpagestyle{fw}{}{\hss\vbox to 0pt{\vspace{0.25cm}\llap{\blue{\sf\thepage}\hspace{0.1cm}}\vss}\strut}
\newpagestyle{fw0}{}{}
\slidepagestyle{fw}
\newcommand{\sectiontitle}[1]{\centerline{\textcolor{slideblue}{\textbf{#1}}}
\par\medskip}
\newcommand{\slidetitle}[1]{{\textcolor{slideblue}{\strut #1}}\par
\vspace{-1.2em}{\color{slideblue}\rule{\linewidth}{0.04em}}}
\newcommand{\xslidetitle}[1]{{\textcolor{slidered}{\strut\textbf{#1}}}\par
\vspace{-1.2em}{\color{white}\rule{\linewidth}{0.04em}}}
\newcommand{\quadskip}{{\tiny\strut}\quad}
\newcommand{\dashskip}{{\tiny\strut}\enskip{ }}
\newcommand{\enskipp}{{\tiny\strut}\enskip}
\newcommand{\exclspace}{\hspace{.8pt}}
\newcommand{\notion}[1]{$\langle$#1$\rangle$}
\newcommand{\xnotion}[1]{#1}
\newcommand{\toolong}{$\hspace{-20em}$}

\begin{document}\sf
\renewcommand{\sliderightmargin}{0mm}
\renewcommand{\slideleftmargin}{20mm}
\renewcommand{\slidebottommargin}{6mm}

\setcounter{slide}{-1}
\begin{slide}
\slidetitle{\Large\strut trust}

\red{Freek Wiedijk} \\
Radboud University Nijmegen
\smallskip

\green{3SWeb project meeting} \\
MLstate, Paris \\
{\small 2009\hspace{3pt}10\hspace{3pt}19}

\end{slide}

\begin{slide}
\vbox to 0pt{
\vspace{-1.5em}
\begin{center}
\setlength{\unitlength}{.7pt}
\sf
\footnotesize
\begin{picture}(330,340)(-20,-55)
\thicklines
\put(100,35){\white{\advirecord{a1}{\framebox(100,45){}}}\adviplay{a1}}
\adviwait
\thinlines
\put(198,83){\makebox(0,0)[rb]{\strut\textsl{binary}}}
\adviwait
\put(-10,80){\red{\advirecord{a2}{\framebox(100,40){\strut compiler}}}\adviplay{a2}}
\put(150,120){\red{\advirecord{a3}{\vector(0,-1){40}}}\adviplay{a3}}
\put(90,100){\red{\advirecord{a4}{\line(1,0){60}}}\adviplay{a4}}
\put(248,119){\makebox(0,0)[rt]{\strut\textsl{source}}}
\put(100,120){\red{\advirecord{a16}{\framebox(150,60){}}}\adviplay{a16}}
\adviwait
\put(170,130){\framebox(70,40){\strut algorithm}}
\put(105,130){\red{\advirecord{a17}{\makebox(60,40){\strut interface}}}\adviplay{a17}}
\adviwait
\put(160,210){\framebox(90,40){\strut formalization}}
\put(-10,172){\white{\advirecord{a5a}{\framebox(100,40){\strut {VC} generation}}}}
\put(205,170){\white{\advirecord{a6a}{\vector(0,1){40}}}}
\put(-10,172){\red{\advirecord{a5}{\framebox(100,40){\strut extraction}}}\adviplay{a5}}
\put(205,210){\red{\advirecord{a6}{\vector(0,-1){40}}}\adviplay{a6}}
\put(90,192){\red{\advirecord{a7}{\line(1,0){115}}}\adviplay{a7}}
\adviwait
\put(-10,240){\red{\advirecord{a8}{\framebox(100,40){\strut proof assistant}}}\adviplay{a8}}
\put(40,240){\red{\advirecord{a9}{\line(0,-1){10}}}\adviplay{a9}}
\put(40,230){\red{\advirecord{a10}{\line(1,0){120}}}\adviplay{a10}}
\adviwait
\put(205,25){\red{\advirecord{a11}{\framebox(80,40){\strut runtime}}}\adviplay{a11}}
\adviwait
\put(50,-65){\red{\advirecord{a12}{\framebox(240,40){\strut processor}}}\adviplay{a12}}
\put(-15,-65){\red{\advirecord{a13}{\framebox(60,40){\strut disk}}}\adviplay{a13}}
\put(75,-20){\red{\advirecord{a14}{\framebox(230,40){\strut operating system}}}\adviplay{a14}}
\put(-10,-10){\red{\advirecord{a15}{\framebox(80,40){\strut file system}}}\adviplay{a15}}
\adviwait
\adviplay[white]{a1}
\put(100,35){\framebox(100,45){}}
\thicklines
\put(145,45){\green{\framebox(45,25){}}}
\adviwait
\adviplay[slidered]{a2}
\adviplay[slidered]{a3}
\adviplay[slidered]{a4}
\adviplay[slidered]{a5}
\adviplay[slidered]{a6}
\adviplay[slidered]{a7}
\adviplay[slidered]{a8}
\adviplay[slidered]{a9}
\adviplay[slidered]{a10}
\adviplay[slidered]{a11}
\adviplay[slidered]{a12}
\adviplay[slidered]{a13}
\adviplay[slidered]{a14}
\adviplay[slidered]{a15}
\adviplay[slidered]{a16}
\adviplay[slidered]{a17}
\adviwait
\adviplay[white]{a5}
\adviplay[white]{a6}
\adviplay[slidered]{a5a}
\adviplay[slidered]{a6a}
\adviwait
\adviplay[white]{a5a}
\adviplay[white]{a6a}
\adviplay[slidered]{a5}
\adviplay[slidered]{a6}
\adviwait
\adviplay[slideblue]{a2}
\adviplay[slideblue]{a3}
\adviplay[slideblue]{a4}
\adviwait
\adviplay[slideblue]{a14}
\adviwait
\adviplay[slideblue]{a12}
\adviwait
\adviplay[slideblue]{a8}
\adviplay[slideblue]{a9}
\adviplay[slideblue]{a10}
\adviwait
\adviplay[slideblue]{a11}
\adviwait
\adviplay[slidered]{a2}
\adviplay[slidered]{a3}
\adviplay[slidered]{a4}
\adviplay[slidered]{a14}
\adviplay[slidered]{a12}
\adviplay[slidered]{a8}
\adviplay[slidered]{a9}
\adviplay[slidered]{a10}
\adviplay[slidered]{a11}
\end{picture}
\end{center}
\vss
}

\vfill
\end{slide}

\end{document}
