Exeter Meeting : Safety Critical Systems

Home    Venue    Agenda   

Agenda

Day 1 : Wednesday 4th June 2003 : Themed Papers

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).

Day 2 : Thursday 5th June 2003 : General Papers

Time Session Supervisor
09:30 Active Selection Algorithms Colin Campbell (University of Bristol)
10:30 Coffee
11:00 Audio Source Separation and ICA Mike Davies (Queen Mary College, University of London)
11:45 Ancient Wisdom, Modern Solutions (Themed Paper) Ali Hessami (Atkins Global, UK)
12:30 Lunch
13:45 Neuromorphic Engineering Natasha Chia (University of Oxford)
14:30 Beyond Independent Component Analysis: Hierarchical Models Rizwan Choudrey (University of Oxford)
15:15 Tea and Close of Meeting