|![[Search]](https://talks.cam.ac.uk/images/search.gif?1209136071)
|![[A-Z Index]](https://talks.cam.ac.uk/images/az.gif?1209136071)
|![[Contact]](https://talks.cam.ac.uk/images/contact.gif?1209136071)
||![[University of Cambridge]](https://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]](https://talks.cam.ac.uk/images/talkslogosmall.gif?1209136071) |
University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > Formally Specifying ABIs using Realistic Realizability
Formally Specifying ABIs using Realistic RealizabilityAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact nobody. BSPW01 - Big Specification: Specification, Proof, and Testing at Scale This talk is part of the Isaac Newton Institute Seminar Series series. This talk is included in these lists:
Note that ex-directory lists are not shown. |
Other listsConfirm List Here FERSA Workshops HomeOther talksAsymmetric graphs with quantum symmetry Group Work On the degree of regular quantum graphs Melting Scrap Metal in an Induction Furnace Absolutely dilatable module maps Afternoon Tea and posters |
Amal Ahmed (Northeastern University)
Wednesday 09 October 2024, 11:30-12:15