Hi all - There will be no seminar tomorrow. Do please instead attend Andres Erbsen's hiring talk on Proof-driven Development of Production-quality Cryptographic Software, at 10:30 in WVH 366.