HOME

TheInfoList



OR:

ACM SIGACT or SIGACT is the
Association for Computing Machinery The Association for Computing Machinery (ACM) is a US-based international learned society for computing. It was founded in 1947 and is the world's largest scientific and educational computing society. The ACM is a non-profit professional member ...
Special Interest Group on Algorithms and Computation Theory, whose purpose is support of research in
theoretical computer science Theoretical computer science (TCS) is a subset of general computer science and mathematics that focuses on mathematical aspects of computer science such as the theory of computation, lambda calculus, and type theory. It is difficult to circumsc ...
. It was founded in 1968 by Patrick C. Fischer.


Publications

SIGACT publishes a quarterly print newsletter, ''SIGACT News''. Its online version, ''SIGACT News Online'', is available since 1996 for SIGACT members, with unrestricted access to some features.


Conferences

SIGACT sponsors or has sponsored several annual conferences. *COLT: Conference on Learning Theory, until 1999 *PODC: ACM Symposium on Principles of Distributed Computing (jointly sponsored by SIGOPS) *PODS: ACM Symposium on Principles of Database Systems *POPL: ACM Symposium on Principles of Programming Languages *SOCG: ACM
Symposium on Computational Geometry The International Symposium on Computational Geometry (SoCG) is an academic conference in computational geometry. It was founded in 1985, and was originally sponsored by the SIGACT and SIGGRAPH Special Interest Groups of the Association for Compu ...
(jointly sponsored by SIGGRAPH), until 2014 *SODA: ACM/SIAM Symposium on Discrete Algorithms (jointly sponsored by the
Society for Industrial and Applied Mathematics Society for Industrial and Applied Mathematics (SIAM) is a professional society dedicated to applied mathematics, computational science, and data science through research, publications, and community. SIAM is the world's largest scientific soci ...
). Two annual workshops held in conjunction with SODA also have the same joint sponsorship: **ALENEX: Workshop on Algorithms and Experiments **ANALCO: Workshop on Analytic Algorithms and Combinatorics *SPAA: ACM Symposium on Parallelism in Algorithms and Architectures *STOC: ACM Symposium on the Theory of Computing COLT, PODC, PODS, POPL, SODA, and STOC are all listed as highly cited venues by both citeseerx and libra.


Awards and prizes

*
Gödel Prize The Gödel Prize is an annual prize for outstanding papers in the area of theoretical computer science, given jointly by the European Association for Theoretical Computer Science (EATCS) and the Association for Computing Machinery Special Intere ...
, for outstanding papers in theoretical computer science (sponsored jointly with EATCS) * Donald E. Knuth Prize, for outstanding contributions to the foundations of computer science (sponsored jointly with
IEEE Computer Society The Institute of Electrical and Electronics Engineers (IEEE) is a 501(c)(3) professional association for electronic engineering and electrical engineering (and associated disciplines) with its corporate office in New York City and its operati ...
's Technical Committee on the Mathematical Foundations of Computing) * Edsger W. Dijkstra Prize in distributed computing (sponsored jointly with SIGOPS, EATCS, and companies)
PODC The Symposium on Principles of Distributed Computing (PODC) is an academic conference in the field of distributed computing organised annually by the Association for Computing Machinery (special interest groups SIGACT and SIGOPS). Scope and rel ...
web site
Edsger W. Dijkstra Prize in Distributed Computing
* Paris Kanellakis Theory and Practice Award, for theoretical accomplishments of significant and demonstrable effect on the practice of computing (
ACM ACM or A.C.M. may refer to: Aviation * AGM-129 ACM, 1990–2012 USAF cruise missile * Air chief marshal * Air combat manoeuvring or dogfighting * Air cycle machine * Arica Airport (Colombia) (IATA: ACM), in Arica, Amazonas, Colombia Computing * ...
Award co-sponsored by SIGACT) *
Eugene L. Lawler Award Eugene may refer to: People and fictional characters * Eugene (given name), including a list of people and fictional characters with the given name * Eugene (actress) (born 1981), Kim Yoo-jin, South Korean actress and former member of the sin ...
for Humanitarian Contributions within Computer Science and Informatics (ACM Award co-sponsored by SIGACT) * Danny Lewin Best Student Paper Award *Best Paper Award for ACM STOC and
IEEE The Institute of Electrical and Electronics Engineers (IEEE) is a 501(c)(3) professional association for electronic engineering and electrical engineering (and associated disciplines) with its corporate office in New York City and its operati ...
FOCS The IEEE Annual Symposium on Foundations of Computer Science (FOCS) is an academic conference in the field of theoretical computer science. FOCS is sponsored by the IEEE Computer Society. As writes, FOCS and its annual Association for Computing ...
conference papers *ACM SIGACT Distinguished Service Award


References


External links

*
SIGACT News on ACM Digital Library
{{Authority control Association for Computing Machinery Special Interest Groups Theoretical computer science