![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Nicolas Papernot, University of Toronto.
Tuesday 21 April 2026, 14:00-15:00
lads2's list
A personal list of talks.
Contact: LÊo Stefanesco
9 upcoming talks View 1724 archived talks
Computer Laboratory Security Seminar
Am I a Member? Auditing Private Machine Learning
Computer Laboratory Computer Architecture Group Meeting
Making Waves in the Cloud: A Paradigm Shift for Scientific Computing through Compiler Technology
Logic and Semantics Seminar (Computer Laboratory)
Reachability Types, Traces, and Full Abstraction
Formalisation of mathematics with interactive theorem provers
Title to be confirmed
RSE Seminars
EVERSE Research Software Quality Kit
RSE Seminars
"Green" RSEs? A new role (and a new community) to reduce the environmental impact of research
Formalisation of mathematics with interactive theorem provers
Title to be confirmed
Logic and Semantics Seminar (Computer Laboratory)
Title to be confirmed
Please see above for contact details for this list.