ACM to Publish BCS, The Chartered Institute for IT s Formal Aspects of Computing Journal hpcwire.com - get the latest breaking news, showbiz & celebrity photos, sport news & rumours, viral videos and top stories from hpcwire.com Daily Mail and Mail on Sunday newspapers.