Vassilis and I will have two 30mn torture chambers back to back on Friday at 2pm in room 366. We'll present our upcoming POPL talks: Modular Set-Based Analysis from Contracts Philippe Meunier, Robert Bruce Findler, and Matthias Felleisen Small Bisimulations for Reasoning About Higher-Order Imperative Programs Vasileios Koutavas and Mitchell Wand Thanks, Philippe