Logo
Unionpedia
Communication
Get it on Google Play
New! Download Unionpedia on your Android™ device!
Free
Faster access than browser!
 

Symposium on Theory of Computing

Index Symposium on Theory of Computing

The Annual ACM Symposium on Theory of Computing (STOC) is an academic conference in the field of theoretical computer science. [1]

41 relations: Academic conference, ACM Computing Surveys, ACM SIGACT, Akamai Technologies, Albert R. Meyer, Association for Computing Machinery, Avi Wigderson, Éva Tardos, California, Canada, Cook–Levin theorem, Daniel Lewin, David Haussler, DBLP, Federated Computing Research Conference, Gödel Prize, Greece, Institute of Electrical and Electronics Engineers, International Colloquium on Automata, Languages and Programming, Jeffrey Ullman, Jennifer Rexford, Juris Hartmanis, Knuth Prize, Lance Fortnow, List of computer science conferences, Marina del Rey, California, Michael A. Harrison, Nancy Lynch, NP-completeness, Patrick C. Fischer, Piotr Indyk, Prabhakar Raghavan, Richard M. Karp, Robert W. Floyd, Russell Impagliazzo, September 11 attacks, Shafi Goldwasser, Suresh Venkatasubramanian, Symposium on Foundations of Computer Science, Theoretical computer science, United States.

Academic conference

An academic conference or symposium is a conference for researchers (not necessarily academics) to present and discuss their work.

New!!: Symposium on Theory of Computing and Academic conference · See more »

ACM Computing Surveys

ACM Computing Surveys (CSUR) is a peer reviewed scientific journal published by the Association for Computing Machinery.

New!!: Symposium on Theory of Computing and ACM Computing Surveys · See more »

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.

New!!: Symposium on Theory of Computing and ACM SIGACT · See more »

Akamai Technologies

Akamai Technologies, Inc. is an American content delivery network (CDN) and cloud service provider headquartered in Cambridge, Massachusetts, in the United States.

New!!: Symposium on Theory of Computing and Akamai Technologies · See more »

Albert R. Meyer

Albert Ronald da Silva Meyer (born 1941) is a professor of computer science at Massachusetts Institute of Technology (MIT).

New!!: Symposium on Theory of Computing and Albert R. Meyer · See more »

Association for Computing Machinery

The Association for Computing Machinery (ACM) is an international learned society for computing.

New!!: Symposium on Theory of Computing and Association for Computing Machinery · See more »

Avi Wigderson

Avi Wigderson (אבי ויגדרזון; born 9 September 1956) is an Israeli mathematician and computer scientist.

New!!: Symposium on Theory of Computing and Avi Wigderson · See more »

Éva Tardos

Éva Tardos (born 1 October 1957) is a Hungarian mathematician and the Jacob Gould Schurman Professor of Computer Science at Cornell University.

New!!: Symposium on Theory of Computing and Éva Tardos · See more »

California

California is a state in the Pacific Region of the United States.

New!!: Symposium on Theory of Computing and California · See more »

Canada

Canada is a country located in the northern part of North America.

New!!: Symposium on Theory of Computing and Canada · See more »

Cook–Levin theorem

In computational complexity theory, the Cook–Levin theorem, also known as Cook's theorem, states that the Boolean satisfiability problem is NP-complete.

New!!: Symposium on Theory of Computing and Cook–Levin theorem · See more »

Daniel Lewin

Daniel "Danny" Mark Lewin (דניאל "דני" מארק לוין; May 14, 1970 – September 11, 2001) was an American–Israeli mathematician and entrepreneur who co-founded internet company Akamai Technologies.

New!!: Symposium on Theory of Computing and Daniel Lewin · See more »

David Haussler

David Haussler (born 1953) is an American bioinformatician known for his work leading the team that assembled the first human genome sequence in the race to complete the Human Genome Project and subsequently for comparative genome analysis that deepens understanding the molecular function and evolution of the genome.

New!!: Symposium on Theory of Computing and David Haussler · See more »

DBLP

DBLP is a computer science bibliography website.

New!!: Symposium on Theory of Computing and DBLP · See more »

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.

New!!: Symposium on Theory of Computing and Federated Computing Research Conference · See more »

Gödel Prize

The Gödel Prize is an annual prize for outstanding papers in the area of theoretical computer science, given jointly by European Association for Theoretical Computer Science (EATCS) and the Association for Computing Machinery Special Interest Group on Algorithms and Computational Theory (ACM SIGACT).

New!!: Symposium on Theory of Computing and Gödel Prize · See more »

Greece

No description.

New!!: Symposium on Theory of Computing and Greece · See more »

Institute of Electrical and Electronics Engineers

The Institute of Electrical and Electronics Engineers (IEEE) is a professional association with its corporate office in New York City and its operations center in Piscataway, New Jersey.

New!!: Symposium on Theory of Computing and Institute of Electrical and Electronics Engineers · See more »

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.

New!!: Symposium on Theory of Computing and International Colloquium on Automata, Languages and Programming · See more »

Jeffrey Ullman

Jeffrey David "Jeff" Ullman (born November 22, 1942) is an American computer scientist and professor at Stanford University.

New!!: Symposium on Theory of Computing and Jeffrey Ullman · See more »

Jennifer Rexford

Jennifer Rexford is an American computer scientist, the Gordon Y. S. Wu Professor in Engineering at Princeton University.

New!!: Symposium on Theory of Computing and Jennifer Rexford · See more »

Juris Hartmanis

Juris Hartmanis (born July 5, 1928) 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".

New!!: Symposium on Theory of Computing and Juris Hartmanis · See more »

Knuth Prize

The Donald E. Knuth Prize is a prize for outstanding contributions to the foundations of computer science, named after Donald E. Knuth.

New!!: Symposium on Theory of Computing and Knuth Prize · See more »

Lance Fortnow

Lance Jeremy Fortnow (born August 15, 1963) is a computer scientist known for major results in computational complexity and interactive proof systems.

New!!: Symposium on Theory of Computing and Lance Fortnow · See more »

List of computer science conferences

This is a list of academic conferences in computer science.

New!!: Symposium on Theory of Computing and List of computer science conferences · See more »

Marina del Rey, California

Marina del Rey is an unincorporated seaside community and census-designated place (CDP) in Los Angeles County, California, United States.

New!!: Symposium on Theory of Computing and Marina del Rey, California · See more »

Michael A. Harrison

Michael A. Harrison is a computer scientist, in particular a pioneer in the area of formal languages.

New!!: Symposium on Theory of Computing and Michael A. Harrison · See more »

Nancy Lynch

Nancy Ann Lynch (born January 19, 1948) is a mathematician, a theorist, and a professor at the Massachusetts Institute of Technology.

New!!: Symposium on Theory of Computing and Nancy Lynch · See more »

NP-completeness

In computational complexity theory, an NP-complete decision problem is one belonging to both the NP and the NP-hard complexity classes.

New!!: Symposium on Theory of Computing and NP-completeness · See more »

Patrick C. Fischer

Patrick Carl Fischer (December 3, 1935 – August 26, 2011) was an American computer scientist, a noted researcher in computational complexity theory and database theory, and a target of the Unabomber.

New!!: Symposium on Theory of Computing and Patrick C. Fischer · See more »

Piotr Indyk

Piotr Indyk is a Professor in the Theory of Computation Group at the Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology.

New!!: Symposium on Theory of Computing and Piotr Indyk · See more »

Prabhakar Raghavan

Prabhakar Raghavan is a Vice President of Engineering at Google.

New!!: Symposium on Theory of Computing and Prabhakar Raghavan · See more »

Richard M. Karp

Richard Manning Karp (born January 3, 1935) is an American computer scientist and computational theorist at the University of California, Berkeley.

New!!: Symposium on Theory of Computing and Richard M. Karp · See more »

Robert W. Floyd

Robert W (Bob) Floyd (June 8, 1936 – September 25, 2001) was a computer scientist.

New!!: Symposium on Theory of Computing and Robert W. Floyd · See more »

Russell Impagliazzo

Russell Impagliazzo is a professor of computer science at the University of California, San Diego.

New!!: Symposium on Theory of Computing and Russell Impagliazzo · See more »

September 11 attacks

The September 11, 2001 attacks (also referred to as 9/11) were a series of four coordinated terrorist attacks by the Islamic terrorist group al-Qaeda against the United States on the morning of Tuesday, September 11, 2001.

New!!: Symposium on Theory of Computing and September 11 attacks · See more »

Shafi Goldwasser

Shafrira Goldwasser (שפרירה גולדווסר; born 1959) is an American-Israeli computer scientist and winner of the Turing Award in 2012.

New!!: Symposium on Theory of Computing and Shafi Goldwasser · See more »

Suresh Venkatasubramanian

Suresh Venkatasubramanian is an Indian computer scientist and professor at the University of Utah.

New!!: Symposium on Theory of Computing and Suresh Venkatasubramanian · See more »

Symposium on Foundations of Computer Science

The IEEE Annual Symposium on Foundations of Computer Science (FOCS) is an academic conference in the field of theoretical computer science.

New!!: Symposium on Theory of Computing and Symposium on Foundations of Computer Science · See more »

Theoretical computer science

Theoretical computer science, or TCS, is a subset of general computer science and mathematics that focuses on more mathematical topics of computing and includes the theory of computation.

New!!: Symposium on Theory of Computing and Theoretical computer science · See more »

United States

The United States of America (USA), commonly known as the United States (U.S.) or America, is a federal republic composed of 50 states, a federal district, five major self-governing territories, and various possessions.

New!!: Symposium on Theory of Computing and United States · See more »

Redirects here:

ACM Symposium on Theory of Computing, Danny Lewin Award, Danny Lewin Best Student Paper Award, STOC, STOC Invited Speakers, Symposium on the Theory of Computing.

References

[1] https://en.wikipedia.org/wiki/Symposium_on_Theory_of_Computing

OutgoingIncoming
Hey! We are on Facebook now! »