Tentative Programme (June 7-8, 2012)
Date: Wednesday June 6, 2012
12.30 - 13.30 Lunch and Introduction
13.30 - 15.00 Tutorial: Part I
15.00 - 15.15 Break
15.15 - 16.15 Tutorial: Part II
16.15 - 17.00 Discussions
17.00 - 20.00 Dinner
Date: Thursday June 7, 2012
09.00 - 10.30 First Thursday Session
- Cyber-Physical Implementation of Human-Inspired Control: Combining Model Reduction and Pseudo-Feedback on NAO, Ryan W. Sinnet, Matthew J. Powell, Ayonga Hereid, Wenlong Ma and Aaron D. Ames
- Multi-domain modelling and hardware generation with UniTi-CλaSH, Kenneth Rovers, Christiaan Baaij and Jan Kuper
10.30 - 11.00 Coffee Break
11.00 - 12.30 Second Thursday Session
- A trustworthy parametric IVP solver in Scala, Jan Duracz and Veronica Gaspes
- Solving ODE IVPs with uncertain initial conditions, Michal Konecny
12.30 - 13.30 Lunch
13.30 - 20.00 Excursions
Date: Friday June 8, 2012
09.30 - 12.00 Working Meeting
Breaking into different groups; Short, impromptu presentations will also be encouraged.
12.00 - 13.00 Lunch
13.00 - 14.30 Working Meeting
14.30 - 15.00 Coffee break
15.00 - 16.30 Planning and coordination meetings for future activities.
