[Event Summary] Timing is Everything

  17 May 2012 – Prof. Joel Ouaknine, University of Oxford Professor Ouaknine gave an extremely enjoyable talk on Automated Verification, and the theoretical underpinning of the subject. Although a highly technical area, the presentation covered a potentially difficult subject in a way which was accessible to non-specialists, and was appreciated by the large audience.… Read more »

Timing is everything

Professor Joël Ouaknine, University of Oxford Abstract: Our society is becoming increasingly reliant on computer systems; think of mobile phones, SatNav, the Internet, and so on. A modern car typically harbours tens to hundreds of microprocessors, themselves running several tens of million lines of code, controlling such critical components as fuel injection, airbags, and anti-lock… Read more »

Connecting a Smarter Planet

Andy Piper, IBM Hursley Lab Thursday 16th February 2012 – 7:30pm Oxford e-Research Centre, 6 Keble Road, Oxford, OX1 3QG Interconnectivity is one of the key aspects to enabling smarter working and a Smarter Planet. IBM’s Hursley Lab in the UK has been at the heart of inter-application and inter-device messaging for many years, and… Read more »

Cloud computing: a debate

Cloud Computing Debate – Thursday, 8th March at 7 for 7.30pm John Easton, Chief Technology Officer, IBM Systems and Technology Group Dr Sam De Silva, Partner, Manches LLP Tariq Razzaq, Technical Architect, RM Education Chaired by Tim Lambertstock, BCS Oxfordshire Branch   Cloud computing is a hot topic and here we will draw together the… Read more »