ACM Symposium on Theory of Computing (STOC)

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 Conferences

STOC 2019 Phoenix, AZ, June 23-26, 2019

STOC 2019 will be held as part of the ACM Federating Computing Research Conference (FCRC). It will be co-located with a variety of other conferences including SPAA, EC, and COLT.

 

Past STOC Conferences

YearSTOC #LocationDatesWeb PageProgram & Papers Proceedings
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