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 »
Category: Archive
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 »
[Event Summary] Visit to the Museum of Computing, Swindon
We had a very successful visit to the Museum of Computing in Swindon, with 24 attendees, and everyone had a very enjoyable time. Jeremy Holt, the chairman, gave us some history of the Museum: t was the first physical Museum of its kind in the UK dedicated to the history of computing. This was followed… 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 »
