2019/2020 CS Seminars

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


 

Leave a Reply

Your email address will not be published. Required fields are marked *