lads2's list


2026-04-21 14:00: Am I a Member? Auditing Private Machine Learning (Nicolas Papernot, University of Toronto)

2026-04-21 16:00: Making Waves in the Cloud: A Paradigm Shift for Scientific Computing through Compiler Technology (William Moses)

2026-04-24 14:00: Reachability Types, Traces, and Full Abstraction (Benedict Bunting (University of Cambridge))

2026-04-30 13:00: Content, Caching and Kubernetes: Performance and User Experience in the Browser (Laurents Marker - Software developer, National Centre for Atmospheric Science)

2026-04-30 17:00: Title to be confirmed (Floris van Doorn (University of Bonn))

2026-05-05 11:00: Why you can't trust your system software, and how you might (Prof Timothy Roscoe)

2026-05-14 13:00: EVERSE Research Software Quality Kit (Michael Sparks - Software Sustainability Institute)

2026-05-21 13:00: "Green" RSEs?  A new role (and a new community) to reduce the environmental impact of research (Kirsty Pringle - Software Sustainability Institute; EPCC, University of Edinburgh)

2026-05-28 17:00: Title to be confirmed (Thomas Powell (University of Bath))

2026-05-29 14:00: Title to be confirmed (Matteo Spadetto (University of Nottingham))