1.1 Binary file slides/final/slides.pdf has changed

     2.1 Binary file slides/images/att.jpg has changed

     3.1 Binary file slides/images/fujitsu.jpg has changed

     4.1 Binary file slides/images/hp.jpg has changed

     5.1 Binary file slides/images/ibm.jpg has changed

     6.1 Binary file slides/images/intel2.jpg has changed

     7.1 Binary file slides/images/motorola.jpg has changed

     8.1 Binary file slides/images/nec.jpg has changed

     9.1 Binary file slides/images/sgi.jpg has changed

    10.1 Binary file slides/images/siemens.jpg has changed

    11.1 Binary file slides/images/sun.jpg has changed

    12.1 --- a/slides/src/slides.tex	Fri Jul 22 23:11:53 2011 +0200
    12.2 +++ b/slides/src/slides.tex	Fri Jul 22 23:39:42 2011 +0200
    12.3 @@ -46,6 +46,7 @@
    12.4  \newtheorem*{def:general automata}{Generalised automaton}
    12.5  \newtheorem*{def:general acceptance}{Acceptance}
    12.6  \newtheorem*{def:syntax}{Syntax}
    12.7 +\newtheorem*{def:derived syntax}{Derived connectives}
    12.8  \newtheorem*{def:program}{Program}
    12.9  \newtheorem*{def:program automaton}{System automaton}
   12.10  
   12.11 @@ -118,7 +119,16 @@
   12.12  \subfigure{\includegraphics[width=70pt,height=50pt]{images/atc.jpg}}
   12.13  }
   12.14  \only<2>{
   12.15 -\subfigure{\includegraphics[width=20pt,height=10pt]{images/intel2.jpg}}
   12.16 +\subfigure{\includegraphics[width=35pt,height=20pt]{images/sun.jpg}}
   12.17 +\subfigure{\includegraphics[width=20pt,height=20pt]{images/hp.jpg}}
   12.18 +\subfigure{\includegraphics[width=40pt,height=20pt]{images/siemens.jpg}}
   12.19 +\subfigure{\includegraphics[width=15pt,height=20pt]{images/att.jpg}}
   12.20 +%\subfigure{\includegraphics[width=20pt,height=20pt]{images/motorola.jpg}}
   12.21 +\subfigure{\includegraphics[width=20pt,height=20pt]{images/sgi.jpg}}
   12.22 +\subfigure{\includegraphics[width=25pt,height=20pt]{images/fujitsu.jpg}}
   12.23 +\subfigure{\includegraphics[width=20pt,height=18pt]{images/nec.jpg}}
   12.24 +\subfigure{\includegraphics[width=20pt,height=20pt]{images/intel2.jpg}}
   12.25 +\subfigure{\includegraphics[width=25pt,height=20pt]{images/ibm.jpg}}
   12.26  }
   12.27  \end{figure}
   12.28  \end{frame}
   12.29 @@ -166,6 +176,23 @@
   12.30  \item $\U$ reads \emph{until}.
   12.31  \end{itemize}
   12.32  \end{def:syntax}
   12.33 +
   12.34 +\visible<2>{
   12.35 +\begin{def:derived syntax}
   12.36 +Let $\varphi$ and $\psi$ be formulae:
   12.37 +\begin{multicols}{2}
   12.38 +\begin{itemize}
   12.39 +\item $\top \equiv p \lor \neg p$ for $p \in \Prop$
   12.40 +\item $\bot \equiv \neg \top$
   12.41 +\item $\varphi \land \psi \equiv \neg (\neg \varphi \lor \neg \psi)$
   12.42 +\item $\varphi \rightarrow \psi \equiv \neg \varphi \lor \psi$
   12.43 +\item $\varphi \leftrightarrow \psi \equiv (\varphi \rightarrow \psi) \land (\psi \rightarrow \varphi)$
   12.44 +\item $\Diamond \varphi \equiv \top \U \varphi$
   12.45 +\item $\Box \varphi \equiv \neg \Diamond \neg \varphi$
   12.46 +\end{itemize}
   12.47 +\end{multicols}
   12.48 +\end{def:derived syntax}
   12.49 +}
   12.50  \end{frame}
   12.51  
   12.52  \begin{frame}
   12.53 @@ -527,7 +554,7 @@
   12.54  $\Downarrow$\\
   12.55  Automaton $\A_\varphi$ for $\varphi$\\
   12.56  \vspace{20pt}
   12.57 -\visible<2>{\textcolor{red}{On-the-fly methods} \`a la Gerth et al.}
   12.58 +\visible<2>{\textcolor{red}{On-the-fly method} \`a la Gerth et al.}
   12.59  \end{center}
   12.60  \end{frame}
   12.61