University of Cambridge > Talks.cam > Computer Laboratory Programming Research Group Seminar > Meeting on Testing and Verification for Computational Science

Meeting on Testing and Verification for Computational Science

Add to your list(s) Download to your calendar using vCal

  • UserMultiple speakers
  • ClockTuesday 15 March 2016, 12:30-18:00
  • HouseFW26.

If you have a question about this talk, please contact Dominic Orchard.

The need for more rigorous software verification in computational science is well known. Often the responsibility is placed on the programmer, 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 will provide 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 will last for afternoon at the Computer Laboratory, University of Cambridge, followed by dinner at Queens’ College.

Full schedule of talks here.

The meeting is aimed at both computer scientists and natural scientists employing computational techniques.

We are thrilled to have Sylvie Boldo from Inria giving the keynote, “From mathematics to programs: a verification journey”.

Please register by e-mailing Dominic Orchard. More details about how to register and submit a talk proposal here: http://www.cl.cam.ac.uk/~dao29/meeting-tvcs

This talk is part of the Computer Laboratory Programming Research Group Seminar series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

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