BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Meeting on Testing and Verification for Computational Science  - M
 ultiple speakers
DTSTART:20160315T123000Z
DTEND:20160315T180000Z
UID:TALK64251@talks.cam.ac.uk
CONTACT:Dominic Orchard
DESCRIPTION:The need for more rigorous software verification in computatio
 nal\nscience is well known. Often the responsibility is placed on the\npro
 grammer\, but increased care and attention is not enough.  There is\na wea
 lth of research in computer science aimed at automating testing\nand verif
 ication\, yet little of this has crossed over into practice in\nthe scienc
 es.\n\nThis meeting will provide a forum to discuss recent work and new\ni
 deas\, and to foster links between researchers interested in the\nintersec
 tion of verification\, programming languages\, and computational\nscience.
  The meeting will last for afternoon at the Computer\nLaboratory\, Univers
 ity of Cambridge\, followed by dinner at Queens'\nCollege.\n\n*Full schedu
 le of talks "here":http://www.cl.cam.ac.uk/~dao29/meeting-tvcs*.\n\n*The m
 eeting is aimed at both computer scientists and natural\nscientists employ
 ing computational techniques.*\n\nWe are thrilled to have Sylvie Boldo fro
 m Inria giving the keynote\,\n"From mathematics to programs: a verificatio
 n journey". \n\n*Please register by e-mailing Dominic Orchard. \nMore deta
 ils about how to register and submit a talk proposal here:\nhttp://www.cl.
 cam.ac.uk/~dao29/meeting-tvcs*\n
LOCATION:FW26
END:VEVENT
END:VCALENDAR