<!DOCTYPE html>
<html>
	<head>
		<title>Fallen Warsaw</title>
		<meta charset="utf-8"/>
		<link rel="stylesheet" href="../common.css"/>
		<link rel="stylesheet" href="style.css"/>
		<link rel="icon" href="down-small.jpg"/>
		<meta name="viewport" content="width=device-width">

	</head>
	<body class="has-main" style='background-image: url("library-wide-thin.webp"); background-repeat: no-repeat; background-size: 100%;'>
		<main style="padding-top: calc(7vw + (-1em));">
<result>
	<img src="keynote.jpg"/>
	<title>Like clockwork</title>
	<p>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.</p>
</result>

<a href="5h-rig9">Onwards</a>
		</main>
	</body>
</html>

