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

\slideframe{none}
\definecolor{slideblue}{rgb}{0,0,.5}
\definecolor{slidegreen}{rgb}{0,.5,0}
\definecolor{slidered}{rgb}{1,0,0}
\definecolor{slidegray}{rgb}{.5,.5,.5}
\definecolor{slidelightgray}{rgb}{.8,.92,.8}
\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}}
\newpagestyle{fw}{}{\hfil\textcolor{slideblue}{\sf\thepage}\qquad\qquad}
\slidepagestyle{fw}
\newcommand{\sectiontitle}[1]{\centerline{\textcolor{slideblue}{\textbf{#1}}}
\par\medskip}
\newcommand{\slidetitle}[1]{{\textcolor{slideblue}{\strut\large #1}}\par
\vspace{-1.2em}{\color{slideblue}\rule{\linewidth}{0.04em}}}
\newcommand{\quadskip}{{\tiny\strut}\quad}
\newcommand{\dashskip}{{\tiny\strut}\enskip{ }}
\newcommand{\enskipp}{{\tiny\strut}\enskip}
\newcommand{\exclspace}{\hspace{.45pt}}
\newcommand{\notion}[1]{$\langle$#1$\rangle$}
\newcommand{\xnotion}[1]{#1}
\newcommand{\toolong}{$\hspace{-3em}$}

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

\setcounter{slide}{-1}
\begin{slide}
\slidetitle{\Large onderzoek, onderwijs, organisatie}

\green{Freek Wiedijk} \\
sollicitatie \green{Universitair Docent bij Grondslagen} \\
Radboud Universiteit Nijmegen \\
2004 12 06, 15:00
\end{slide}

\begin{slide}
\sectiontitle{intro}
\slidetitle{universiteit}
\textbf{producten}
\begin{itemize}
\item[$\bullet$]
\strut\rlap{\red{onderzoek}}\phantom{onderzoeksorganisaties}\qquad wetenschap
\item[$\bullet$]
\strut\rlap{\red{onderwijs}}\phantom{onderzoeksorganisaties}\qquad afgestudeerde studenten
\end{itemize}
\adviwait

\textbf{klanten}
\begin{itemize}
\item[$\bullet$]
\strut\rlap{\green{overheid}}\phantom{onderzoeksorganisaties}\qquad $\to$ \red{onderzoek}, \red{onderwijs}
\adviwait
\item[$\bullet$]
\green{onderzoeksorganisaties}\qquad $\to$ \red{onderzoek}
\adviwait
\item[$\bullet$]
\strut\rlap{\green{bedrijven}}\phantom{onderzoeksorganisaties}\qquad $\to$ \red{onderzoek}, \red{onderwijs}
\adviwait
\item[$\bullet$]
\strut\rlap{\green{studenten}}\phantom{onderzoeksorganisaties}\qquad $\to$ \red{onderwijs}
\end{itemize}

\vfill
\end{slide}

\begin{slide}
\slidetitle{toepassingen computers}
\begin{itemize}
\item[$\bullet$]
\textbf{databases}
\begin{itemize}
\item[]
bedrijfsleven
\end{itemize}
\adviwait

\item[$\bullet$]
\textbf{communicatie}
\begin{itemize}
\item[]
word processing
\item[]
e-mail
\item[]
web
\item[]
multimedia
\end{itemize}
\adviwait

\item[$\bullet$]
\textbf{scientific}
\begin{itemize}
\item[]
informatica in andere wetenschappen
\item[]
simulatie \& visualisatie
\end{itemize}
\adviwait

\item[$\bullet$]
\textbf{embedded systems}

\end{itemize}
\vspace{-11pt}
\vfill
\end{slide}

\begin{slide}
\slidetitle{technologie\"en}
\begin{itemize}
\item[$\bullet$]
\textbf{architectuur}
\begin{itemize}
\item[]
hardware
\end{itemize}

\item[$\bullet$]
\textbf{infrastructuur}
\begin{itemize}
\item[]
operating systems
\item[]
netwerken
\end{itemize}

\item[$\bullet$]
\textbf{programmatuur}
\begin{itemize}
\item[]
compiler technologie
\item[]
algoritmiek
\end{itemize}

\end{itemize}

\vfill
\end{slide}

\begin{slide}
\sectiontitle{onderzoek}
\slidetitle{doelstellingen}
\vspace{0pt}

\begin{center}
\red{\large `publish or perish'}
\end{center}
\bigskip
\adviwait

\begin{center}
\red{\large `demo or die'}
\end{center}

\vfill
\end{slide}

\begin{slide}
\slidetitle{formal methods}
\red{lijkt zeer theoretisch}
\bigskip
\adviwait

\begin{quote}
\green{
{\dots} Systems people are strongly encouraged to apply.  Theorists need not
bother: The European Common Market already has a glut of butter, milk,
wine, and theorems.
}
\end{quote}
\rightline{\green{-- Andy Tanenbaum}} %(\url{ast@cs.vu.nl})}
\bigskip
\adviwait

maar: \red{belangrijke voedingsbodem}
\begin{itemize}
\item[]
microsoft's wormen
\adviwait
\item[]
formal methods \\ $\to$ abstracte \textbf{attitude} ten aanzien van software \adviwait\\ $\to$ \textbf{essentieel} voor betere software
\end{itemize}

\vfill
\end{slide}

\begin{slide}
\slidetitle{formalisatie van wiskunde}
\vspace{0pt}

\begin{center}
\blue{`toegepaste informatica in de wiskunde'?}
\end{center}
\bigskip
\bigskip
\adviwait

maar: \green{verificatie van algoritmes, protocollen, etc.} \\
$\to$ \red{geformaliseerde wiskunde nodig!}
\bigskip
\bigskip
\adviwait

ook:
\begin{center}
\green{verifieer een brug!}
\end{center}

\vfill
\end{slide}

\begin{slide}
\sectiontitle{onderwijs}
\slidetitle{krachtenveld}

$$
\xymatrix{
\txt{\green{wetenschap}} && \txt{\green{maatschappij}} \\
& \txt{\textbf{informatica} \\ \textbf{onderwijs}}\ar[ul]\ar[ur]\ar[dd] & \\
&& \\
& \txt{\green{studenten}} &
}
$$

\vfill
\end{slide}

\begin{slide}
\slidetitle{voorbeelden}
\begin{itemize}
\item[$\bullet$]
\textbf{wetenschap}
\begin{itemize}
\item[]
\red{quantum computing}
\end{itemize}
\medskip
\adviwait

\item[$\bullet$]
\textbf{maatschappij}
\begin{itemize}
\item[]
\red{cobol} \\
\adviwait
\red{\small J2EE}, \red{.net}
\end{itemize}
\medskip
\adviwait

\item[$\bullet$]
\textbf{studenten}
\begin{itemize}
\item[]
\red{game programming}
\end{itemize}

\end{itemize}

\vfill
\end{slide}

\begin{slide}
\slidetitle{onderwijspraktijk}
twee categorie\"en
\begin{itemize}
\item[$\bullet$]
\green{standaard informaticavakken}
\item[$\bullet$]
\green{locale onderzoeksonderwerpen}
\end{itemize}
\bigskip
\adviwait

maar: \blue{belangrijk}
\begin{itemize}
\item[$\bullet$]
\red{kijken naar wat maatschappij nodig heeft}
\item[$\bullet$]
\red{kijken naar wat studenten motiveert}
\end{itemize}

\vfill
\end{slide}

\begin{slide}
\slidetitle{onderwijs `Grondslagen'}
\begin{itemize}
\item[$\bullet$]
\textbf{standaard informaticavakken}
\begin{itemize}
\item[]
complexiteitstheorie 
\item[]
formele talen \& berekenbaarheid
\item[]
logica
\item[]
wiskunde voor informatici
\end{itemize}
\adviwait

\item[$\bullet$]
\textbf{locale onderzoeksonderwerpen}
\begin{itemize}
\item[]
type-theorie
\item[]
bewijsassistenten
\adviwait
\item[]
\red{programmaverificatie}
\item[]
\red{model checking}
\adviwait
\item[]
\red{{implementatie-technieken} voor formal methods}
\end{itemize}

\end{itemize}

\vspace{-5pt}
\vfill
\end{slide}

\begin{slide}
\slidetitle{interactievormen}
\begin{itemize}
\item[$\bullet$]
\red{$1$ docent $\longrightarrow$ $n$ studenten}
\begin{itemize}
\item[]
college
\begin{itemize}
\item[]
\green{slides}
\item[]
\green{schoolbord}
\item[]
\green{interactieve demo}
\end{itemize}
\end{itemize}

\item[$\bullet$]
\red{$1$ docent $\longrightarrow$ $1$ student}
\begin{itemize}
\item[]
scriptiebegeleiding
\end{itemize}

\item[$\bullet$]
\red{$1$ student $\longrightarrow$ $n$ studenten}
\begin{itemize}
\item[]
werkgroep
\end{itemize}

\item[$\bullet$]
\red{$1$ student zelfwerkzaam}
\begin{itemize}
\item[]
practicum
\end{itemize}

\item[$\bullet$]
\red{$n$ studenten zelfwerkzaam in groepsverband}

\end{itemize}

\vspace{-21pt}
\vfill
\end{slide}

\begin{slide}
\slidetitle{ervaringen}
\vspace{0pt}

\begin{center}
{\large
waar ben ik \red{goed} in?
}
\end{center}
\bigskip

\begin{center}
{\large
wat doe ik \red{graag}?
}
\end{center}
\bigskip

\begin{center}
{\large
met welke onderwijsvormen ben ik \red{vertrouwd}?
}
\end{center}
\bigskip

\begin{center}
{\large
wat zou ik nog \red{willen} leren?
}
\end{center}

\vfill
\end{slide}

\begin{slide}
\sectiontitle{organisatie}
\slidetitle{projecten}
\begin{itemize}
\item[]
\begin{itemize}
\item[]
nationale projecten
\begin{itemize}
\item[]
\green{NWO}
\end{itemize}

\item[]
internationale projecten, samenwerkingsgemeenschappen
\begin{itemize}
\item[]
\green{EC}
\item[]
{internationale contacten}
\end{itemize}

\end{itemize}
\end{itemize}
\bigskip
\adviwait

\textbf{onderwerpskeuze}
\begin{itemize}
\item[$\bullet$]
\red{relevantie}
\item[$\bullet$]
\red{expertise}
\end{itemize}

\vfill
\end{slide}

\begin{slide}
\slidetitle{faculteit}
\vspace{-\medskipamount}\vspace{-\smallskipamount}

\begin{itemize}
\large
\item[$\bullet$]
\red{samenwerking} tussen vakgroepen
\bigskip

\item[$\bullet$]
gezicht naar de \red{buitenwereld}

\end{itemize}

\vfill
\end{slide}

\begin{slide}
\sectiontitle{conclusie}
\slidetitle{scoren}
\vspace{-\medskipamount}\vspace{-\smallskipamount}

\begin{itemize}
\large
\item[$\bullet$]
\red{maatschappelijke relevantie}
\bigskip

\item[$\bullet$]
\green{\url{cs.ru.nl}} moet een centrum in nederland zijn

\end{itemize}

\vfill
\end{slide}

\end{document}
