University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > Bridging Formal Methods in Computer Science for Scientific Computing and Cognitive Science Modelling Tasks

  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

Bridging Formal Methods in Computer Science for Scientific Computing and Cognitive Science Modelling Tasks

Download to your calendar using vCal

If you have a question about this talk, please contact Mustapha Amrani .

Semantics and Syntax: A Legacy of Alan Turing

2012/03/06

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

Cluster Seminar Room, Cavendish Laboratory, JJ Thomson Avenue, CB3 0US Room S1, Alison Richard Building, 7 West Road, University of Cambridge, Cambridge CB3 9DT Physiology Lecture theatre (and on Zoom)

Other talks

César Milstein Lecture - Title TBC Morning Tea and Coffee Nature and law Coming soon Fairy Tales CodeScaler: Scaling Code LLM Training and Test-Time Inference via Execution-Free Reward Models
 

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