Today's first talk is about automata that test the behavior of other machines. Their key point is that, for independent machines, one needs independent automata so that their corresponding machines can remain truly decoupled. Then the speaker introduces some techniques by which to reconcile these independent automata to a shared verdict.