糖心TV

Skip to main content Skip to navigation

Data Science Events

Wednesday, July 18, 2018

Tue, Jul 17 Today Thu, Jul 19 Jump to any date

How do I use this calendar?

You can click on an event to display further information about it.

The toolbar above the calendar has buttons to view different events. Use the left and right arrow icons to view events in the past and future. The button inbetween returns you to today's view. The button to the right of this shows a mini-calendar to let you quickly jump to any date.

The dropdown box on the right allows you to see a different view of the calendar, such as an agenda or a termly view.

If this calendar has tags, you can use the labelled checkboxes at the top of the page to select just the tags you wish to view, and then click "Show selected". The calendar will be redisplayed with just the events related to these tags, making it easier to find what you're looking for.

 
-
Export as iCalendar
Dominic Orchard, University of Kent
CS 1.01

Save our Science: Experiences in lightweight verification for computational science and what you can do to help

Dominic Orchard, University of Kent

Abstract:

Programming now plays a key role in science, with many models now
expressed as large, complex pieces of software. This complexity
(sometimes inherent, sometimes accidental) presents a challenge for
science as the impact of programming errors can be significant. Whilst
there has been significant progress in program verification over the
last two decades, little of this is used (or usable) by scientists. In
this talk, I'll discuss the challenges and opportunities in this
domain. I'll discuss experiences from the last five years of the
CamFort project on developing lightweight verification techniques for
science. The talk will include some demonstrations of our tool in
action and advice on how you can get involved to help.

Placeholder

Let us know you agree to cookies