University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > Reasoning above ISA specifications, for arbitrary and known code

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

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

ℹī¸ Information

Reasoning above ISA specifications, for arbitrary and known code

Download to your calendar using vCal

  • UserAngus Hammond (University of Cambridge), Thomas Bauereiss (University of Cambridge), Brian Campbell (University of Edinburgh)
  • ClockTuesday 08 October 2024, 14:00-14:45
  • HouseSeminar Room 1, Newton Institute.

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 lists

SG1 & SG2, Alison Richard Building, 7 West Rd, Cambridge CB3 9DT In person in the Max Perutz Lecture Theatre (CB2 0QH) and via Zoom, link: https://mrc-lmb-cam-ac-uk.zoom.us/j/93130142776?pwd=dEhGKzFGTkw2RGI1enhVSGg0Vm1VZz09 Room tba

Other talks

The elephant in the room: Machine Learning directly into physical models Cooperation for Nature Whether and when: Split-population cure models of women's work and parity progression in Derbyshire, 1881-1911 Online Causal Inference Seminar Machine Politics? Computers and AI in the History of Political Thought BSU Seminar: "Response Adaptivity Across Clinical Trials In Portfolios of Biomedical Innovations"
 

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