Azərbaycanca AzərbaycancaБеларускі БеларускіDansk DanskDeutsch DeutschEspañola EspañolaFrançais FrançaisIndonesia IndonesiaItaliana Italiana日本語 日本語Қазақ ҚазақLietuvos LietuvosNederlands NederlandsPortuguês PortuguêsРусский Русскийසිංහල සිංහලแบบไทย แบบไทยTürkçe TürkçeУкраїнська Українська中國人 中國人United State United StateAfrikaans Afrikaans
Поддерживать
www.wikidata.ru-ru.nina.az

Премия Гёделя англ Gödel Prize премия в области теории вычислительных систем имени Курта Гёделя вручаемая ежегодно орган

Премия Гёделя

Премия Гёделя (англ. Gödel Prize) — премия в области теории вычислительных систем имени Курта Гёделя, вручаемая ежегодно организациями ACM (SIGACT), (Special Interest Group on Algorithms and Computation Theory) и (EATCS), (European Association for Theoretical Computer Science) за выдающиеся труды по логике и теоретической информатике.

image
Курт Гёдель в 1925 году

Премия вручается с 1993 года и сопровождается денежным вознаграждением размером в 5000 долларов США. Награждение проходит либо на американском симпозиуме [англ.], (Symposium on Theory of Computing), либо на европейской конференции [англ.], (International Colloquium on Automata, Languages and Programming). Основным требованием к работе является дата первой публикации — к номинации допускаются лишь труды не старше 14 лет.

Лауреаты

Год Имя Примечания
1993 (Ласло Бабаи), (Шафи Гольдвассер), (Сильвио Микали), (Шломо Моран) и [англ.] за разработку [англ.].
1994 [англ.] за доказательство экспоненциальной нижней оценки на подсчёт чётности при помощи булевых схем константной глубины.
1995 [англ.], [англ.] за [англ.] (теория сложности вычислений).
1996 [англ.], [англ.] за исследования (цепей Маркова) и аппроксимацию (перманента матриц).
1997 [англ.], (Йорам Мозес) за формальное определение понятия «знание» в распределённых средах.
1998 [англ.] за [англ.], которая показала связь между классами сложности (PP) и (PH).
1999 (Питер Шор) за (алгоритм Шора) для (факторизации) чисел за полиномиальное количество времени на (квантовом компьютере).
2000 (Моше Варди), [англ.] за исследование (проверки моделей) с помощью (конечных автоматов).
2001 (Санджив Арора), (Уриэль Фейге), (Шафи Гольдвассер), [англ.], (Ласло Ловас), (Раджив Мотвани), [англ.], (Мадху Судан), [англ.] за (теорему PCP) и её приложение.
2002 [англ.] за доказательство (разрешимости) эквивалентности детерминированных (автоматов с магазинной памятью).
2003 [англ.] и [англ.] за алгоритм (AdaBoost).
2004 (Морис Херлихи), [англ.], (Нир Шавит) и (Фотиос Захароглу) за приложение топологии в теории распределённых вычислений.
2005 (Нога Алон), [англ.], [англ.] за основополагающие исследования в области (потоковых алгоритмов).
2006 [англ.], [англ.], [англ.] за (тест Агравала — Каяла — Саксены).
2007 (Александр Разборов), [англ.] за «».
2008 (Тэн Шанхуа), (Дэниэл Спилмен) за «» алгоритмов.
2009 [англ.], [англ.], (Ави Вигдерсон) за (зигзаг-произведение) графов и нахождение (логарифмического по памяти) детерминированного алгоритма решения задачи [англ.].
2010 (Санджив Арора), [англ.] за открытие полиномиальной по времени приближённой схемы (PTAS) для евклидовой задачи коммивояжёра.
2011 [англ.] за доказательство неаппроксимируемости для различных комбинаторных задач.
2012 [фр.], (Христос Пападимитриу), [англ.], (Эва Тардош), [англ.], [фр.] за вклад в понимание того, как эгоистичное поведение пользователей и поставщиков услуг влияет на поведение Интернета и других сложных вычислительных систем.
2013 [англ.], (Дэн Боне), [англ.] за работы по криптографии.
2014 [англ.], [фр.], [англ.] за алгоритмы оптимальной агрегации для Middleware.
2015 (Дэниэл Спилмен), (Тэн Шанхуа) за серию работ о быстром решении систем линейных уравнений.
2016 [фр.], [англ.] за разработку .
2017 (Синтия Дворк), [фр.], [фр.], [фр.] (Дифференциальная приватность).
2018 (Одед Регев) (Обучение с ошибками).
2019 [англ.] за новое, более простое доказательство (теоремы PCP) методом увеличения зазора.
2020 [англ.] и [англ.] за (алгоритмическую версию локальной леммы Ловаса)
2021 (Андрей Булатов), [англ.], [англ.], [англ.] и Дэвид Ричерби за работу по классификации сложности вычислений в задачах по (удовлетворению ограничений)
2022 [англ.], [англ.] и [англ.] за новаторский вклад в криптографию при помощи создания схем (полностью гомоморфного шифрования)
2023 Самуэль Фиорини, [англ.] и Себастьян Покутта, Ханс Радж Тивари, Рональд де Вольф и Томас Ротвосс за доказательство того, что любая расширенная формулировка политопа для задачи коммивояжёра имеет экспоненциальный размер
2024 (Райан Уильямс) за его работы по нижним оценкам для схем и парадигму "нижние оценки из алгоритмов"

См. также

Примечания

  1. 2017 Gödel Prize. European Association for Theoretical Computer Science. EATCS. Дата обращения: 29 марта 2017. 16 апреля 2019 года.
  2. 1993 Gödel Prize. Дата обращения: 11 июля 2019. 1 ноября 2021 года.
  3. Gödel Prize — 1993. Дата обращения: 11 июля 2019. 12 октября 2019 года.
  4. 1994 Gödel Prize. Дата обращения: 11 июля 2019. 4 ноября 2021 года.
  5. Gödel Prize — 1994. Дата обращения: 11 июля 2019. 12 октября 2019 года.
  6. 1995 Gödel Prize. Дата обращения: 11 июля 2019. 4 ноября 2021 года.
  7. Gödel Prize — 1995. Дата обращения: 11 июля 2019. 12 октября 2019 года.
  8. 1996 Gödel Prize. Дата обращения: 11 июля 2019. 4 ноября 2021 года.
  9. Gödel Prize — 1996. Дата обращения: 11 июля 2019. 22 июля 2019 года.
  10. 1997 Gödel Prize. Дата обращения: 11 июля 2019. 1 ноября 2021 года.
  11. Gödel Prize — 1997. Дата обращения: 11 июля 2019. 12 октября 2019 года.
  12. 1998 Gödel Prize. Дата обращения: 11 июля 2019. 4 ноября 2021 года.
  13. Gödel Prize — 1998. Дата обращения: 11 июля 2019. 12 октября 2019 года.
  14. 1999 Gödel Prize. Дата обращения: 11 июля 2019. 6 августа 2020 года.
  15. Gödel Prize — 1999. Дата обращения: 11 июля 2019. 12 октября 2019 года.
  16. 2000 Gödel Prize. Дата обращения: 11 июля 2019. 4 ноября 2021 года.
  17. Gödel Prize — 2000. Дата обращения: 11 июля 2019. 12 октября 2019 года.
  18. 2001 Gödel Prize. Дата обращения: 11 июля 2019. 22 апреля 2021 года.
  19. Gödel Prize — 2001. Дата обращения: 11 июля 2019. 12 октября 2019 года.
  20. 2002 Gödel Prize. Дата обращения: 11 июля 2019. 1 ноября 2021 года.
  21. Gödel Prize — 2002. Дата обращения: 11 июля 2019. 12 октября 2019 года.
  22. 2003 Gödel Prize. Дата обращения: 11 июля 2019. 13 апреля 2021 года.
  23. Gödel Prize — 2003. Дата обращения: 11 июля 2019. 12 октября 2019 года.
  24. 2004 Gödel Prize. Дата обращения: 2 июля 2019. 4 ноября 2021 года.
  25. Gödel Prize — 2004. Дата обращения: 11 июля 2019. 12 октября 2019 года.
  26. 2005 Gödel Prize. Дата обращения: 2 июля 2019. 1 ноября 2021 года.
  27. Gödel Prize — 2005. Дата обращения: 11 июля 2019. 12 октября 2019 года.
  28. 2006 Gödel Prize. Дата обращения: 11 июля 2019. 4 ноября 2021 года.
  29. Gödel Prize — 2006. Дата обращения: 11 июля 2019. 12 октября 2019 года.
  30. 2007 Gödel Prize. Дата обращения: 11 июля 2019. 4 ноября 2021 года.
  31. Gödel Prize — 2007. Дата обращения: 12 апреля 2018. 12 апреля 2018 года.
  32. 2008 Godel Prize. Дата обращения: 1 июля 2019. 1 ноября 2021 года.
  33. 2009 Gödel Prize. Дата обращения: 11 июля 2019. 7 января 2021 года.
  34. 2010 Godel Prize. Дата обращения: 11 июля 2019. 4 ноября 2021 года.
  35. 2011 Godel Prize. Дата обращения: 11 июля 2019. 4 ноября 2021 года.
  36. . 2012-05-16. Архивировано из оригинала 18 июля 2013. Дата обращения: 16 мая 2012.
  37. Gödel Prize — 2013. Дата обращения: 12 июля 2019. 12 июля 2019 года.
  38. ACM Group Presents Gödel Prize for Advances in Cryptography — Association for Computing Machinery 1 июня 2013 года.
  39. Gödel Prize 2014. Дата обращения: 12 апреля 2018. 13 апреля 2018 года.
  40. 2015 Gödel Prize. Дата обращения: 1 июля 2019. 21 мая 2020 года.
  41. Gödel Prize 2015. Дата обращения: 12 июля 2019. 12 июля 2019 года.
  42. 2016 Gödel Prize. Дата обращения: 15 января 2017. 6 февраля 2017 года.
  43. 2017 Gödel Prize. Дата обращения: 6 мая 2019. 11 июля 2017 года.
  44. 2018 Gödel Prize. Дата обращения: 12 апреля 2018. 5 октября 2018 года.
  45. Knuth and Gödel Prizes to be Awarded at 2019 ACM SIGACT Conference. Дата обращения: 22 июня 2019. 22 июня 2019 года.
  46. 2019 Gödel Prize citation. Дата обращения: 6 мая 2019. 28 июля 2020 года.
  47. 2020 Gödel Prize. Дата обращения: 13 мая 2020. 16 июля 2020 года.
  48. 2021 Gödel Prize citation.
  49. 2022 Gödel Prize citation.
  50. 2023 Gödel Prize citation.
  51. 2024 Gödel Prize citation.

Ссылки

Википедия, чтение, книга, библиотека, поиск, нажмите, истории, книги, статьи, wikipedia, учить, информация, история, скачать, скачать бесплатно, mp3, видео, mp4, 3gp, jpg, jpeg, gif, png, картинка, музыка, песня, фильм, игра, игры, мобильный, телефон, Android, iOS, apple, мобильный телефон, Samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Сеть, компьютер

Дата публикации:
Premiya Gyodelya angl Godel Prize premiya v oblasti teorii vychislitelnyh sistem imeni Kurta Gyodelya vruchaemaya ezhegodno organizaciyami ACM SIGACT Special Interest Group on Algorithms and Computation Theory i EATCS European Association for Theoretical Computer Science za vydayushiesya trudy po logike i teoreticheskoj informatike Kurt Gyodel v 1925 godu Premiya vruchaetsya s 1993 goda i soprovozhdaetsya denezhnym voznagrazhdeniem razmerom v 5000 dollarov SShA Nagrazhdenie prohodit libo na amerikanskom simpoziume angl Symposium on Theory of Computing libo na evropejskoj konferencii angl International Colloquium on Automata Languages and Programming Osnovnym trebovaniem k rabote yavlyaetsya data pervoj publikacii k nominacii dopuskayutsya lish trudy ne starshe 14 let LaureatyGod Imya Primechaniya1993 Laslo Babai Shafi Goldvasser Silvio Mikali Shlomo Moran i angl za razrabotku angl 1994 angl za dokazatelstvo eksponencialnoj nizhnej ocenki na podschyot chyotnosti pri pomoshi bulevyh shem konstantnoj glubiny 1995 angl angl za angl teoriya slozhnosti vychislenij 1996 angl angl za issledovaniya cepej Markova i approksimaciyu permanenta matric 1997 angl Joram Mozes za formalnoe opredelenie ponyatiya znanie v raspredelyonnyh sredah 1998 angl za angl kotoraya pokazala svyaz mezhdu klassami slozhnosti PP i PH 1999 Piter Shor za algoritm Shora dlya faktorizacii chisel za polinomialnoe kolichestvo vremeni na kvantovom kompyutere 2000 Moshe Vardi angl za issledovanie proverki modelej s pomoshyu konechnyh avtomatov 2001 Sandzhiv Arora Uriel Fejge Shafi Goldvasser angl Laslo Lovas Radzhiv Motvani angl Madhu Sudan angl za teoremu PCP i eyo prilozhenie 2002 angl za dokazatelstvo razreshimosti ekvivalentnosti determinirovannyh avtomatov s magazinnoj pamyatyu 2003 angl i angl za algoritm AdaBoost 2004 Moris Herlihi angl Nir Shavit i Fotios Zaharoglu za prilozhenie topologii v teorii raspredelyonnyh vychislenij 2005 Noga Alon angl angl za osnovopolagayushie issledovaniya v oblasti potokovyh algoritmov 2006 angl angl angl za test Agravala Kayala Sakseny 2007 Aleksandr Razborov angl za 2008 Ten Shanhua Deniel Spilmen za algoritmov 2009 angl angl Avi Vigderson za zigzag proizvedenie grafov i nahozhdenie logarifmicheskogo po pamyati determinirovannogo algoritma resheniya zadachi angl 2010 Sandzhiv Arora angl za otkrytie polinomialnoj po vremeni priblizhyonnoj shemy PTAS dlya evklidovoj zadachi kommivoyazhyora 2011 angl za dokazatelstvo neapproksimiruemosti dlya razlichnyh kombinatornyh zadach 2012 fr Hristos Papadimitriu angl Eva Tardosh angl fr za vklad v ponimanie togo kak egoistichnoe povedenie polzovatelej i postavshikov uslug vliyaet na povedenie Interneta i drugih slozhnyh vychislitelnyh sistem 2013 angl Den Bone angl za raboty po kriptografii 2014 angl fr angl za algoritmy optimalnoj agregacii dlya Middleware 2015 Deniel Spilmen Ten Shanhua za seriyu rabot o bystrom reshenii sistem linejnyh uravnenij 2016 fr angl za razrabotku parallelnoj logiki razdeleniya 2017 Sintiya Dvork fr fr fr Differencialnaya privatnost 2018 Oded Regev Obuchenie s oshibkami 2019 angl za novoe bolee prostoe dokazatelstvo teoremy PCP metodom uvelicheniya zazora 2020 angl i angl za algoritmicheskuyu versiyu lokalnoj lemmy Lovasa2021 Andrej Bulatov angl angl angl i Devid Richerbi za rabotu po klassifikacii slozhnosti vychislenij v zadachah po udovletvoreniyu ogranichenij2022 angl angl i angl za novatorskij vklad v kriptografiyu pri pomoshi sozdaniya shem polnostyu gomomorfnogo shifrovaniya2023 Samuel Fiorini angl i Sebastyan Pokutta Hans Radzh Tivari Ronald de Volf i Tomas Rotvoss za dokazatelstvo togo chto lyubaya rasshirennaya formulirovka politopa dlya zadachi kommivoyazhyora imeet eksponencialnyj razmer2024 Rajan Uilyams za ego raboty po nizhnim ocenkam dlya shem i paradigmu nizhnie ocenki iz algoritmov Sm takzheKurt Gyodel Premiya KnutaPrimechaniya2017 Godel Prize neopr European Association for Theoretical Computer Science EATCS Data obrasheniya 29 marta 2017 16 aprelya 2019 goda 1993 Godel Prize neopr Data obrasheniya 11 iyulya 2019 1 noyabrya 2021 goda Godel Prize 1993 neopr Data obrasheniya 11 iyulya 2019 12 oktyabrya 2019 goda 1994 Godel Prize neopr Data obrasheniya 11 iyulya 2019 4 noyabrya 2021 goda Godel Prize 1994 neopr Data obrasheniya 11 iyulya 2019 12 oktyabrya 2019 goda 1995 Godel Prize neopr Data obrasheniya 11 iyulya 2019 4 noyabrya 2021 goda Godel Prize 1995 neopr Data obrasheniya 11 iyulya 2019 12 oktyabrya 2019 goda 1996 Godel Prize neopr Data obrasheniya 11 iyulya 2019 4 noyabrya 2021 goda Godel Prize 1996 neopr Data obrasheniya 11 iyulya 2019 22 iyulya 2019 goda 1997 Godel Prize neopr Data obrasheniya 11 iyulya 2019 1 noyabrya 2021 goda Godel Prize 1997 neopr Data obrasheniya 11 iyulya 2019 12 oktyabrya 2019 goda 1998 Godel Prize neopr Data obrasheniya 11 iyulya 2019 4 noyabrya 2021 goda Godel Prize 1998 neopr Data obrasheniya 11 iyulya 2019 12 oktyabrya 2019 goda 1999 Godel Prize neopr Data obrasheniya 11 iyulya 2019 6 avgusta 2020 goda Godel Prize 1999 neopr Data obrasheniya 11 iyulya 2019 12 oktyabrya 2019 goda 2000 Godel Prize neopr Data obrasheniya 11 iyulya 2019 4 noyabrya 2021 goda Godel Prize 2000 neopr Data obrasheniya 11 iyulya 2019 12 oktyabrya 2019 goda 2001 Godel Prize neopr Data obrasheniya 11 iyulya 2019 22 aprelya 2021 goda Godel Prize 2001 neopr Data obrasheniya 11 iyulya 2019 12 oktyabrya 2019 goda 2002 Godel Prize neopr Data obrasheniya 11 iyulya 2019 1 noyabrya 2021 goda Godel Prize 2002 neopr Data obrasheniya 11 iyulya 2019 12 oktyabrya 2019 goda 2003 Godel Prize neopr Data obrasheniya 11 iyulya 2019 13 aprelya 2021 goda Godel Prize 2003 neopr Data obrasheniya 11 iyulya 2019 12 oktyabrya 2019 goda 2004 Godel Prize neopr Data obrasheniya 2 iyulya 2019 4 noyabrya 2021 goda Godel Prize 2004 neopr Data obrasheniya 11 iyulya 2019 12 oktyabrya 2019 goda 2005 Godel Prize neopr Data obrasheniya 2 iyulya 2019 1 noyabrya 2021 goda Godel Prize 2005 neopr Data obrasheniya 11 iyulya 2019 12 oktyabrya 2019 goda 2006 Godel Prize neopr Data obrasheniya 11 iyulya 2019 4 noyabrya 2021 goda Godel Prize 2006 neopr Data obrasheniya 11 iyulya 2019 12 oktyabrya 2019 goda 2007 Godel Prize neopr Data obrasheniya 11 iyulya 2019 4 noyabrya 2021 goda Godel Prize 2007 neopr Data obrasheniya 12 aprelya 2018 12 aprelya 2018 goda 2008 Godel Prize neopr Data obrasheniya 1 iyulya 2019 1 noyabrya 2021 goda 2009 Godel Prize neopr Data obrasheniya 11 iyulya 2019 7 yanvarya 2021 goda 2010 Godel Prize neopr Data obrasheniya 11 iyulya 2019 4 noyabrya 2021 goda 2011 Godel Prize neopr Data obrasheniya 11 iyulya 2019 4 noyabrya 2021 goda 2012 05 16 Arhivirovano iz originala 18 iyulya 2013 Data obrasheniya 16 maya 2012 Godel Prize 2013 neopr Data obrasheniya 12 iyulya 2019 12 iyulya 2019 goda ACM Group Presents Godel Prize for Advances in Cryptography Association for Computing Machinery 1 iyunya 2013 goda Godel Prize 2014 neopr Data obrasheniya 12 aprelya 2018 13 aprelya 2018 goda 2015 Godel Prize neopr Data obrasheniya 1 iyulya 2019 21 maya 2020 goda Godel Prize 2015 neopr Data obrasheniya 12 iyulya 2019 12 iyulya 2019 goda 2016 Godel Prize neopr Data obrasheniya 15 yanvarya 2017 6 fevralya 2017 goda 2017 Godel Prize neopr Data obrasheniya 6 maya 2019 11 iyulya 2017 goda 2018 Godel Prize neopr Data obrasheniya 12 aprelya 2018 5 oktyabrya 2018 goda Knuth and Godel Prizes to be Awarded at 2019 ACM SIGACT Conference neopr Data obrasheniya 22 iyunya 2019 22 iyunya 2019 goda 2019 Godel Prize citation neopr Data obrasheniya 6 maya 2019 28 iyulya 2020 goda 2020 Godel Prize neopr Data obrasheniya 13 maya 2020 16 iyulya 2020 goda 2021 Godel Prize citation neopr 2022 Godel Prize citation neopr 2023 Godel Prize citation neopr 2024 Godel Prize citation neopr SsylkiMediafajly na Vikisklade ACM SIGACT Godel Prize ot 9 iyulya 2019 na Wayback Machine angl Godel Prize together with ACM SIGACT ot 29 marta 2018 na Wayback Machine Premiya Gyodelya na sajte EATCS angl
Вершина