|![[Search]](http://talks.cam.ac.uk/images/search.gif?1209136071)
|![[A-Z Index]](http://talks.cam.ac.uk/images/az.gif?1209136071)
|![[Contact]](http://talks.cam.ac.uk/images/contact.gif?1209136071)
||![[University of Cambridge]](http://talks.cam.ac.uk/images/identifier2.gif?1209136071){kind=small} |
COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. | ![[Talks.cam]](http://talks.cam.ac.uk/images/talkslogosmall.gif?1209136071) |
Computer Lab, FW26
Add to your list(s)
Send you e-mail reminders
Further detail
If you have a question about this list, please contact: . If you have a question about a specific talk, click on that talk to find its organiser. 1 upcoming talk and 15 talks in the archive. Computer Laboratory Systems Research Group Seminar Automatically Formally Verified Hardware using Aristotle
Please see above for contact details for this list. |
Other listsseminars Sustainability Leadership LaboratoriesOther talksCANCELLED - Interesting Haworthias (with plants) Gaming at War: Military Aesthetics and Videogame Culture The wonderful world of rocks, minerals and fossils Vibration and Acoustics of Everyday Things Tailoring nonlinearity for advanced engineering design |
Satnam Singh, Software Engineer, Harmonic.
Thursday 26 February 2026, 14:00-15:00