Quantcast
Last updated on April 23, 2014 at 17:02 EDT

Latest Fellows of the British Computer Society Stories

2009-11-16 08:21:00

LONDON, November 16 /PRNewswire/ -- Telnic Limited (http://telnic.tel), the Registry Operator for the communications-focused .tel top level domain (TLD) which launched earlier this year, today announced that it had been awarded an inaugural UK IT Industry Award. Telnic joined other award winners honoured by the BCS, the Chartered Institute for IT, and industry publication Computing, including Sir Tim Berners-Lee, who received the outstanding contribution to UK IT Award. Khashayar...

2009-05-22 06:00:00

Engler Recognized For Excellence in Software Quality Research SAN FRANCISCO, May 22 /PRNewswire/ -- Coverity, Inc., the software integrity company, today announced that company co-founder Dawson Engler was awarded the Grace Murray Hopper Award by the Association for Computing Machinery (ACM) for his groundbreaking research on automated program checking that finds defects in complex computer software. In naming Dr. Engler to this award, ACM noted that, "Dawson Engler introduces and develops...


Latest Fellows of the British Computer Society Reference Libraries

Formal Aspects of Computing
2012-04-25 18:46:59

Formal Aspects of Computing (FAC) is a peer-reviewed scientific journal published by Springer Science+Business Media. It covers the area of formal methods and associated topics in computer science. The journal is associated with BCS-FACS (The British Computer Society Formal Aspects of Computing Science Specialist Group). FAC's editors-in-chief are Jim Woodcock and Cliff Jones. The main goal of the journal is to promote growth of computing science, to show its relation to practice and to...

More Articles (1 articles) »