|COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring.|
21st March 2017, from 1:15 to 5:50 pm, in FW26
The need for more rigorous software verification in computational science is well known. Often the responsibility is placed on the scientist, but increased care and attention is not enough. There is a wealth of research in computer science aimed at automating testing and verification, yet little of this has crossed over into practice in the sciences.
This meeting provides a forum to discuss recent work and new ideas, and to foster links between researchers interested in the intersection of verification, programming languages, and computational science. The meeting is aimed at both computer scientists and natural/physical scientists employing computational techniques.
If you have a question about this list, please contact: Matthew Danish. If you have a question about a specific talk, click on that talk to find its organiser.
0 upcoming talks and 7 talks in the archive.
Please see above for contact details for this list.
Other listsOrganization Theory Seminar Series 80,000 Hours: Cambridge Stem Cell
Other talksDisease Migration Book Launch: From Tongue To Text Decompositions of hyperbolic groups Nelson Mandela: Romantic Hero, Tragic Hero Returning Mandela to Black History - Co-hosted with the Critical Theory and Practice Series The Whigs and Jacobins of Africa: Traditional Authorities across Francophone and Anglophone Sub- Saharan Africa and the Different Conceptions of Political Order Excavating the archive: expectant heirs in the Chancery decree rolls, 1596-1640