Kurt Gödel Centenary Research Prize Fellowship

(Organized by the Kurt Gödel Society with support from the John Templeton Foundation)

The Kurt Gdel Society is proud to announce the commencement of the International Research Fellowship Prize Program in honor and celebration of Kurt Gödel's 100th birthday.

The International Research Fellowship Prize Program is sponsored by the John Templeton Foundation, and will offer:

• two Ph.D. (pre-doctoral) fellowships of $ 60,000 US per annum for two years
• two post-doctoral fellowships of $ 80,000 US per annum for two years
• one senior fellowship of $ 120,000 US per annum for one year.

The selection will be made based upon an open, international competition. An International Board of 17 eminent Jurors chaired by Professor Harvey Friedman will oversee the process.

Applicants are required to submit a CV, research paper, and plans for further research (See below for further details). Twenty finalists will be chosen among the applicants. Applicants will be judged according to their submission, as well as their research record, and letters of recommendation (except in the case of Senior Fellowship applicants). The submitted papers of the finalists will be published in a special issue of the Annals of Pure and Applied Logic*.

Goal and Criteria of Merit

The purpose of these fellowships is to support original research in, and areas surrounding, the foundations of mathematics. (See Scope below for more details.) These fellowships are intended to carry forward the legacy of Kurt Gödel, whose works exemplify deep insights and breakthrough discoveries in mathematical logic, with profound impact on the philosophy and foundations of mathematics. In pursuit of similar insights and discoveries, we adopt the following criteria of merit for evaluating Fellowship applications:

1. Intellectual merit, scientific rigor and originality of the submitted paper and work plan. The paper and research plans should combine visionary thinking with academic and scientific excellence.
2. Potential for significant contribution to basic fundamental issues of wide interest, and the likelihood for opening new, seminal lines of inquiry that bear on such issues.
3. Impact of the Fellowship on the project and likelihood that the Fellowship will make the proposed new lines of research possible.
4. The expectation that the the proposed research will be successful.
5. Qualifications of the applicants will be evaluated on the basis of all available information including CV, research paper, research plans, research accomplishments, and letters of recommendation (recommendation letters are not required for senior applications).

Scopes

Original fellowship proposals in the areas of

• model theory
• proof theory
• recursion theory
• set theory
• foundations of mathematics
• philosophy of mathematics
• foundations of computer science (related to logic)
• automated reasoning (related to logic)
• complexity (related to logic)

All fellowship proposals, regardless of subject area, will be judged according to

• the relevance and resemblance of the research (finished and proposed) to the great insights and originality of Kurt Gödel
• its general interest and clarity of motivation
• its rigorous scientific quality and depth.

Submission instructions

Please see the separate menu item at the bottom.

Timeline

1 December 2006	Pre-announcement
15 February 2007	Submissions' instructions online
end of March 2007	Submissions' software online
30 June 2007	Submissions deadline
	(For technical reasons the submission webpage will continue for submissions and resubmissions till Wednesday 4 July 2007, 9am CEST.)
31 December 2007	Jury decision due on papers to be published and notification
15 January 2007	Reports on their papers to be sent to the finalists
1 March 2008	Final versions and copyright transfers due
9 April 2008	Jury decision on winners due
27 April 2008	Kurt Gödel Colloquium and Award Ceremony
28 April 2008	Gödel's birthday. Unveiling of memorial plaques.
May-October 2008	Commencement of the Fellowships for Pre-Doc and Post-Doc
May 2008-May 2009	Commencement of the Fellowships for Senior

Board of Jurors

The following International Board of Jurors will be in charge of evaluating the applications:

• Peter ACZEL, University of Manchester (GB)
• Lev BEKLEMISHEV, Russian Academy of Sciences (RUS)
• John BURGESS, Princeton University (USA)
• Harvey FRIEDMAN, Ohio State University (USA) CHAIR
• John HARRISON, Intel Corporation (USA)
• Wilfried HODGES, Queen Mary University of London (GB)
• Simon KOCHEN, Princeton University (USA)
• Jan KRAJICEK, Academy of Sciences of the Czech Republic(CZ)
• Menachem MAGIDOR, Hebrew University (ISRAEL)
• Dave MARKER, University of Illinois at Chicago (USA)
• Michel PARIGOT, Universite Paris 7 (FRANCE)
• Pavel PUDLAK, Academy of Sciences of the Czech Republic(CZ)
• Hilary PUTNAM, Harvard University (USA)
• Jeff REMMEL,University of California at San Diego (USA)
• John STEEL, University of California at Berkley (USA)
• Frank STEPHAN, National University of Singapore (SINGAPORE)
• Albert VISSER, University of Utrecht (NL)

*For the purpose of the Fellowships' Program, the APAL will publish all articles chosen by the jury, which belong to any of the categories specified in the Scopes of the Fellowships.