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)
TBA
18 Mar – Edward Johns (Imperial College London)
TBA
TBA – Sabine Hauert (University of Bristol)
TBA
29 Jan – Chloe Martindale (University of Bristol)
TBA
22 Jan – Francois Dupressoir (University of Bristol)
Machine-Checked Proofs for Cryptographic Standards
Dec – Oussama Metala (University of Bristol)
TBA