Research Celebration Day

Computer Science, July 12th 2019, Computational Foundry, Research Crucible


9.00-9.30 Breakfast
9.30-10.45 Session 1
  • 9.30 Phil James, Verifying railway interlockings - from models to mainline, a ten year journey, Impact case study
  • 9.55 Xiuyi Fan, Don't eat foul mushroom; be a girl
  • 10.20 Let's talk about grant opportunities
10.45-11.00 Break and cake
11.00-12.30 Session 2
  • 11.00 Robert Laramee, Visual Analysis of Spatio-temporal Relations of Pairwise Attributes in Unsteady Flow, IEEE TVCG
  • 11.30 Alan Dix, HARK No More: On the Preregistration of CHI Experiments, CHI 2018 Best Paper Award
  • 12.00 Mike Harrison, Big bleeds, integrated clinical environments and formal models (Guest Speaker, Newcastle)
12.30 Pizza and discussion