Presburger Award

The Presburger Award, started in 2010, is awarded each year by the European Association for Theoretical Computer Science (EATCS) to "a young scientist for outstanding contributions in theoretical computer science, documented by a published paper or a series of published papers." The award is named after Mojżesz Presburger, who accomplished his path-breaking work on decidability of the theory of addition (which today is called Presburger arithmetic) as a student in 1929.

Past recipients of the award are:

See also

References

  1. ^ a b "Presburger Award, EATCS". Retrieved 2012-04-23.
  2. ^ "Presburger Award 2012, EATCS". Retrieved 2012-04-23.
  3. ^ "Presburger Award 2013, EATCS". Retrieved 2013-02-15.
  4. ^ "Presburger Award 2014, EATCS". Retrieved 2014-03-08.
  5. ^ "Presburger Award 2019 Laudatio, EATCS".
  6. ^ "The EATCS bestows the Presburger Award 2020 on Dmitriy Zhuk". European Association for Theoretical Computer Science. Retrieved 2020-06-26.
  7. ^ "Presburger Award 2021 – Laudatio for Shayan Oveis Gharan". European Association for Theoretical Computer Science. Retrieved 2021-05-18.
  8. ^ "Presburger Award 2022 – Laudatio for Dor Minzer". European Association for Theoretical Computer Science. Retrieved 2022-07-14.
  9. ^ "Presburger Award 2023". eatcs.org. European Association for Theoretical Computer Science. Retrieved 2024-07-01.
  10. ^ "Presburger Award 2024 – Laudatio". eatcs.org. European Association for Theoretical Computer Science. Retrieved 2024-07-01.


Stub icon

This biographical article relating to a computer specialist is a stub. You can help Wikipedia by expanding it.

Read other articles:

بروكبورت (نيويورك)

بروكبورت     الإحداثيات 43°12′51″N 77°56′22″W / 43.2142°N 77.9394°W / 43.2142; -77.9394   [1] تاريخ التأسيس 1829  تقسيم إداري  البلد الولايات المتحدة[2]  التقسيم الأعلى مقاطعة مونرو  خصائص جغرافية  المساحة 2.2 ميل مربع  ارتفاع 518 قدم  عدد السكان  عدد الس...

 

العلاقات العراقية الكندية

العلاقات العراقية الكندية العراق كندا   العراق   كندا تعديل مصدري - تعديل   العلاقات العراقية الكندية هي العلاقات الثنائية التي تجمع بين العراق وكندا.[1][2][3][4][5] مقارنة بين البلدين هذه مقارنة عامة ومرجعية للدولتين: وجه المقارنة العراق كندا �...

 

William Tilghman

American judge (1756–1827) For the lawman and gunfighter in the American West, see Bill Tilghman. William Tilghmanportrait by Rembrandt PealeChief Justice of the Supreme Court of PennsylvaniaIn office1806–1827Preceded byEdward Shippen IVSucceeded byJohn Bannister GibsonChief Judge of the United States Circuit Court for the Third CircuitIn officeMarch 3, 1801 – March 8, 1802Appointed byJohn AdamsPreceded bySeat established by 2 Stat. 89Succeeded bySeat abolished Personal details...

Cazis

Cazis Lambang kebesaranNegaraSwissKantonGraubündenDistrikHinterrheinPemerintahan • WalikotaMario KolleggerLuas[1] • Total31,18 km2 (12,04 sq mi)Ketinggian659 m (2,162 ft)Populasi (Kesalahan: waktu tidak sah.[2]) • Total2,008 • Kepadatan64/km2 (170/sq mi)Kode pos7408Kode area telepon3661Dikelilingi olehFürstenau, Masein, Paspels, Pratval, Rhäzüns, Rodels, Rothenbrunnen, Thusis, Tumegl/TomilsS...

 

Death on the Road

2005 live album by Iron Maiden Death on the RoadLive album and video by Iron MaidenReleased 29 August 2005 (2005-08-29) (audio) 6 February 2006 (video) Recorded24 November 2003VenueWestfalenhallen, DortmundGenreHeavy metalLength94:25LabelEMIDirectorSteve HarrisProducerKevin ShirleyIron Maiden live albums chronology Beast over Hammersmith(2002) Death on the Road(2003) Flight 666(2009) Iron Maiden video chronology The Early Days(2004) Death on the Road(2006) Live Afte...

 

Hans Kuhn (philologist)

German philologist (1899–1988) Hans KuhnBorn(1899-07-13)13 July 1899Minden, GermanyDied8 October 1988(1988-10-08) (aged 89)Kiel, GermanyNationalityGermanAcademic backgroundAlma mater University of Münster Academic advisorsKarl HelmInfluencesJan de VriesAcademic workDiscipline Germanic philology Sub-discipline Nordic philology Institutions University of Münster University of Leipzig University of Berlin University of Kiel Notable students Klaus von See Dietrich Hofmann Main interests ...

Melayu Cocos

Melayu CocosPengantin Melayu dalam acara pernikahan di Kepulauan Cocos (Keeling), 1912.Daerah dengan populasi signifikan Malaysia 4.000[1]  Kepulauan Cocos (Keeling) 400BahasaMelayu Cocos, Inggris, MalaysiaAgamaIslamKelompok etnik terkaitJawa, Betawi, Sunda Melayu Cocos adalah sekelompok masyarakat asli/lokal yang berbudaya Melayu yang membentuk mayoritas penduduk Kepulauan Cocos (Keeling), yang sekarang merupakan bagian wilayah/teritori dari negara Australia. Meskipun merek...

 

White Salmon, Washington

City in Washington, United StatesWhite SalmonCityWhite Salmon, WashingtonWhite Salmon City Hall.Nickname: The Land Where The Sun Meets The RainCoordinates: 45°43′44″N 121°29′1″W / 45.72889°N 121.48361°W / 45.72889; -121.48361CountryUnited StatesStateWashingtonCountyKlickitatArea[1] • Total1.54 sq mi (3.98 km2) • Land1.54 sq mi (3.98 km2) • Water0.00 sq mi (0.00 km...

 

大字 (数字)

この項目には、一部のコンピュータや閲覧ソフトで表示できない文字が含まれています（詳細）。 数字の大字（だいじ）は、漢数字の一種。通常用いる単純な字形の漢数字（小字）の代わりに同じ音の別の漢字を用いるものである。 概要 壱万円日本銀行券（「壱」が大字） 弐千円日本銀行券（「弐」が大字） 漢数字には「一」「二」「三」と続く小字と、「壱」「�...

Guyana Football Federation

National Football association of Guyana Guyana Football FederationCONCACAFShort nameGFFFounded1902HeadquartersGeorgetownFIFA affiliation1970CONCACAF affiliationbetween 1969 and 1971[1][2]PresidentWayne FordeWebsiteGuyana Football Federation The Guyana Football Federation is the governing body of football in Guyana. It controls the Guyana national football team. The GFF has sanctioned the Elite League as the highest tier of football in the country.[3] Staff As of 22...

 

Tony Baxter

American amusement ride designer Tony BaxterBaxter in 2009Born (1947-02-01) February 1, 1947 (age 77)Los Angeles, California, U.S.NationalityAmericanEducationSanta Ana High School, California State University, Long BeachOccupation(s)Senior Vice President, Creative Development, Walt Disney Imagineering, formerly known as WED EnterprisesYears active1965–2016, 2020 (Tiana's Bayou Adventure)Board member ofWalt Disney ImagineeringAwardsTHEA Award, Lifetime Achievement Disney Legen...

 

新罕布什尔州

坐标：43°11′38″N 71°34′21″W / 43.1938516°N 71.5723953°W / 43.1938516; -71.5723953 此條目需要补充更多来源。 (2017年5月21日)请协助補充多方面可靠来源以改善这篇条目，无法查证的内容可能會因為异议提出而被移除。致使用者：请搜索一下条目的标题（来源搜索：新罕布什尔州 — 网页、新闻、书籍、学术、图像），以检查网络上是否存在该主题的更多可靠来源...

哈萨克斯坦总统

此条目序言章节没有充分总结全文内容要点。 (2019年3月21日)请考虑扩充序言，清晰概述条目所有重點。请在条目的讨论页讨论此问题。 哈萨克斯坦總統哈薩克總統旗現任Қасым-Жомарт Кемелұлы Тоқаев卡瑟姆若马尔特·托卡耶夫自2019年3月20日在任任期7年首任努尔苏丹·纳扎尔巴耶夫设立1990年4月24日（哈薩克蘇維埃社會主義共和國總統） 哈萨克斯坦 哈萨克斯坦政府...

 

MinnPost

Non-profit organisation in the US MinnPostTypeNonprofit online newspaperFounder(s)Joel KramerLaurie KramerEditorAndrew PutzManaging editorHarry Colbert Jr.News editorTom NehilStaff writersEric BlackPeter CallaghanSolomon GustavoGreta KaulWalker OrensteinFounded2007; 17 years ago (2007)HeadquartersMinneapolis, Minnesota, United StatesOCLC number191956532 Websiteminnpost.com See also: List of newspapers in Minnesota MinnPost is a nonprofit online newspaper in Minneapolis, foun...

 

Daging gajah

Daging gajah yang disita oleh U.S. Customs and Border Protection Daging gajah adalah daging dan bagian pangan lain dari gajah. Sejarah Daging gajah tampaknya telah menjadi sumber pangan bagi manusia pada masa kemunculan spesies tersebut. Pada masa permulaan Palaeolitikum Pertengahan, sekitar 120.000 SM, masyarakat Afrika merupakan pemburu-peramu yang bergantung pada perburuan gajah untuk diambil dagingnya. Sebuah spesimen dari Palaeoloxodon antiquus yang sekarang telah punah ditemukan di Lemb...

郭位

Professor郭位JP 教授第4任香港城市大學校長任期2008年5月14日—2023年5月13日 前任張信剛何炘基（署理校長）继任梅彥昌 个人资料性别男出生 (1951-01-05) 1951年1月5日（73歲） 中華民國臺灣省臺北市国籍 中華民國 美国 学历 國立清華大學核子工程與科學研究所 美國堪薩斯州立大學工程博士 郭位，JP（1951年1月5日—），生於臺灣臺北市[1]，美國國家工程院院士、中...

 

Pepper Potts

Marvel Comics fictional character Comics character Pepper PottsPepper Potts / Rescue.Cover of The Invincible Iron Man Vol. 2 #29(August 2010).Art by Stuart Immonen.Publication informationPublisherMarvel ComicsFirst appearanceAs Pepper Potts:Tales of Suspense #45 (September 1963)As Rescue:The Invincible Iron Man #10 (May 2009)Created byPepper Potts:Stan Lee (writer)Robert Bernstein (writer)Don Heck (artist)Rescue:Matt Fraction (writer)Salvador Larroca (artist)In-story informationFull nameVirgi...

 

Tratados da União Europeia

Este artigo não cita fontes confiáveis. Ajude a inserir referências. Conteúdo não verificável pode ser removido.—Encontre fontes: ABW  • CAPES  • Google (N • L • A) (Junho de 2019) Musei Capitolini, onde foi assinado o Tratado de Roma, de 1957 O Tratado de Roma (tratado constitutivo da Comunidade Económica Europeia) foi modificado, sucessivamente, pelos seguintes documentos: Acto Único Europeu, assinado no Luxemburgo, efe...

Éclipse solaire du 8 avril 2005

Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus. Cet article ne cite pas suffisamment ses sources (février 2015). Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites web de qualité traitant du thème abordé ici, merci de compléter l'article en donnant les références utiles à sa vérifiabilité et en les liant à la section « Notes et références ». En pratique : Quelles sources sont attendues ? ...

 

ルーズソックス

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方）出典検索?: ルーズソックス – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2011年11月) ルーズソックス ルーズソックス ルーズソ�...