University of Cambridge > Talks.cam > SANDWICH Seminar (Computer Laboratory) > Toward a Coq formalisation of the Arm architecture

  Browse A-Z

Log in

Googledetails Microsoftdetails

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

Toward a Coq formalisation of the Arm architecture

Download to your calendar using vCal

If you have a question about this talk, please contact Ariadne Si Suo .

Are you using a smartphone? Do you want to know how it works? I don’t know either, but I’m still trying to teach Coq about it.

This talk is part of the SANDWICH Seminar (Computer Laboratory) series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Cambridge Risk and Uncertainty Series Runcie Room, Faculty of Divinity, Sidgwick Site, Cambridge Average on weekdays: 9038.03939394 kWh

Other talks

The Importance of Teaching about Science and Religion in a Time of Global Uncertainty Chemical strategies for biomolecule functionalisation, and biomaterial conjugation Welfare Reform and the Imperative of Cooperation Talk title TBC Online Causal Inference Seminar Alicia Anderson discussing some exciting news about HARPS3
 

Š 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity