Logic List Mailing Archive
Kurt Goedel Research Prize Fellowship
KURT GOEDEL RESEARCH PRIZE FELLOWSHIPS
The Kurt Goedel Society is proud to announce the commencement of the second
round of the Kurt Goedel Research Prize Fellowships Program.
The research fellowship prize program is sponsored by the John Templeton
Foundation and will offer:
* two Ph.D. (pre-doctoral) fellowships of EUR 100,000
* two post-doctoral fellowships of EUR 100,000 and
* one unrestricted fellowship of EUR 100,000
One International Board of Jurors will be in charge of evaluating the
applications and determining up to twenty finalists whose papers will be
published in a special issue of the Annals of Pure and Applied Logic, and
another international Board of Jurors will be in charge of determining the
winners. Both Boards will be chaired by Prof. Harvey Friedman, Ohio State
University (USA).
Board of Jurors for Determining the Finalists
* Jeremy AVIGAD, Carnegie Mellon University, (USA)
* Lenore BLUM, Carnegie Mellon University, (USA)
* Harvey FRIEDMAN, Ohio State University (USA) CHAIR
* John HARRISON, Intel Corporation, (USA)
* Kenneth KUNEN, University of Wisconsin, (USA)
* Angus MACINTYRE, Queen Mary, University of London and Royal Society,
(UK)
* Hiroakira ONO, JAIST Research Center for Integrated Science, (JAPAN)
* Pavel PUDLAK, Czech Academy of Sciences, (Czech Republic)
* Michael RATHJEN, University of Leeds, (UK)
* Frank STEPHAN, National University of Singapore, (SINGAPORE)
* William TAIT, University of Chicago, (USA)
* Simon THOMAS, Rutgers University, (USA)
* Albert VISSER, University of Utrecht (NL)
* Andreas WEIERMANN, Ghent University, (BELGIUM)
* Boris ZILBER, University of Oxford, (UK)
Board of Jurors for Determining the Winners
* Lev BEKLEMISHEV, Russian Academy of Sciences (RUS)
* Harvey FRIEDMAN, Ohio State University (USA) CHAIR
* Dov M. GABBAY, King's College London (UK)
* Warren D. GOLDFARB, Harvard University (USA)
* Howard Jerome KEISLER, University of Wisconsin (USA)
Goal and Criteria of Merit
The purpose of these fellowships is to support original research in, and ar
eas
surrounding, the foundations of mathematics. (See Scope below for more
details.) These fellowships are intended to carry forward the legacy of Kur
t
Gdel, whose works exemplify deep insights and breakthrough discoveries i
n
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 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).
Winners' Model Projects:
http://fellowship.logic.at/2010/files/Bovykin_Project.pdf
http://fellowship.logic.at/2010/files/Koellner_Project.pdf
Model Questions
http://fellowship.logic.at/index.php?questions
Scope
Original fellowship proposals in the areas of
=09* set theory
=09* recursion theory
=09* proof theory/intuitionism
=09* model theory
=09* computer assisted reasoning
=09* philosophy of mathematics
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 Gdel
* its general interest and clarity of motivation
* its rigorous scientific quality and depth.
Submission Instructions
The three categories of fellowships are specified as follows:
*Ph.D.(pre-doctoral): being in the stage before finishing the thesis (or
equivalent achievements)
*Post-doctoral: being in the stage within 10 years after finishing the thes
is
(or equivalent achievements)
*Unrestricted: also open to senior applicants
The submission must consist of:
- one document A in PDF format containing
. the CV
. the project description
. the recommendation letters
- one document B in PDF format containing the article
- one text abstract relating to B
Maximum allowed length of the abstract is 500 words.
Document A containing the CV, the project description, and the recommendati
on
letters must be prepared in the following way:
- minimum font size: 10pt
- paper size: A4
- maximum length of the CV: 3 pages
The CV must contain the list of all/most important publications.
The CV must clearly state to which category the application belongs.
- maximum length of project description: 4 pages
Project description should clearly state where and at which institution the
applicant intends to carry out the project.
- minimum 2(two)/maximum 3 (three) 1-page recommendation letters,in case of
applications belonging to the categories Ph.D.(pre-doctoral) and post-docto
ral
fellowships.
(The recommendation letters should be scanned and included into the PDF
document)
The submission must be in English.
The Board and the Program Chair reserve the right:
*to consider only submissions with reasonable format
*to reassign a submission to another category as applied for.
The applicant will be informed about the reasons for such a
decision.
The submission software will be available online by the end of June 2010.
Timeline
November 15, 2010. =09Submissions deadline
February 28, 2011. =09Jury decision on the papers for publication (at most
20)
March 1, 2011. =09=09Final versions due
March 6, 2011. =09=09Jury decision on winners due
April 28-30, 2011. =09Conference and the Award Ceremony
June-October, 2011. =09Commencement of the Fellowships
Web:http://fellowship.logic.at
E-mail contact: goedel-fellowship@logic.at