The seminars are usually on Wednesdays from 12pm to 1pm, Merchant Venturers Building 0.3. For other CS-related seminars organised by research groups see here.
May – Alberto Bernacchia (MediaTek/University of Cambridge)
22 Jan – Francois Dupressoir (University of Bristol)
Machine-Checked Proofs for Cryptographic Standards
Dec – Oussama Metala (University of Bristol)