The ACM Symposium on Theory of Computing (original) (raw)
The Annual ACM Symposium on Theory of Computing (STOC), is the flagship conference of SIGACT, the Special Interest Group on Algorithms and Computation Theory, a special interest group of the Association for Computing Machinery (ACM). It has been held annually since 1969, traditionally in May/June.
STOC covers all areas of research within Algorithms and Computation Theory. Topics of interest include, but are not limited to: algorithms and data structures, computational complexity, randomness in computing, algorithmic graph theory and combinatorics, approximation algorithms, cryptography, computational learning theory, economics and computation, parallel and distributed algorithms, quantum computing, algorithmic coding theory, computational geometry, computational applications of logic, optimization, algebraic algorithms, and theoretical aspects of areas such as networks, privacy, computational biology, and databases. Papers that broaden the reach of the theory of computing, or raise important problems that can benefit from theoretical investigation and analysis, are encouraged.
Danny Lewin Best Student Paper Award
A prize is given to the author(s) of the best student-authored paper (or split between more than one paper if there is a tie). A paper is eligible if all of its authors are full-time students at the time of submission. This must be indicated in the submission registration process.
Business Meeting
The annual SIGACT business meeting is traditionally held during one evening of the STOC conference. Attendance is open to all members of the theoretical computer science community. SIGACT prizes, including the Knuth Prize, Gödel Prize, ACM-SIGACT Distinguished Service Prize, and the Danny Lewin Best Student Paper Award are traditionally awarded at the Business Meeting.
Upcoming Conference
STOC 2025 TheoryFest in Prague, Czech Republic, June 23-27, 2025
Past STOC Conferences
Year | STOC # | Location | Dates | Web Page | Program & Papers | Proceedings |
---|---|---|---|---|---|---|
STOC 2024 Theoryfest | 56th | Vancouver, Canada | June 24-28 | Main Page | Program & Papers | Conference Site ACM-DL |
STOC 2023 | 55th | Orlando, FL, USA | June 20-23 | Main Page | Program & Papers | Conference Site ACM-DL |
STOC 2022 Theoryfest | 54th | Rome, Italy | June 20-24 | Main Page | Program, Papers & Videos | Conference Site ACM-DL |
STOC 2021 | 53rd | June 21-25 | Main Page | Program, Papers & Videos | Conference Site ACM-DL | |
STOC 2020 | 52nd | June 22-26 | Main Page | Program, Papers & Videos | Conference Site ACM-DL | |
STOC 2019 | 51st | Phoenix, AZ, USA | June 23-26 | Main Page | Program & Papers | Conference Site ACM-DL |
STOC 2018 Theoryfest | 50th | Los Angeles, CA, USA | June 25-29 | Main Page | Program, Papers & Videos | Conference Site (with videos) ACM-DL (with videos) |
STOC 2017 Theoryfest | 49th | Montreal, PQ, Canada | June 19-23 | Main Page | Program & Papers | Conference Site ACM-DL |
STOC 2016 | 48th | Cambridge, MA, USA | June 18-21 | Main Page | Program & Papers | Conference Site ACM-DL |
STOC 2015 | 47th | Portland, OR, USA | June 14-17 | Main Page | Program & Papers | Conference Site ACM-DL |
STOC 2014 | 46th | New York, NY, USA | May 31-June 3 | Main Page | Program | ACM-DL |
STOC 2013 | 45th | Palo Alto, CA, USA | June 1-4 | Main Page | Program | ACM-DL |
STOC 2012 | 44th | New York, NY, USA | May 19-22 | Main Page | Program | ACM-DL (with videos) |
STOC 2011 | 43rd | San Jose, CA, USA | June 6-8 | Main Page | Program | ACM-DL |
STOC 2010 | 42nd | Cambridge, MA, USA | June 6-8 | Main Page | Program | ACM-DL |
STOC 2009 | 41st | Bethesda, MD, USA | May 31-June 2 | Main Page | Program | ACM-DL |
STOC 2008 | 40th | Victoria, BC, Canada | May 17-20 | Main Page | Program | ACM-DL |
STOC 2007 | 39th | San Diego, CA, USA | June 11-13 | Main Page | Program | ACM-DL |
STOC 2006 | 38th | Seattle, WA, USA | May 21-23 | Main Page | Program | ACM-DL |
STOC 2005 | 37th | Baltimore, MD, USA | May 22-24 | Main Page | Program | ACM-DL |
STOC 2004 | 36th | Chicago, IL, USA | June 13-15 | Main Page | Program | ACM-DL |
STOC 2003 | 35th | San Diego, CA, USA | June 9-11 | Main Page | Program | ACM-DL |
STOC 2002 | 34th | Montreal, PQ, Canada | May 19-21 | Main Page | Program | ACM-DL |
STOC 2001 | 33rd | Heraklion, Crete, USA | July 6-8 | Main Page | Program | ACM-DL |
STOC 2000 | 32nd | Portland, OR, USA | May 21-23 | Main Page | Program | ACM-DL |
STOC 1999 | 31st | Atlanta, GA, USA | May 1-4 | Main Page | Program | ACM-DL |
STOC 1998 | 30th | Dallas, TX, USA | May 23-26 | Main Page | Program | ACM-DL |
STOC 1997 | 29th | El Paso, TX, USA | May 4-6 | Main Page | Program | ACM-DL |
STOC 1996 | 28th | Philadelphia, PA, USA | May 22-24 | Main Page | Program | ACM-DL |
STOC 1995 | 27th | Las Vegas, NV, USA | May 29-June 1 | Main Page | Program | ACM-DL |
STOC 1994 | 26th | Montreal, PQ, Canada | May 23-25 | Call for Papers | Program & Conference Info | ACM-DL |
STOC 1993 | 25th | San Diego, CA, USA | May 16-18 | Call for Papers | Program & Conference Info | ACM-DL |
STOC 1992 | 24th | Victoria, BC, Canada | May 4-6 | Call for Papers | Program & Conference Info | ACM-DL |
STOC 1991 | 23rd | New Orleans, LA, USA | May 5-8 | Call for Papers | Program & Conference Info | ACM-DL |
STOC 1990 | 22nd | Baltimore, MD, USA | May 13-16 | Call for Papers | Program & Conference Info | ACM-DL |
STOC 1989 | 21st | Seattle, WA, USA | May 14-17 | Call for Papers | Program & Conference Info | ACM-DL |
STOC 1988 | 20th | Chicago, IL, USA | May 2-4 | Program | ACM-DL | |
STOC 1987 | 19th | New York, NY | May 25-27 | Call for Papers | Program & Conference Info | ACM-DL |
STOC 1986 | 18th | Berkeley, CA, USA | May 28-30 | Call for Papers | Program | ACM-DL |
STOC 1985 | 17th | Providence, RI, USA | May 6-8 | Call for Papers | Program & Conference Info | ACM-DL |
STOC 1984 | 16th | Washington, DC, USA | April 30-May 2 | Call for Papers | Program & Conference Info | ACM-DL |
STOC 1983 | 15th | Boston, MA, USA | April 28-30 | Call for Papers | Program & Conference Info | ACM-DL |
STOC 1982 | 14th | San Francisco, CA, USA | May 5-7 | Program & Conference Info | ACM-DL | |
STOC 1981 | 13th | Milwaukee, WI, USA | May 11-13 | Call for Papers | Program & Conference Info | ACM-DL |
STOC 1980 | 12th | Los Angeles, CA, USA | April 28-30 | Call for Papers | ACM-DL | |
STOC 1979 | 11th | Atlanta, GA, USA | April 30-May 2 | Call for Papers | Program & Conference Info | ACM-DL |
STOC 1978 | 10th | San Diego, CA, USA | May 1-3 | Program & Conference Info | ACM-DL | |
STOC 1977 | 9th | Boulder, CO, USA | May 2-4 | Call for Papers | ACM-DL | |
STOC 1976 | 8th | Hershey, PA, USA | May 3-5 | Call for Papers | Program & Conference Info | ACM-DL |
STOC 1975 | 7th | Albuquerque, NM, USA | May 5-7 | Call for Papers | Program & Conference Info | ACM-DL |
STOC 1974 | 6th | Seattle, WA, USA | April 30-May 2 | Call for Papers | ACM-DL | |
STOC 1973 | 5th | Austin, TX, USA | April 30-May 2 | Program & Conference Info | ACM-DL | |
STOC 1972 | 4th | Denver, CO, USA | May 1-3 | Call for Papers | ACM-DL | |
STOC 1971 | 3rd | Shaker Heights, OH, USA | May 3-5 | Call for Papers | Program & Conference Info | ACM-DL |
STOC 1970 | 2nd | Northampton, MA, USA | May 4-6 | Call for Papers | ACM-DL | |
STOC 1969 | 1st | Marina Del Rey, CA, USA | May 5-7 | Program | ACM-DL | |