Pages that link to "Gödel Prize"
Showing 249 items.
- Association for Computing Machinery (links | edit)
- List of computer scientists (links | edit)
- Greece (links | edit)
- Kurt Gödel (links | edit)
- IMU Abacus Medal (links | edit)
- KTH Royal Institute of Technology (links | edit)
- Stanford University (links | edit)
- SIGGRAPH (links | edit)
- Theory of computation (links | edit)
- Turing Award (links | edit)
- Travelling salesman problem (links | edit)
- Alonzo Church (links | edit)
- Peter Shor (links | edit)
- Rutgers University (links | edit)
- Boosting (machine learning) (links | edit)
- 1957 in science (links | edit)
- Communications of the ACM (links | edit)
- SIGCOMM (links | edit)
- Madhu Sudan (links | edit)
- AKS primality test (links | edit)
- List of Israelis (links | edit)
- Weizmann Institute of Science (links | edit)
- MIT Computer Science and Artificial Intelligence Laboratory (links | edit)
- Zero-knowledge proof (links | edit)
- List of Indian Americans (links | edit)
- Centrum Wiskunde & Informatica (links | edit)
- International Collegiate Programming Contest (links | edit)
- Upsilon Pi Epsilon (links | edit)
- Gödel Prize (transclusion) (links | edit)
- Godel prize (redirect page) (links | edit)
- Natural proof (links | edit)
- List of awards named after people (links | edit)
- School of Informatics, University of Edinburgh (links | edit)
- Shafi Goldwasser (links | edit)
- Grace Murray Hopper Award (links | edit)
- Fu Foundation School of Engineering and Applied Science (links | edit)
- Johan Håstad (links | edit)
- List of University of California, Berkeley alumni (links | edit)
- NL (complexity) (links | edit)
- Manindra Agrawal (links | edit)
- ACM SIGGRAPH (links | edit)
- Programming Language Design and Implementation (conference) (links | edit)
- SIGPLAN (links | edit)
- Department of Computer Science, FMPI, Comenius University (links | edit)
- Róbert Szelepcsényi (links | edit)
- Neil Immerman (links | edit)
- Silvio Micali (links | edit)
- RISKS Digest (links | edit)
- László Lovász (links | edit)
- AdaBoost (links | edit)
- List of Boston University people (links | edit)
- Steven Rudich (links | edit)
- SIGCSE (links | edit)
- List of Carnegie Mellon University people (links | edit)
- Neeraj Kayal (links | edit)
- Lovász local lemma (links | edit)
- Nitin Saxena (links | edit)
- Journal of the ACM (links | edit)
- SIGSOFT (links | edit)
- ACM Queue (links | edit)
- Immerman–Szelepcsényi theorem (links | edit)
- ACM Fellow (links | edit)
- Joseph Halpern (links | edit)
- Paris Kanellakis Award (links | edit)
- Éva Tardos (links | edit)
- St. Columba's School, Delhi (links | edit)
- PCP theorem (links | edit)
- International Colloquium on Automata, Languages and Programming (links | edit)
- University of Electro-Communications (links | edit)
- László Babai (links | edit)
- Gödel prize (redirect page) (links | edit)
- Neeraj Kayal (links | edit)
- Maurice Herlihy (links | edit)
- Moni Naor (links | edit)
- Fazekas Mihály Gimnázium (Budapest) (links | edit)
- Robert Schapire (links | edit)
- Ronald Fagin (links | edit)
- Nir Shavit (links | edit)
- Tim Roughgarden (links | edit)
- Ronald de Wolf (links | edit)
- Kobbi Nissim (links | edit)
- Talk:Indian Institutes of Technology/Archive 1 (links | edit)
- Wikipedia:Articles for deletion/Log/2011 October 1 (links | edit)
- Wikipedia:Articles for deletion/List of important publications in theoretical computer science (links | edit)
- Wikipedia talk:WikiProject Mathematics/Archive/2010/Apr (links | edit)
- Design Automation Conference (links | edit)
- Christos Papadimitriou (links | edit)
- MIT Department of Mathematics (links | edit)
- Alexander Razborov (links | edit)
- Christofides algorithm (links | edit)
- Primality certificate (links | edit)
- Special Interest Group on Design Automation (links | edit)
- SIGMOBILE (links | edit)
- Deterministic pushdown automaton (links | edit)
- Separation logic (links | edit)
- Mario Szegedy (links | edit)
- ACM SIGACT (links | edit)
- Eckert–Mauchly Award (links | edit)
- Knuth Prize (links | edit)
- Godel Prize (redirect page) (links | edit)
- Manindra Agrawal (links | edit)
- Martin Dyer (links | edit)
- Timeline of women in computing (links | edit)
- List of University of Toronto faculty (links | edit)
- List of IIT Kanpur people (links | edit)
- Talk:Indian Institutes of Technology/Archive 1 (links | edit)
- User:Rcmulcrone (links | edit)
- User:Kakugudiya/sandbox (links | edit)
- Wikipedia:Articles for deletion/Log/2006 July 16 (links | edit)
- Wikipedia:Articles for deletion/Neeraj Kayal (links | edit)
- Wikipedia:Articles for deletion/Log/2013 May 9 (links | edit)
- Wikipedia:Articles for deletion/Debajyoti Mukhopadhyay (links | edit)
- Noga Alon (links | edit)
- List of Cornell University faculty (links | edit)
- Charles Rackoff (links | edit)
- History of Programming Languages (conference) (links | edit)
- Gordon Bell Prize (links | edit)
- Special Interest Group on Knowledge Discovery and Data Mining (links | edit)
- SIGMOD (links | edit)
- SIGSAM (links | edit)
- List of Rutgers University people (links | edit)
- List of University of Edinburgh people (links | edit)
- Avi Wigderson (links | edit)
- Yoram Moses (links | edit)
- Symposium on Principles of Programming Languages (links | edit)
- Dan Boneh (links | edit)
- Yoav Freund (links | edit)
- SIGMETRICS (links | edit)
- Talpiot program (links | edit)
- Maurice Herlihy (links | edit)
- Omer Reingold (links | edit)
- List of Stony Brook University people (links | edit)
- International Symposium on Computer Architecture (links | edit)
- Moni Naor (links | edit)
- Seinosuke Toda (links | edit)
- Design Automation and Test in Europe (links | edit)
- International Symposium on Physical Design (links | edit)
- Moshe Vardi (links | edit)
- ACM Multimedia (links | edit)
- Conference on Human Factors in Computing Systems (links | edit)
- Special Interest Group on Information Retrieval (links | edit)
- Robert Schapire (links | edit)
- ACM Software System Award (links | edit)
- List of International Mathematical Olympiad participants (links | edit)
- Shmuel Safra (links | edit)
- SIGCHI (links | edit)
- ACM Interactions (links | edit)
- Goedel prize (redirect page) (links | edit)
- Algorithmic game theory (links | edit)
- Member of the Academia Europaea (links | edit)
- Goedel Prize (redirect page) (links | edit)
- CHI Academy (links | edit)
- Rajeev Motwani (links | edit)
- Mike Paterson (links | edit)
- SIGACCESS (links | edit)
- Toda's theorem (links | edit)
- Smoothed analysis (links | edit)
- Ronald Fagin (links | edit)
- Symmetric Turing machine (links | edit)
- Shang-Hua Teng (links | edit)
- Symposium on Principles of Database Systems (links | edit)
- SIGDOC (links | edit)
- ACM Transactions on Mathematical Software (links | edit)
- Structural complexity theory (links | edit)
- Daniel Spielman (links | edit)
- Mark Jerrum (links | edit)
- Alistair Sinclair (links | edit)
- SIGUCCS (links | edit)
- Symposium on Principles of Distributed Computing (links | edit)
- Symposium on Parallelism in Algorithms and Architectures (links | edit)
- Symposium on Theory of Computing (links | edit)
- Sanjeev Arora (links | edit)
- Symposium on Principles and Practice of Parallel Programming (links | edit)
- Federated Computing Research Conference (links | edit)
- Streaming algorithm (links | edit)
- Carsten Lund (links | edit)
- Parity function (links | edit)
- Gábor Tardos (links | edit)
- Cynthia Dwork (links | edit)
- Göedel Prize (redirect page) (links | edit)
- Differential privacy (links | edit)
- Learning with errors (links | edit)
- Journal of Computer and System Sciences (links | edit)
- Salil Vadhan (links | edit)
- ACM Computing Surveys (links | edit)
- Uriel Feige (links | edit)
- Nir Shavit (links | edit)
- Michael Saks (mathematician) (links | edit)
- List of University of Chicago faculty (links | edit)
- ACM/IEEE Supercomputing Conference (links | edit)
- Symposium on Operating Systems Principles (links | edit)
- International Conference on Architectural Support for Programming Languages and Operating Systems (links | edit)
- Acta Informatica (links | edit)
- Irit Dinur (links | edit)
- Joint Conference on Digital Libraries (links | edit)
- Joseph S. B. Mitchell (links | edit)
- Ken Kennedy Award (links | edit)
- List of French scientists (links | edit)
- List of Russian scientists (links | edit)
- List of Russian IT developers (links | edit)
- List of Russian mathematicians (links | edit)
- Symposium on Computational Geometry (links | edit)
- Ryan Williams (computer scientist) (links | edit)
- SPLASH (conference) (links | edit)
- Shlomo Moran (links | edit)
- Peter O'Hearn (links | edit)
- XRDS (magazine) (links | edit)
- International Symposium on Memory Management (links | edit)
- Switching lemma (links | edit)
- Conference on Information and Knowledge Management (links | edit)
- Géraud Sénizergues (links | edit)
- List of Israeli Ashkenazi Jews (links | edit)
- Yossi Matias (links | edit)
- Pierre Wolper (links | edit)
- International Symposium on Microarchitecture (links | edit)
- Noam Nisan (links | edit)
- Moti Yung (links | edit)
- Tim Roughgarden (links | edit)
- ACM SIGWEB (links | edit)
- Distributed Event-Based Systems (links | edit)
- ACM Symposium on User Interface Software and Technology (links | edit)
- University of Illinois Department of Computer Science (links | edit)
- International Symposium on Symbolic and Algebraic Computation (links | edit)
- Fotios Zaharoglou (links | edit)
- Matthew K. Franklin (links | edit)
- SIGCSE Technical Symposium on Computer Science Education (links | edit)
- ACM Eugene L. Lawler Award (links | edit)
- Antoine Joux (links | edit)
- List of people from Southern Italy (links | edit)
- ACM/IEEE Virtual Reality International Conference (links | edit)
- Timeline of women in computing (links | edit)
- Penny Crane Award for Distinguished Service (links | edit)
- Symposium on Discrete Algorithms (links | edit)
- Michael Kearns (computer scientist) (links | edit)
- Computers in Entertainment (links | edit)
- Craig Gentry (computer scientist) (links | edit)
- ACM Transactions on Algorithms (links | edit)
- ACM SIGLOG (links | edit)
- Genetic and Evolutionary Computation Conference (links | edit)
- SIGAI (links | edit)
- ACM-W (links | edit)
- Richard Tapia Celebration of Diversity in Computing (links | edit)
- Coalition to Diversify Computing (links | edit)
- Center for Minorities and People with Disabilities in Information Technology (links | edit)
- Kurds in Israel (links | edit)
- Kalai Prize (links | edit)
- ACM Prize in Computing (links | edit)
- ACM Student Research Competition (links | edit)
- ACM SIGARCH (links | edit)
- Maurice Wilkes Award (links | edit)
- Alan D. Berenbaum Distinguished Service Award (links | edit)
- ACM SIGHPC (links | edit)
- ACM SIGOPS (links | edit)
- ACM Transactions on Applied Perception (links | edit)
- ACM Doctoral Dissertation Award (links | edit)
- List of Shanghai Jiao Tong University alumni (links | edit)
- List of Cornell University alumni (natural sciences) (links | edit)
- ACM Conference on Fairness, Accountability, and Transparency (links | edit)
- Equivalence problem (links | edit)
- Kobbi Nissim (links | edit)
- Oded Regev (computer scientist) (links | edit)
- Elias Koutsoupias (links | edit)
- List of computer science awards (links | edit)
- Adam D. Smith (links | edit)
- Frank McSherry (links | edit)
- Jin-Yi Cai (links | edit)
- Gödel Lecture (links | edit)
- Xi Chen (links | edit)
- AAAI/ACM Conference on AI, Ethics, and Society (links | edit)
- ACM Conference on Recommender Systems (links | edit)
- Vinod Vaikuntanathan (links | edit)
- Zvika Brakerski (links | edit)
- Serge Massar (links | edit)
- AAAI Award for Artificial Intelligence for the Benefit of Humanity (links | edit)
- Amir Ronen (links | edit)