» 
Arabic Bulgarian Chinese Croatian Czech Danish Dutch English Estonian Finnish French German Greek Hebrew Hindi Hungarian Icelandic Indonesian Italian Japanese Korean Latvian Lithuanian Malagasy Norwegian Persian Polish Portuguese Romanian Russian Serbian Slovak Slovenian Spanish Swedish Thai Turkish Vietnamese
Arabic Bulgarian Chinese Croatian Czech Danish Dutch English Estonian Finnish French German Greek Hebrew Hindi Hungarian Icelandic Indonesian Italian Japanese Korean Latvian Lithuanian Malagasy Norwegian Persian Polish Portuguese Romanian Russian Serbian Slovak Slovenian Spanish Swedish Thai Turkish Vietnamese

definition - Symposium_on_Theory_of_Computing

definition of Wikipedia

   Advertizing ▼

Wikipedia

Symposium on Theory of Computing

From Wikipedia, the free encyclopedia

Jump to: navigation, search

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 Fich (1996) 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.” Johnson (1984) includes regular attendance at STOC and FOCS as one of several defining characteristics of theoretical computer scientists.

Contents

Awards

The Gödel Prize 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 the Symposium on Foundations of Computer Science, an IEEE conference held annually in the fall with similar content to STOC.

The Danny Lewin Best Student Paper Award is awarded to the authors of the best student-authored paper in STOC;[1] the award is named in honor of Daniel M. Lewin.[2] The FOCS counterpart of the best student paper award is the Machtey Award.

History

STOC was first organised on 5–7 May 1969, in Marina del Rey, California, 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.[3]

Early seminal papers in STOC include Cook (1971), 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.

Invited speakers

2004
Eva Tardos, [Expression error: Missing operand for > "Network games"], doi:10.1145/1007352.1007356 
Avi Wigderson, [Expression error: Missing operand for > "Depth through breadth, or why should we attend talks in other areas?"], doi:10.1145/1007352.1007359 
2005
Lance Fortnow, [Expression error: Missing operand for > "Beyond NP: the work and legacy of Larry Stockmeyer"], doi:10.1145/1060590.1060609 
2006
Prabhakar Raghavan, [Expression error: Missing operand for > "The changing face of web search: algorithms, auctions and advertising"], doi:10.1145/1132516.1132535 
Russell Impagliazzo, [Expression error: Missing operand for > "Can every randomized algorithm be derandomized?"], doi:10.1145/1132516.1132571 
2007
Nancy Lynch, [Expression error: Missing operand for > "Distributed computing theory: algorithms, impossibility results, models, and proofs"], doi:10.1145/1250790.1250826 
2008
Jennifer Rexford, [Expression error: Missing operand for > "Rethinking internet routing"], doi:10.1145/1374376.1374386 
David Haussler, [Expression error: Missing operand for > "Computing how we became human"], doi:10.1145/1374376.1374468 
2009
Shafi Goldwasser, [Expression error: Missing operand for > "Athena lecture: Controlling Access to Programs?"], doi:10.1145/1536414.1536416 

See also

References

Notes

External links

 

All translations of Symposium_on_Theory_of_Computing


sensagent's content

  • definitions
  • synonyms
  • antonyms
  • encyclopedia

Dictionary and translator for handheld

⇨ New : sensagent is now available on your handheld

   Advertising ▼

sensagent's office

Shortkey or widget. Free.

Windows Shortkey: sensagent. Free.

Vista Widget : sensagent. Free.

Webmaster Solution

Alexandria

A windows (pop-into) of information (full-content of Sensagent) triggered by double-clicking any word on your webpage. Give contextual explanation and translation from your sites !

Try here  or   get the code

SensagentBox

With a SensagentBox, visitors to your site can access reliable information on over 5 million pages provided by Sensagent.com. Choose the design that fits your site.

Business solution

Improve your site content

Add new content to your site from Sensagent by XML.

Crawl products or adds

Get XML access to reach the best products.

Index images and define metadata

Get XML access to fix the meaning of your metadata.


Please, email us to describe your idea.

WordGame

The English word games are:
○   Anagrams
○   Wildcard, crossword
○   Lettris
○   Boggle.

Lettris

Lettris is a curious tetris-clone game where all the bricks have the same square shape but different content. Each square carries a letter. To make squares disappear and save space for other squares you have to assemble English words (left, right, up, down) from the falling squares.

boggle

Boggle gives you 3 minutes to find as many words (3 letters or more) as you can in a grid of 16 letters. You can also try the grid of 16 letters. Letters must be adjacent and longer words score better. See if you can get into the grid Hall of Fame !

English dictionary
Main references

Most English definitions are provided by WordNet .
English thesaurus is mainly derived from The Integral Dictionary (TID).
English Encyclopedia is licensed by Wikipedia (GNU).

Copyrights

The wordgames anagrams, crossword, Lettris and Boggle are provided by Memodata.
The web service Alexandria is granted from Memodata for the Ebay search.
The SensagentBox are offered by sensAgent.

Translation

Change the target language to find translations.
Tips: browse the semantic fields (see From ideas to words) in two languages to learn more.

last searches on the dictionary :

6463 online visitors

computed in 0.047s

I would like to report:
section :
a spelling or a grammatical mistake
an offensive content(racist, pornographic, injurious, etc.)
a copyright violation
an error
a missing statement
other
please precise:

Advertize

Partnership

Company informations

My account

login

registration

   Advertising ▼