Research Away Day

Computer Science, March 2nd 2016, Marriott Hotel

Schedule

12.15-12.55 Lunch, Marriott Restaurant
12.55-14.15 Session 1, Langland Room, Marriott
  • Arnold Beckmann, Welcome
  • Mark Jones, Time-Series Animal Movement Data
  • Xianghua Xie, Visual Learning for Medicine and Health
  • Arnold Beckmann, A few aspects of Bounded Arithmetic
  • Oliver Kullmann, Cube and Conquer: solving very hard problems -- and verifying the solution
14.15-14.40 Discussion with Tea and Coffee
14.40-16.00 Session 2, Langland Room, Marriott
  • Monika Seisenberger, Verification of the European Rail Traffic Management System
  • Harold Thimbleby, Grant applications
  • Research Discusssion
16.00-16.20 Roundup with Tea and Coffee