| Time |
Session |
Supervisor |
| 08:45 |
Registration and Coffee |
|
| 09:30 |
Bayesian RJMCMC Methods for Safety Critical Systems |
Jonathan Fieldsend (University of Exeter) |
| 11:00 |
Coffee |
|
| 11:30 |
Confidence in Neural Networks: Methodological Issues Arising from a Review of Safety-Related Applications |
Paulo Lisboa (Liverpool John Moores University) |
| 12:30 |
Lunch |
|
| 13:45 |
Developing Artificial Neural Networks for Safety Critical Applications |
Zeshan Kurd (University of York) |
| 14:30 |
Data Integrity: The use (and re-use) of data by safety related systems |
Alastair Faulkner (CSE Limited & University of Warwick) |
| 15:15 |
Tea |
|
| 15:45 |
Forecasting Values of Commercial and Residential Property Using Non-Linear Mathematical and Statistical Techniques (General Paper) |
Mandy Bradley & Chris Satchwell (Technical Forecasts Limited) |
| 16:30 |
Solution to Puzzle Corner #23 |
|
| 16:45 |
Close of Day One |
|
| 17:45 |
Depart for Canoeing Canoe trip to the Double Locks Pub for dinner (taxis back). |
|