Symposium on Theory of Computing
Encyclopedia
STOC, the Annual ACM Symposium on Theory of Computing is an academic conference
in the field of theoretical computer science
. STOC has been organized annually since 1969, typically in May or June; the conference is sponsored by the Association for Computer Machinery special interest group SIGACT
.
As writes, STOC and its annual IEEE counterpart FOCS (the Symposium on Foundations of Computer Science
) are considered the two top conferences in theoretical computer science, considered broadly: they “are forums for some of the best work throughout theory of computing that promote breadth among theory of computing researchers and help to keep the community together.” includes regular attendance at STOC and FOCS as one of several defining characteristics of theoretical computer scientists.
for outstanding papers in theoretical computer science is presented alternately at STOC and at the International Colloquium on Automata, Languages and Programming
(ICALP); the Knuth Prize
for outstanding contributions to theoretical computer science is presented alternately at STOC and at FOCS.
The Danny Lewin Best Student Paper Award is awarded to the authors of the best student-authored paper in STOC; the award is named in honor of Daniel M. Lewin. The FOCS counterpart of the best student paper award is the Machtey Award
.
, United States
. The conference chairman was Patrick C. Fischer
, and the program committee consisted of Michael A. Harrison, Robert W. Floyd, Juris Hartmanis
, Richard M. Karp, Albert R. Meyer
, and Jeffrey D. Ullman.
Early seminal papers in STOC include , which introduced the concept of NP-completeness (see also Cook–Levin theorem).
STOC was organised in Canada
in 1992, 1994, 2002, and 2008, and in Greece
in 2001; all other meetings in 1969–2009 have been held in the United States
. STOC was part of the Federated Computing Research Conference
(FCRC) in 1993, 1996, 1999, 2003, and 2007.
Academic conference
An academic conference or symposium is a conference for researchers to present and discuss their work. Together with academic or scientific journals, conferences provide an important channel for exchange of information between researchers.-Overview:Conferences are usually composed of various...
in the field of theoretical computer science
Theoretical computer science
Theoretical computer science is a division or subset of general computer science and mathematics which focuses on more abstract or mathematical aspects of computing....
. STOC has been organized annually since 1969, typically in May or June; the conference is sponsored by the Association for Computer Machinery special interest group SIGACT
ACM SIGACT
ACM SIGACT or SIGACT is the Association for Computing Machinery Special Interest Group on Algorithms and Computation Theory, whose purpose is support of research in theoretical computer science. It was founded in 1968 by Patrick C. Fischer.-Publications:...
.
As writes, STOC and its annual IEEE counterpart FOCS (the Symposium on Foundations of Computer Science
Symposium on Foundations of Computer Science
FOCS, the Annual IEEE Symposium on Foundations of Computer Science, is an academic conference in the field of theoretical computer science...
) are considered the two top conferences in theoretical computer science, considered broadly: they “are forums for some of the best work throughout theory of computing that promote breadth among theory of computing researchers and help to keep the community together.” includes regular attendance at STOC and FOCS as one of several defining characteristics of theoretical computer scientists.
Awards
The Gödel PrizeGödel Prize
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 and the Association for Computing Machinery Special Interest Group on Algorithms and Computation Theory .The...
for outstanding papers in theoretical computer science is presented alternately at STOC and at the International Colloquium on Automata, Languages and Programming
International Colloquium on Automata, Languages and Programming
ICALP, the International Colloquium on Automata, Languages and Programming is an academic conference organized annually by the European Association for Theoretical Computer Science and held in different locations around Europe...
(ICALP); the Knuth Prize
Knuth Prize
The Donald E. Knuth Prize is a prize for outstanding contributions to the foundations of computer science, named after Donald E. Knuth.-History:...
for outstanding contributions to theoretical computer science is presented alternately at STOC and at FOCS.
The Danny Lewin Best Student Paper Award is awarded to the authors of the best student-authored paper in STOC; the award is named in honor of Daniel M. Lewin. The FOCS counterpart of the best student paper award is the Machtey Award
Machtey Award
The Machtey Awardis awarded at the annual IEEE Symposium on Foundations of Computer Science to that author of the best student paper. A paper qualifies as a student paper if all authors are full-time students at the date of the submission...
.
History
STOC was first organised on 5–7 May 1969, in Marina del Rey, CaliforniaCalifornia
California is a state located on the West Coast of the United States. It is by far the most populous U.S. state, and the third-largest by land area...
, United States
United States
The United States of America is a federal constitutional republic comprising fifty states and a federal district...
. The conference chairman was Patrick C. Fischer
Patrick C. Fischer
Patrick Carl Fischer was an American computer scientist, a noted researcher in computational complexity theory and database theory, and a target of the Unabomber.-Biography:...
, and the program committee consisted of Michael A. Harrison, Robert W. Floyd, Juris Hartmanis
Juris Hartmanis
Juris Hartmanis is a prominent computer scientist and computational theorist who, with Richard E. Stearns, received the 1993 ACM Turing Award "in recognition of their seminal paper which established the foundations for the field of computational complexity theory".Hartmanis was born in Latvia...
, Richard M. Karp, Albert R. Meyer
Albert R. Meyer
Albert Ronald da Silva Meyer is a professor of computer science at Massachusetts Institute of Technology . He has been a Fellow of the American Academy of Arts and Sciences since 1987, and he was inducted as a Fellow of the Association for Computing Machinery in 2000.Meyer's seminal works...
, and Jeffrey D. Ullman.
Early seminal papers in STOC include , which introduced the concept of NP-completeness (see also Cook–Levin theorem).
STOC was organised in Canada
Canada
Canada is a North American country consisting of ten provinces and three territories. Located in the northern part of the continent, it extends from the Atlantic Ocean in the east to the Pacific Ocean in the west, and northward into the Arctic Ocean...
in 1992, 1994, 2002, and 2008, and in Greece
Greece
Greece , officially the Hellenic Republic , and historically Hellas or the Republic of Greece in English, is a country in southeastern Europe....
in 2001; all other meetings in 1969–2009 have been held in the United States
United States
The United States of America is a federal constitutional republic comprising fifty states and a federal district...
. STOC was part of the Federated Computing Research Conference
Federated Computing Research Conference
The Federated Computing Research Conference, FCRC, is an event that brings together several academic conferences, workshops, and plenary talks in the field of computer science...
(FCRC) in 1993, 1996, 1999, 2003, and 2007.
Invited speakers
2004-
2005
2006-
2007
2008-
-
2009
See also
- Conferences in theoretical computer science.
- The list of computer science conferences contains other academic conferences in computer science.
External links
- STOC web page.
- STOC 2009 web page.
- STOC proceedings information in DBLPDBLPDBLP is a computer science bibliography website hosted at Universität Trier, in Germany. It was originally a database and logic programming bibliography site, and has existed at least since the 1980s. DBLP listed more than 1.3 million articles on computer science in January 2010...
. - STOC proceedings in the ACM digital library.
- Citation Statistics for FOCS/STOC/SODA, Piotr IndykPiotr IndykPiotr Indyk is an Associate Professor in the Theory of Computation Group at the Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology.-Academic biography:...
and Suresh Venkatasubramanian, July 2007.
-
-
-