Proceedings of the 1st Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages.

MINIX 3 was publicly announced on 24 October 2005 by Andrew Tanenbaum during his keynote speech on top of the ACM Symposium Operating Systems Principles conference.

* Symposium on Applied Computing, an annual conference sponsored by the ACM Special Interest Group on Applied Computing

The functional language Haskell restricts side effects with a static type system ; it uses the concept of monads to do stateful and IO computations .< ref > Imperative Functional Programming, Simon Peyton Jones and Phil Wadler, < em > Conference Record of the 20th Annual ACM Symposium on Principles of Programming Languages </ em >, pages 71 – 84, 1993 </ ref >

His seminal paper, The Complexity of Theorem Proving Procedures, presented at the 1971 ACM SIGACT Symposium on the Theory of Computing, laid the foundations for the theory of NP-Completeness.

A member of Davies ' team met Lawrence Roberts at the 1967 ACM Symposium on Operating System Principles, bringing the two groups together.

* 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.

: A fast quantum mechanical algorithm for database search, Proceedings, 28th Annual ACM Symposium on the Theory of Computing, ( May 1996 ) p. 212

In Proceedings of the Twenty-Fourth Annual ACM Symposium on Theory of Computing ( May 1992 ), pp. 351 -- 369. http :// portal. acm. org / citation. cfm? id = 129712. 129746

In Proceedings of the 21st Annual ACM Symposium on Theory of Computing, pages 433 -- 444, New York.

In Proceedings of the Twenty-Fifth Annual ACM Symposium on Theory of Computing, pages 392 -- 401. http :// citeseer. ist. psu. edu / kearns93efficient. html

The award given to the best student-authored paper at the ACM Symposium on Theory of Computing ( STOC ) was named after him as the Danny Lewin Best Student Paper Award.

* “ Secure Virtual Architecture: A Safe Execution Environment for Commodity Operating Systems ”, John Criswell, Andrew Lenharth, Dinakar Dhurjati, Vikram Adve, SOSP ' 07 21st ACM Symposium on Operating Systems Principles, 2007.

" Proceedings of a Symposium on Compiler Construction, ACM SIGPLAN Notices 5 ( 7 ), July 1970, pages 850-856.

", Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages ( POPL ), ACM Press, San Diego, CA, USA, January 1988, pages 1 – 11.

ACM Symposium on the History of Medical Informatics, 5 November 1987, Rockefeller University.

The prize is awarded either at STOC ( ACM Symposium on Theory of Computing, one of the main North American conferences in theoretical computer science ) or ICALP ( International Colloquium on Automata, Languages and Programming, one of the main European conferences in the field ).

In the US in 1971, Stephen Cook published his paper " The complexity of theorem proving procedures " in conference proceedings of the newly founded ACM Symposium on Theory of Computing.

Proceedings of the 2001 ACM International Symposium on Mobile Ad Hoc Networking & Computing ( MobiHoc 2001 ), pp. 1-10, ACM, Long Beach, CA, October, 2001.

* Sacrificing simplicity for convenience: Where do you draw the line ?, John H. Williams and Edward L. Wimmers, IBM Almaden Research Center, Proceedings of the FIfteenth Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, San Diego, CA, January 1988.

* A Parser Generator for use with Miranda, ACM Symposium on Applied Computing, pages 401 – 407, Philadelphia, USA, Feb 1996.

The main research conferences in the area are the ACM Symposium on Principles of Database Systems ( PODS ) and the International Conference on Database Theory ( ICDT ).

* ACM interactions, an interdisciplinary HCI publication focused on the connections between experiences, people and technology, and the third largest ACM publication.

** ACM Transactions on Computer Systems ( TOCS )

** ACM Transactions on Database Systems ( TODS )

** ACM Transactions on Graphics ( TOG )

** ACM Transactions on Mathematical Software ( TOMS )

** ACM Transactions on Programming Languages and Systems ( TOPLAS )

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

The term " computing " has sometimes been narrowly defined, as in a 1989 ACM report on Computing as a Discipline:

AGM-129 ACM being secured on a B-52 Stratofortress | B-52H bomber

The database research area has several notable dedicated academic journals ( e. g., ACM Transactions on Database Systems-TODS, Data and Knowledge Engineering-DKE, and more ) and annual conferences ( e. g., ACM SIGMOD, ACM PODS, VLDB, IEEE ICDE, and more ), as well as an active and quite heterogeneous ( subject-wise ) research community all over the world.

In 1989, two professors from the University of Wisconsin at Madison published an article at an ACM associated conference outlining their methods on increasing database performance.

Shortly before his death in 2002, he received the ACM PODC Influential Paper Award in distributed computing for his work on self-stabilization of program computation.

* 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

Among the top academic conferences for new research in hypertext is the annual ACM Conference on Hypertext and Hypermedia ( ACM SIGWEB Hypertext Conference page ).

* The ACM Conference on Hypertext and Hypermedia

Information on KOMPILER is listed on page 16 of Volume 2, Number 5 ( May 1959 ) of the Communications of the ACM.

* Paris Kanellakis Award in Theory and Practice, ACM ( 1999 )

In Proceedings of the thirty-fourth annual ACM symposium on Theory of computing.

For his contribution to the invention of the RSA cryptosystem, Adleman, along with Ron Rivest and Adi Shamir, has been a recipient of the 1996 Paris Kanellakis Theory and Practice Award and the 2002 ACM Turing Award, often called the Nobel Prize of Computer Science.

1st ACM Workshop on Computational Learning Theory, ( 1988 ) 42-55.

: Proceedings of the fifth annual ACM symposium on Theory of computing

: Proceedings of the first annual ACM symposium on Theory of computing

: Proceedings of the second annual ACM symposium on Theory of computing

: Proceedings of the sixth annual ACM symposium on Theory of computing

: Proceedings of the fourth annual ACM symposium on Theory of computing

The Gödel Prize is a prize for outstanding papers in theoretical computer science, named after Kurt Gödel and awarded jointly by the European Association for Theoretical Computer Science ( EATCS ) and the Association for Computing Machinery Special Interest Group on Algorithms and Computation Theory ( ACM SIGACT ).

* David Bruce Wilson, Generating random spanning trees more quickly than the cover time, Proceedings of the Twenty-eighth Annual ACM Symposium on the Theory of Computing ( Philadelphia, PA, 1996 ), 296-303, ACM, New York, 1996.

* The ACM Computing Classification System includes a couple of mathematical categories F. Theory of Computation, and G. Mathematics of Computing.

For example, he has numerous papers in top economics journals such as American Economic Review, Econometrica, Review of Economic Studies, Journal of Economic Theory, in top multidiscipline journals such as Management Science, Decision Sciences, and Organization Science, in top operations journals such as Operations Research, European Journal of Operational Research, Production and Operations Management, Journal of Production Research, and Naval Research Logistics, in top mathematics journals such as Journal of Combinatorics, SIAM Journal of Applied Mathematics, and Discrete Mathematics, in top accounting journals such as the Accounting Review and Auditing: A Journal of Practice and Theory, in top marketing journals such as Marketing Science, Journal of Marketing, and Journal of Retailing, in the premier journals devoted to information systems-Decision Support Systems, MIS Quarterly, Journal of Management Information Systems, and Information Systems Research-and finally, in top computer science journals such as Communications of the ACM, ACM Transactions on Database Systems, ACM Transactions on Internet Technology, and ACM Journal on Mobile Networking and Applications.