University of Cambridge > Talks.cam > Testing & Verification For Computational Science

Testing & Verification For Computational Science

Add to your list(s) Send you e-mail reminders Further detail
Subscribe using ical/vcal (Help)

https://camfort.github.io/tvcs2017/

21st March 2017, from 1:15 to 5:50 pm, in FW26

Description:

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.

Tell a friend about this list:

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.

 

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