Meeting on Testing and Verification for Computational Science

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

• Multiple speakers
• Tuesday 15 March 2016, 12:30-18:00
• FW26.

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.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Cambridge talks
• Computer Laboratory Programming Research Group Seminar
• Department of Computer Science and Technology talks and seminars
• FW26
• Interested Talks
• School of Technology
• Trust & Technology Initiative - interesting events
• bld31

Note that ex-directory lists are not shown.