Transmission, Gregory Chaitin also presents this theorem in J. ACM – Chaitin's paper was submitted October 1966 and revised in December 1968, and cites both Solomonoff's and Kolmogorov's papers.

Some of the major awards in Computer science are given jointly by ACM and the IEEE – CS.

* Birla Institute of Technology Mesra ( BIT – ACM )

* Birla Institute of Technology and Science ( BITS – ACM )

* National University of Computer & Emerging Sciences ( NUCES – ACM )

* University of Illinois, Urbana – Champaign ( UIUC ACM )

The ACM is a co – presenter and founding partner of the Grace Hopper Celebration of Women in Computing ( GHC ) with the Anita Borg Institute for Women and Technology.

The ACM presents or co – presents a number of awards for outstanding technical and professional achievements and contributions in computer science and information technology.

* ACM – Infosys Foundation Award in the Computing Sciences

* ACM – IEEE CS Ken Kennedy Award

* ACM – W Athena Lecturer Award

The President of the ACM for 2012 – 2014 is Vint Cerf, an American computer scientist, who is recognized as one of " the fathers of the Internet ".

ACM is led by a Council consisting of the President, Vice – President, Treasurer, Past President, SIG Governing Board Chair, Publications Board Chair, three representatives of the SIG Governing Board, and seven Members – At – Large.

ACM – W, the ACM's committee on women in computing, is set up to support, inform, celebrate, and work with women in computing.

Dr. Anita Borg was a great supporter of ACM – W.

ACM – W provides various resources for women in computing as well as high school girls interested in the field.

* 1992 – ACM Grace Murray Hopper Award

Lucassen et al., Proceedings of the 15th Annual ACM Conference POPL, ACM 1988, pp. 47 – 57.

ACM Computing Surveys, Volume 4, Number 3, September 1972, pp. 149 – 167

* Program Development by Stepwise Refinement, Communications of the ACM, 14 ( 4 ): 221 – 227, April 1971.

" ACM Symposium on Theory of Computing: 320 – 325.

* D. W. Davies, K. A. Bartlett, R. A. Scantlebury, and P. T. Wilkinson, A digital communications network for computers giving rapid response at remote terminals ( ACM Symposium on Operating Systems Principles.

* Stephen W. Smoliar, " Review of ' Literary machines ' by Ted Nelson, 1983 ", ACM SIGSOFT Software Engineering Notes, October 1983, p. 34-36, webpage: Abstract of review ( with link ), read 2009-01-26.

V. Sambamurthy, R. W. Zmud, Andrew C. Boynton, The relationship between IT decision-making culture and the quality of line / IS partnerships in business units, Proceedings of the 1992 ACM SIGCPR conference on Computer personnel research, p. 117-128, April 5 – 07, 1992, Cincinnati, Ohio, United States

* Michael Lucks and Bruce W. Char " A fast implementation of polynomial factorization " SYMSAC ' 86 ( 1986 ) ACM ISBN 0-89791-199-7 pp228 – 232

* Fisher, S. S., McGreevy, M., Humphries, J., Robinett, W., " Virtual Environment Display System ," ACM 1986 Workshop on 3D Interactive Graphics, Chapel Hill, North Carolina, October 23 – 24, 1986.

* Piekarski, W. and Thomas, B., " ARQuake: the outdoor augmented reality gaming system ", Communications of the ACM, 45 ( 1 ), 2002.

ACM also sponsors other computer science related events such as the worldwide ACM International Collegiate Programming Contest ( ICPC ), and has sponsored some other events such as the chess match between Garry Kasparov and the IBM Deep Blue computer.

Journal of the ACM, and general magazines for computer professionals, Communications of the ACM ( also known as Communications or CACM ) and Queue.

ACM has made almost all of its publications available to paid subscribers online at its Digital Library and also has a Guide to Computing Literature.

The ACM also offers insurance, online courses, and other services to its members.

* The pitfalls of verifying floating-point computations, by David Monniaux, also printed in ACM Transactions on programming languages and systems ( TOPLAS ), May 2008: a compendium of non-intuitive behaviours of floating-point on popular architectures, with implications for program verification and testing

The first ACM Hypertext ( hyperediting and databases ) academic conference took place in November 1987, in Chapel Hill NC, where many other applications, including the branched literature writing software Storyspace, were also demonstrated.

Use of the term hacker meaning computer criminal was also advanced by the title " Stalking the Wily Hacker ", an article by Clifford Stoll in the May 1988 issue of the Communications of the ACM.

He has served on several ACM and IEEE committees, and has also been editor of several refereed journals.

Tarjan was also elected an ACM Fellow in 1994.

* the full text of The Cornell commission findings (. pdf ) is also available via paid subscription from the ACM Digital Library

He was a founding member and president of the Association for Computing Machinery ( ACM ) and also helped found the Society of Industrial and Applied Mathematics ( SIAM ).

Finally, besides the hundreds of specialized magazines that serve the diverse interests and hobbies of the American people, there are also dozens of magazines published by professional organizations for their members, such as Communications of the ACM ( for computer science specialists ) and the ABA Journal ( for lawyers ).

He was the recipient of the 1990 Mephisto Award for his doctoral dissertation and also the 1991 ACM Grace Murray Hopper Award for his contributions in architecture and algorithms for chess machines.

He is also the chair of the Editorial Advisory Board for ACM Queue, a magazine he helped found when he was President of the ACM.

He is also a member of the National Academy of Engineering and an ACM Fellow.

The focus is on the practical implications of advances in information technology and associated management issues ; ACM also publishes a variety of more theoretical journals.

SIGCOMM also produces two refereed journals, Computer Communication Review ( which appears quarterly ), and IEEE / ACM Transactions on Networking, which appears bi-monthly ( the latter co-sponsored with IEEE ).

Bell also established the ACM Gordon Bell Prize ( administered by the ACM and IEEE ) in 1987 to encourage development in parallel processing.

Abelson is also the winner of the 1995 Taylor L. Booth Education Award given by IEEE Computer Society, cited for his continued contributions to the pedagogy and teaching of introductory computer science, and the winner of the 2012 ACM SIGCSE Award for Outstanding Contribution to Computer Science Education.