Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Gödel_Prize> ?p ?o }
- Gödel_Prize abstract "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). The award is named in honor of Kurt Gödel. Gödel's connection to theoretical computer science is that he was the first to mention the "P versus NP" question, in a 1956 letter to John von Neumann in which Gödel asked whether a certain NP-complete problem could be solved in quadratic or linear time.The Gödel Prize has been awarded since 1993. The prize is awarded either at STOC (ACM Symposium on Theory of Computing, one of the main North American conferences in theoretical computer science) or ICALP (International Colloquium on Automata, Languages and Programming, one of the main European conferences in the field). To be eligible for the prize, a paper must be published in a refereed journal within the last 14 (formerly 7) years.The winner of the Prize is selected by a committee of six members. The EATCS President and the SIGACT Chair each appoint three members to the committee, to serve staggered three-year terms. The committee is chaired alternately by representatives of EATCS and SIGACT.".
- Gödel_Prize wikiPageExternalLink Godel.
- Gödel_Prize wikiPageID "643342".
- Gödel_Prize wikiPageLength "20342".
- Gödel_Prize wikiPageOutDegree "113".
- Gödel_Prize wikiPageRevisionID "681770991".
- Gödel_Prize wikiPageWikiLink ACM_SIGACT.
- Gödel_Prize wikiPageWikiLink AKS_primality_test.
- Gödel_Prize wikiPageWikiLink AdaBoost.
- Gödel_Prize wikiPageWikiLink Alexander_Razborov.
- Gödel_Prize wikiPageWikiLink Algorithmic_game_theory.
- Gödel_Prize wikiPageWikiLink Alistair_Sinclair.
- Gödel_Prize wikiPageWikiLink Amnon_Lotem.
- Gödel_Prize wikiPageWikiLink Antoine_Joux.
- Gödel_Prize wikiPageWikiLink Association_for_Computing_Machinery.
- Gödel_Prize wikiPageWikiLink Avi_Wigderson.
- Gödel_Prize wikiPageWikiLink Boneh–Franklin_scheme.
- Gödel_Prize wikiPageWikiLink Boolean_circuit.
- Gödel_Prize wikiPageWikiLink Boolean_circuits.
- Gödel_Prize wikiPageWikiLink Carsten_Lund.
- Gödel_Prize wikiPageWikiLink Category:Annual_events.
- Gödel_Prize wikiPageWikiLink Category:Awards_established_in_1993.
- Gödel_Prize wikiPageWikiLink Category:Computer_science_awards.
- Gödel_Prize wikiPageWikiLink Category:Theoretical_computer_science.
- Gödel_Prize wikiPageWikiLink Charles_Rackoff.
- Gödel_Prize wikiPageWikiLink Christos_Papadimitriou.
- Gödel_Prize wikiPageWikiLink Circuit_complexity.
- Gödel_Prize wikiPageWikiLink Dan_Boneh.
- Gödel_Prize wikiPageWikiLink Daniel_Spielman.
- Gödel_Prize wikiPageWikiLink Decidability_(logic).
- Gödel_Prize wikiPageWikiLink Deterministic_pushdown_automaton.
- Gödel_Prize wikiPageWikiLink Diffie–Hellman_key_exchange.
- Gödel_Prize wikiPageWikiLink Distributed_computing.
- Gödel_Prize wikiPageWikiLink Europe.
- Gödel_Prize wikiPageWikiLink European_Association_for_Theoretical_Computer_Science.
- Gödel_Prize wikiPageWikiLink Finite-state_machine.
- Gödel_Prize wikiPageWikiLink Finite_automata.
- Gödel_Prize wikiPageWikiLink Fotios_Zaharoglou.
- Gödel_Prize wikiPageWikiLink Graph_(mathematics).
- Gödel_Prize wikiPageWikiLink Géraud_Sénizergues.
- Gödel_Prize wikiPageWikiLink Immerman–Szelepcsényi_theorem.
- Gödel_Prize wikiPageWikiLink Integer_factorization.
- Gödel_Prize wikiPageWikiLink Interactive_proof_system.
- Gödel_Prize wikiPageWikiLink International_Colloquium_on_Automata,_Languages_and_Programming.
- Gödel_Prize wikiPageWikiLink Johan_Håstad.
- Gödel_Prize wikiPageWikiLink John_von_Neumann.
- Gödel_Prize wikiPageWikiLink Joseph_Halpern.
- Gödel_Prize wikiPageWikiLink Joseph_S._B._Mitchell.
- Gödel_Prize wikiPageWikiLink Kurt_Gödel.
- Gödel_Prize wikiPageWikiLink L_(complexity).
- Gödel_Prize wikiPageWikiLink Log_space.
- Gödel_Prize wikiPageWikiLink Lower_bound.
- Gödel_Prize wikiPageWikiLink László_Babai.
- Gödel_Prize wikiPageWikiLink László_Lovász.
- Gödel_Prize wikiPageWikiLink Machine_learning.
- Gödel_Prize wikiPageWikiLink Madhu_Sudan.
- Gödel_Prize wikiPageWikiLink Manindra_Agrawal.
- Gödel_Prize wikiPageWikiLink Mario_Szegedy.
- Gödel_Prize wikiPageWikiLink Mark_Jerrum.
- Gödel_Prize wikiPageWikiLink Markov_chain.
- Gödel_Prize wikiPageWikiLink Markov_chains.
- Gödel_Prize wikiPageWikiLink Matthew_K._Franklin.
- Gödel_Prize wikiPageWikiLink Maurice_Herlihy.
- Gödel_Prize wikiPageWikiLink Michael_Saks_(mathematician).
- Gödel_Prize wikiPageWikiLink Moni_Naor.
- Gödel_Prize wikiPageWikiLink Moshe_Vardi.
- Gödel_Prize wikiPageWikiLink Moshe_Y._Vardi.
- Gödel_Prize wikiPageWikiLink NP-complete.
- Gödel_Prize wikiPageWikiLink NP-completeness.
- Gödel_Prize wikiPageWikiLink Natural_proof.
- Gödel_Prize wikiPageWikiLink Neeraj_Kayal.
- Gödel_Prize wikiPageWikiLink Neil_Immerman.
- Gödel_Prize wikiPageWikiLink Nir_Shavit.
- Gödel_Prize wikiPageWikiLink Nitin_Saxena.
- Gödel_Prize wikiPageWikiLink Noam_Nisan.
- Gödel_Prize wikiPageWikiLink Noga_Alon.
- Gödel_Prize wikiPageWikiLink North_America.
- Gödel_Prize wikiPageWikiLink North_American.
- Gödel_Prize wikiPageWikiLink Omer_Reingold.
- Gödel_Prize wikiPageWikiLink PCP_theorem.
- Gödel_Prize wikiPageWikiLink PH_(complexity).
- Gödel_Prize wikiPageWikiLink PP_(complexity).
- Gödel_Prize wikiPageWikiLink P_versus_NP.
- Gödel_Prize wikiPageWikiLink P_versus_NP_problem.
- Gödel_Prize wikiPageWikiLink Parity_function.
- Gödel_Prize wikiPageWikiLink Permanent.
- Gödel_Prize wikiPageWikiLink Permanent_of_a_matrix.
- Gödel_Prize wikiPageWikiLink Peter_Shor.
- Gödel_Prize wikiPageWikiLink Pierre_Wolper.
- Gödel_Prize wikiPageWikiLink Polynomial-time_approximation_scheme.
- Gödel_Prize wikiPageWikiLink Polynomial_time.
- Gödel_Prize wikiPageWikiLink Quantum_computer.
- Gödel_Prize wikiPageWikiLink Quantum_computing.
- Gödel_Prize wikiPageWikiLink Rajeev_Motwani.
- Gödel_Prize wikiPageWikiLink Robert_Schapire.
- Gödel_Prize wikiPageWikiLink Ronald_Fagin.
- Gödel_Prize wikiPageWikiLink Róbert_Szelepcsényi.
- Gödel_Prize wikiPageWikiLink SL_(complexity).
- Gödel_Prize wikiPageWikiLink Salil_Vadhan.
- Gödel_Prize wikiPageWikiLink Sanjeev_Arora.