www.wikidata.de-de.nina.az

Gödel Preis Der englisch Goedel Prize wird jährlich seit 1993 für herausragende Veröffentlichungen in der theoretischen

Gödel-Preis

Der Gödel-Preis (englisch Goedel Prize) wird jährlich seit 1993 für herausragende Veröffentlichungen in der theoretischen Informatik von der European Association for Theoretical Computer Science (EATCS) und der Association for Computing Machinery (ACM) Special Interest Group on Algorithms and Computation Theory (ACM SIGACT) verliehen. Er ist mit 5000 Dollar dotiert und wird auf der STOC (Symposium on Theory of Computing) der ACM in den USA oder der entsprechenden europäischen Konferenz, der ICALP (International Colloquium on Automata, Languages and Programming) verliehen. Die Arbeit darf nicht älter als 14 Jahre sein (anfangs sogar nicht älter als 7 Jahre).

Der Preis ist nach dem bedeutenden Logiker Kurt Gödel benannt.

Preisträger Bearbeiten

Weblinks Bearbeiten

wikipedia, wiki, deutsches, deutschland, buch, bücher, bibliothek artikel lesen, herunterladen kostenlos kostenloser herunterladen, MP3, Video, MP4, 3GP, JPG, JPEG, GIF, PNG, Bild, Musik, Lied, Film, Buch, Spiel, Spiele
Veröffentlichungsdatum:
Der Godel Preis englisch Goedel Prize wird jahrlich seit 1993 fur herausragende Veroffentlichungen in der theoretischen Informatik von der European Association for Theoretical Computer Science EATCS und der Association for Computing Machinery ACM Special Interest Group on Algorithms and Computation Theory ACM SIGACT verliehen Er ist mit 5000 Dollar dotiert und wird auf der STOC Symposium on Theory of Computing der ACM in den USA oder der entsprechenden europaischen Konferenz der ICALP International Colloquium on Automata Languages and Programming verliehen Die Arbeit darf nicht alter als 14 Jahre sein anfangs sogar nicht alter als 7 Jahre Der Preis ist nach dem bedeutenden Logiker Kurt Godel benannt Preistrager Bearbeiten1993 Laszlo Babai Shafi Goldwasser Silvio Micali Shlomo Moran Charles Rackoff Entwicklung von Interaktiven Beweissystemen 1994 Johan Hastad exponentielle untere Grenze fur die Komplexitat Boolescher Schaltkreise konstanter Tiefe 1995 Neil Immerman Robert Szelepcsenyi Satz von Immerman und Szelepcsenyi uber nichtdeterministische Platzkomplexitat 1996 Mark Jerrum Alistair Sinclair Arbeit uber Markow Ketten und Approximation der Permanente 1997 Joseph Halpern Yoram Moses formale Definition des Begriffs Wissen in verteilten Systemen 1998 Seinosuke Toda fur Todas Theorem in seiner Arbeit PP is as Hard as the Polynomial Time Hierarchy 1999 Peter Shor fur seinen Quantencomputer Algorithmus zur Primfaktorzerlegung 2000 Moshe Y Vardi Pierre Wolper Model Checking bei Endlichen Automaten 2001 Sanjeev Arora Uriel Feige Shafi Goldwasser Carsten Lund Laszlo Lovasz Rajeev Motwani Shmuel Safra Madhu Sudan Mario Szegedy fur das PCP Theorem 2002 Geraud Senizergues Beweis der Entscheidbarkeit der Frage der Aquivalenz deterministischer Pushdown Automaten 2003 Yoav Freund Robert Schapire AdaBoost Algorithmus 2004 Maurice Herlihy Michael Saks Nir Shavit Fotios Zaharoglou fur Anwendungen der Topologie in Theorie der Berechenbarkeit in verteilten Systemen 2005 Noga Alon Yossi Matias Mario Szegedy fur fundamentale Beitrage zu Datenstrom Algorithmen 2006 Manindra Agrawal Neeraj Kayal Nitin Saxena fur ihren Polynomialzeit Primzahltest 2007 Alexander Razborov Steven Rudich fur ihre Arbeit Natural Proofs 2008 Shang Hua Teng Daniel Spielman smoothed analysis von Algorithmen 2009 Omer Reingold Salil Vadhan Avi Wigderson zig zag Produkt von Graphen 2010 Sanjeev Arora Joseph S B Mitchell fur ein polynomielles Approximationsschema fur das euklidische Handlungsreisenden Problem 2011 Johan Hastad fur die Einfuhrung neuer analytischer Techniken in die Theorie der Schwierigkeit der Approximation bei Berechnungsproblemen 2012 Elias Koutsoupias und Christos Papadimitriou Tim Roughgarden und Eva Tardos Noam Nisan und Amir Ronen jeweils fur einen grundlegenden Artikel zur Algorithmischen Spieltheorie 2013 Antoine Joux fur A One Round Protocol for Tripartite Diffie Hellman und Dan Boneh und Matthew K Franklin fur Identity Based Encryption from the Weil Pairing 2014 Ronald Fagin Amnon Lotem und Moni Naor fur Optimal Aggregation Algorithms for Middleware 2015 Daniel A Spielman und Shang Hua Teng fur nearly linear time Laplacian solvers 2016 Stephen Brookes und Peter W O Hearn fur Concurrent Separation Logic 2017 Cynthia Dwork Frank McSherry Kobbi Nissim und Adam Davison Smith fur ihren Aufsatz Calibrating Noise to Sensitivity in Private Data Analysis zu Differential Privacy 2018 Oded Regev fur On lattices learning with errors random linear codes and cryptography gitterbasierte Kryptographie Lernen mit Fehlern 2019 Irit Dinur fur The PCP theorem by gap amplification PCP Theorem 2020 Robin A Moser Gabor Tardos fur A constructive proof of the general Lovasz Local Lemma konstruktive algorithmische Version des Lovasz Local Lemma 2021 Andrei Bulatov fur The Complexity of the Counting Constraint Satisfaction Problem Martin E Dyer David Richerby fur An Effective Dichotomy for the Counting Constraint Satisfaction Problem Jin Yi Cai Xi Chen fur Complexity of Counting CSP with Complex Weights Abzahl Constraint Satisfaction Problem 2022 Zvika Brakerski Vinod Vaikuntanathan fur Efficient Fully Homomorphic Encryption from Standard LWE Zvika Brakerski Craig Gentry Vinod Vaikuntanathan Leveled fully homomorphic encryption without bootstrapping homomorphe Verschlusselung 2023 Samuel Fiorini Serge Massar Sebastian Pokutta Hans Raj Tiwary Ronald de Wolf fur Exponential Lower Bounds for Polytopes in Combinatorial Optimization Thomas Rothvoss fur The matching polytope has exponential extension complexityWeblinks BearbeitenOffizielle Webseite bei der ACM SIGACT Offizielle Webseite bei der EATCS Abgerufen von https de wikipedia org w index php title Godel Preis amp oldid 233955505