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.

Verifying spatial properties of stencil computations

UserMistral Contrastin.

HouseFW26.

ClockTuesday 21 March 2017, 17:05-17:30

Verification of Fortran Codes

UserWadud Miah.

HouseFW26.

ClockTuesday 21 March 2017, 16:40-17:05

Pathological behaviours of single progenitor model defy inference techniques

UserBen Hall (University of Cambridge).

HouseFW26.

ClockTuesday 21 March 2017, 16:00-16:25

Sound and Automated Synthesis of Digital Controllers for Continuous Plants

UserAlessandro Abate.

HouseFW26.

ClockTuesday 21 March 2017, 15:35-16:00

How to do virtually everything with the Met Office Unified Model

UserLuke Abraham.

HouseFW26.

ClockTuesday 21 March 2017, 15:10-15:35

Fun with Floats: Symbolic execution of floating point programs

UserDan Liew.

HouseFW26.

ClockTuesday 21 March 2017, 14:30-14:55

Please see above for contact details for this list.

 

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