Gödel Prize (together with ACM SIGACT)
The Gödel Prize for outstanding papers in the area of theoretical computer science is sponsored jointly by the ACM SIGACT. This award is presented annually, with the presentation taking place alternately at the International Colloquium on Automata, Languages, and Programming (ICALP) and ACM Symposium on the Theory of Computing (STOC). The Prize is named in honor of Kurt Gödel in recognition of his major contributions to mathematical logic and of his interest, discovered in a letter he wrote to John von Neumann shortly before Neumann's death, in what has become the famous "P versus NP" question. The Prize includes an award of $5000 (US).
Nominations and Eligibility
Nominations may be made by any member of the scientific community. A nomination should contain a brief summary of the technical content of each nominated paper and a brief explanation of its significance. A copy of the research paper or papers should accompany the nomination.The nomination must state the bibliographic data of the first (preliminary) conference publication of the main results or state that no conference publication has occurred.
The work may be in any language. However, if it is not in English, a more extended summary written in English should be enclosed. Additional recommendations in favor of the nominated work may also be enclosed. To be considered for the award, the paper or series of papers must be recommended by at least two individuals, either in the form of two distinct nominations or one nomination including recommendations from two different people. It is the duty of the Award Committee to actively solicit nominations from as broad a spectrum of the theoretical computer science community as possible, so as to ensure that potential award-winning papers are not overlooked. To this end, the Award Committee will accept informal proposals for potential nominees, as well as tentative offers to prepare formal nominations, should they be needed to fulfill the requirements that the paper have two separate recommendations. Those intending to submit a nomination are encouraged to contact the Award Committee Chair well in advance.
Any research paper or series of research papers by a single author or by a team of authors is deemed eligible if the paper was published in a recognized refereed journal before nomination but the main results were not published (in either preliminary or final form) in a journal or conference proceedings 14 or more years before the year of the award. This extended period is in recognition of the fact that the value of fundamental work cannot always be immediately assessed. A conference publication starts the clock because it often is the most effective means of bringing the results to the attention of the community.
Nominations for the award should be submitted by email to the Award Committee Chair
 |
|
 |
|
Anca Muscholl (Chair, LaBRI, Université Bordeaux)
This e-mail address is being protected from spambots. You need JavaScript enabled to view it
|
|
 |
|
 |
Please make sure that the Subject line of all nominations and related messages begin with “Goedel Prize 2024” To be considered, nominations for the 2024 Prize must be received by April 12, 2024.
A nomination package should include:
1. A printable copy (or copies) of the journal paper(s) being nominated, together with a complete citation (or citations) thereof.
2. A statement of the date(s) and venue(s) of the first conference or workshop publication(s) of the nominated work(s) or a statement that no such publication has occurred.
3. A brief summary of the technical content of the paper(s) and a brief explanation of its significance.
4. A support letter or letters signed by at least two members of the scientific community.
Additional support letters may also be received and are generally useful. The nominated paper(s) may be in any language. However, if a nominated publication is not in English, the nomination package must include an extended summary written in English.
See the Call for Nominations 2024
Selection Process
Although the Award Committee is encouraged to consult with the theoretical computer science community at large, the Award Committee is solely responsible for the selection of the winner of the award. The prize may be shared by more than one paper or series of papers, and the Award Committee reserves the right to declare no winner at all. All matters relating to the selection process that are not specified here are left to the discretion of the Award Committee.
More information can be found on the ACM SIGACT Gödel Prize site.
|
|
|
|
2024 / Ryan Williams
Place: ICALP (Tallinn)
Committee: Mikołaj Bojańczyk (University of Warsaw), Irit Dinur (Weizmann Institute, Yuval Ishai (Technion), Anca Muscholl (University of Bordeaux, chair), Tim Roughgarden (Columbia University), Luca Trevisan (Bocconi University)
|
|
|
|
|
|
2023 / Samuel Fiorini, Serge Massar, Sebastian Pokutta, Hans Raj Tiwary, Ronald de Wolf, and Thomas Rothvoss
Place: STOC (Orlando, Florida)
Committee: Nikhil Bansal (University of Michigan), Irit Dinur (Weizmann Institute), Anca Muscholl (University of Bordeaux), Tim Roughgarden (Columbia Universtity), Ronitt Rubinfeld (Chair, Massachusetts Institute of Technology), and Luca Trevisan (Bocconi, Univerity).
|
|
|
|
|
|
