|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 listsHughes Hall events Stem Cell Trinity Hall Natural Sciences Society
Other talksカバンもちから鞄持へ − マイ落語ライフ一席 Emission line mapping of galaxies at high resolution: optical radioastronomy TBC EASTER BREAK TBC Sustainability and health – what are the issues