About: Symposium on Theory of Computing

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

ACM conference series on theoretical computing

Property	Value
dbo:description	ACM conference series on theoretical computing (en) colloque annuel en informatique théorique (fr) Serie de conferencias ACM sobre computación teórica (es) 計算機協会 (ACM) における学術会議 (ja)
dbo:wikiPageExternalLink	http://acm-stoc.org/stoc2011/ http://theory.stanford.edu/stoc2013/ http://www.cs.utah.edu/~suresh/citations/ https://amturing.acm.org/vp/micali_9954407.cfm https://amturing.acm.org/vp/stonebraker_1172121.cfm https://dblp.org/db/conf/stoc/stoc2004 https://dblp.org/db/conf/stoc/stoc2005 https://dblp.org/db/conf/stoc/stoc2006 https://dblp.org/db/conf/stoc/stoc2007 https://dblp.org/db/conf/stoc/stoc2008 https://dblp.org/db/conf/stoc/stoc2009 https://dblp.org/streams/conf/stoc http://amturing.acm.org/vp/goldwasser_8627889.cfm http://www.inf.unibz.it/~calvanese/teaching/13-14-tc/material/cook-1971-NP-completeness-of-SAT.pdf http://acm-stoc.org/stoc2010/program.htm http://acm-stoc.org/stoc2015/ http://acm-stoc.org/stoc2016/ http://acm-stoc.org/stoc2017/ http://www.columbia.edu/~cs2035/stoc/stoc2014/ https://dl.acm.org/conference/stoc/proceedings
dbo:wikiPageWikiLink	dbr:Piotr_Indyk dbr:Suresh_Venkatasubramanian dbr:NP-completeness dbr:ACM_Digital_Library dbr:Association_for_Computing_Machinery dbr:Cook–Levin_theorem dbr:Knuth_Prize dbr:ACM_Computing_Surveys dbr:Federated_Computing_Research_Conference dbr:Patrick_C._Fischer dbc:Recurring_events_established_in_1969 dbr:Gödel_Prize dbr:California dbr:Canada dbr:Greece dbr:September_11_attacks dbr:United_States dbr:List_of_computer_science_conferences dbr:International_Colloquium_on_Automata,_Languages_and_Programming dbr:Albert_R._Meyer dbc:Association_for_Computing_Machinery_conferences dbr:Theoretical_computer_science dbr:Juris_Hartmanis dbr:Richard_M._Karp dbr:Robert_W._Floyd dbr:Akamai_Technologies dbr:Daniel_M._Lewin dbr:Academic_conference dbr:ACM_SIGACT dbc:Theoretical_computer_science_conferences dbr:DBLP dbr:Symposium_on_Foundations_of_Computer_Science dbr:ACM_SIGACT_News dbr:Michael_A._Harrison dbr:Jeffrey_D._Ullman dbr:FOCS dbr:List_of_computer_science_awards dbr:Marina_del_Rey dbr:IEEE
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Reflist dbt:Citation dbt:Official_website dbt:Association_for_Computing_Machinery dbt:Harvtxt dbt:Short_description
dct:subject	dbc:Recurring_events_established_in_1969 dbc:Association_for_Computing_Machinery_conferences dbc:Theoretical_computer_science_conferences
gold:hypernym	dbr:Conference
rdfs:label	Symposium on Theory of Computing (en) Symposium on Theory of Computing (es) Symposium on Theory of Computing (fr) Simpósio da Teoria da Computação (pt)
owl:sameAs	freebase:Symposium on Theory of Computing yago-res:Symposium on Theory of Computing wikidata:Symposium on Theory of Computing dbpedia-fr:Symposium on Theory of Computing dbpedia-pt:Symposium on Theory of Computing dbpedia-es:Symposium on Theory of Computing http://d-nb.info/gnd/109188255X http://d-nb.info/gnd/4932-3 http://viaf.org/viaf/141306828 http://viaf.org/viaf/164260773 dbpedia-global:Symposium on Theory of Computing dbr:Symposium on Theory of Computing
prov:wasDerivedFrom	wikipedia-en:Symposium_on_Theory_of_Computing?oldid=1245801400&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Symposium_on_Theory_of_Computing
is dbo:award of	dbr:Ivan_Damgård dbr:Kasper_Green_Larsen
is dbo:wikiPageDisambiguates of	dbr:STOC
is dbo:wikiPageRedirects of	dbr:ACM_Symposium_on_Theory_of_Computing dbr:Danny_Lewin_Award dbr:Danny_Lewin_Award dbr:Danny_Lewin_Best_Student_Paper_Award dbr:Symposium_on_the_Theory_of_Computing dbr:STOC_(conference) dbr:STOC_Invited_Speakers
is dbo:wikiPageWikiLink of	dbr:Planar_separator_theorem dbr:Eugene_M._Luks dbr:NP-completeness dbr:Ran_Raz dbr:Cynthia_Dwork dbr:Paris_Kanellakis dbr:Graph_isomorphism dbr:Cook–Levin_theorem dbr:Christofides_algorithm dbr:Locality-sensitive_hashing dbr:Knuth_Prize dbr:Federated_Computing_Research_Conference dbr:Patrick_C._Fischer dbr:Stathis_Zachos dbr:Gödel_Prize dbr:Petersen's_theorem dbr:Church–Turing_thesis dbr:Consistent_hashing dbr:Steiner_tree_problem dbr:1971_in_science dbr:List_of_computer_science_conferences dbr:Scott_Aaronson dbr:Ivan_Damgård dbr:Alasdair_Urquhart dbr:List_of_computer_science_conference_acronyms dbr:Graph_coloring dbr:Theoretical_computer_science dbr:Machtey_Award dbr:Tim_Roughgarden dbr:Bakhadyr_Khoussainov dbr:Daniel_Lewin dbr:Luca_Trevisan dbr:László_Babai dbr:Dominating_set dbr:Karp–Lipton_theorem dbr:Karmarkar's_algorithm dbr:Average-case_complexity dbr:String_graph dbr:Scheinerman's_conjecture dbr:Time_complexity dbr:LP-type_problem dbr:Zig-zag_product dbr:Dahlia_Malkhi dbr:Informatics dbr:ACM_SIGACT dbr:ACC0 dbr:Reverse-delete_algorithm dbr:Symposium_on_Foundations_of_Computer_Science dbr:Logic_of_graphs dbr:Parametric_search dbr:ACM_Symposium_on_Theory_of_Computing dbr:Michael_Mitzenmacher dbr:Ryan_Williams_(computer_scientist) dbr:SIAM_Journal_on_Computing dbr:Universal_point_set dbr:Victor_Vianu dbr:Kasper_Green_Larsen dbr:Cristian_S._Calude dbr:Toniann_Pitassi dbr:Aaron_Clauset dbr:STOC dbr:Harry_R._Lewis dbr:Julia_Chuzhoy dbr:Ronald_de_Wolf dbr:List_of_computer_science_awards dbr:David_Zuckerman_(computer_scientist) dbr:List_of_cryptography_conferences dbr:Danny_Lewin_Award dbr:List_of_important_publications_in_computer_science dbr:Danny_Lewin_Best_Student_Paper_Award dbr:Symposium_on_the_Theory_of_Computing dbr:STOC_(conference) dbr:STOC_Invited_Speakers
is dbp:awards of	dbr:Kasper_Green_Larsen
is foaf:primaryTopic of	wikipedia-en:Symposium_on_Theory_of_Computing