[FOM] Call for Submissions Kurt Goedel Research Prize Fellowships

Mon Oct 4 11:28:29 EDT 2010

Vesna Sabljakovic-Fritz
Fellowships Program Manager and
Chief Administrator
Kurt Goedel Society
c/o Istitute of Computer Languages E185.2
University of Technology Vienna
Favoritenstr.9-11
A-1040 Vienna
Austria
Tel.:+43-699-1-180-8202
Fax:+43-1-58801-18597

----------------------------------
---------------------------------------------------------------
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 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 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

   	* set theory
	* recursion theory
	* proof theory/intuitionism
	* model theory
	* computer assisted reasoning
	* 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 Gödel
     * 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 thesis (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 recommendation 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-doctoral 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.

Submission Page

The EasyChair system is used for managing the submissions.

For submitting a proposal please go to 
http://www.easychair.org/conferences/?conf=kgrpf10

Timeline

November 15, 2010. 	Submissions deadline
February 28, 2011. 	Jury decision on the papers for publication (at most 20)
March 1, 2011. 		Final versions due
March 6, 2011. 		Jury decision on winners due
April 28-30, 2011. 	Conference and the Award Ceremony
June-October, 2011. 	Commencement of the Fellowships

Web:http://fellowship.logic.at

E-mail contact: goedel-fellowship at logic.at

-----------------------------------------------------------