Nice of LtU to link to a classic paper that everyone should (re)read: Hoare’s Axiomatic basis for computer programming.
(Organized by the Kurt Gödel Society with support from the John Templeton Foundation)
The Kurt Gödel Society is proud to announce the commencement of the research fellowship prize program in honor and celebration of Kurt Gödel’s 100th birthday.
The research fellowship prize program sponsored by the John Templeton Foundation 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 Jurors chaired by Professor Harvey Friedman will oversee the process. The finalist papers will be published in a special issue of a premier journal in mathematical logic.
Goal and Criteria of Merit
The purpose of the fellowship is to support original research in mathematical logic, meta-mathematics, philosophy of mathematical logic, and the foundations of mathematics. This fellowship is to carry forward the legacy of Gödel, whose works exemplify deep insights and breakthrough discoveries in mathematical logic. In pursuit of similar insights and discoveries, we adopt the following criteria of merit for evaluating Fellowship applications:
- Intellectual merit, scientific rigor and originality of the submitted paper and work plan. The paper should combine visionary thinking with academic excellence.
- Potential for significant contribution to basic foundational understanding of logic and the likelihood for opening new, fruitful lines of inquiry.
- Impact of the grant on the project and likelihood that the grant will make this new line of research possible.
- The probability that the pursuit of this line of research is realistic and feasible for the applicant.
- Qualifications of the applicants evaluated via CV and recommendation letters (recommendation letters are not required for senior applications).
Original fellowship proposals from all fields of mathematical logic (such as Computability Theory, Model Theory, Proof Theory, Set Theory), meta-mathematics, the philosophy of mathematics, and the foundations of mathematics insofar as the research has strong relevance or resemblance to the Gödelian insights and originality.
<table border="0"><tbody><tr><td> 1 December 2006</td> <td>Pre-announcement</td></tr> <tr><td>15 June 2007</td> <td>Submissions deadline</td></tr> <tr><td>October 2007</td> <td>Jury decision due on papers to be published</td></tr> <tr><td>15 December 2007</td> <td>Final versions due</td></tr> <tr><td>January 2008</td> <td>Jury decision on winners due</td></tr> <tr><td>February 2008</td> <td>Award Ceremony</td></tr> <tr><td>March-September 2008</td> <td>Commencement of the Fellowships</td></tr></tbody></table>