The general aim of the BOSC was to bring people up to date with what is happening in the open source community, which has representatives all over the world. Some of the talks were only five minutes long (Lightning Talks). These were a great idea as they gave many more people the opportunity to introduce a new area or update on an old one. However, their short length did mean that a certain lev...

B physics results from the Belle experiment are reviewed. Precise measurements of Cabbibo-Kobayashi-Maskawa matrix elements are made. Several decay modes are observed which will enable us to measure the CP angles, φ i in channels other than B 0 → ψK 0 modes. New rare decay modes are observed in many channels. Particular attention is paid to the first observation of the electroweak penguin-media...

Animation tools have proven to be effective as a means of visualising formal specijcations. Specijcations that might otherwise be impenetrable can be communicated to a wide range of people involved in the s o w a r e development p m cess. Here we argue that animation can also aid understanding of formal program development, or rejnement. We examine two case studies that demonstrate the effectiv...