Date: Friday 10th March 2017
Venue:
Great Central
Holiday Inn Royal Victoria Hotel
Station Road
Sheffield S4 7YE
Programme:
presentation slides are available by clicking the presenter’s links below:
|
TIME |
TOPIC | SPEAKER |
|
9:30 |
Arrivals & Refreshments |
|
|
10.25 |
Welcome |
Sandor Veres |
| 10.30 |
The role of BSI in standards for sensing and control |
Stephen Cameron |
| 10.50 |
Reasoning about physical systems in Isabelle/UTP |
Frank Zeyda |
| 11.10 |
The role of testing in verification and certification |
|
| 11.30 |
Safety and productivity needs of robotic assistants in industry |
Peter Osborne |
|
11:50 |
Certification of autonomous UAS |
Owen McAree |
|
12:10 |
From world modelling and actions to logical inference |
Sandor Veres |
|
12:30 |
Lunch |
|
| 13:30 |
State of the art and V&V Network activities |
|
| 13:40 |
Verified behaviour for long-term robot autonomy |
Nick Hawes |
| 14:00 |
Validation of planning domain models |
Lee McCluskey |
| 14:20 |
Learning and predicting how humans will move |
|
|
14:40 |
Verification of agent decision making |
Michael Fisher |
|
15:00 |
Tea/Coffee Break |
|
|
15:20 |
Ensuring safety standards in field robotics |
|
|
15:40 |
Verification in continuous time: recent advances |
Honyang QU |
|
16:00 |
Considering time in discrete control |
Nir Piterman |
|
16:20 |
Open floor discussion |
|
|
16:45 |
Close |
