deadline: 2007-06-30
KURT GDEL CENTENARY RESEARCH PRIZE FELLOWSHIPS
The research fellowship prize program is organized by the Kurt Gdel Society
and sponsored by the John Templeton Foundation.It offers:
(*) 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 and
(*) one senior fellowship of $ 120,000 US per annum for one year
based on an international open competition, resulting in the publication of
research papers in a special issue of the Annals of Pure and Applied Logic.
The Kurt Gdel Society invites submissions (from all areas specified in the
scope) to the research fellowship prize program in honor of the celebration
of Kurt Gdel~Rs 100th birthday.
Scope
* 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 Gdel
* its general interest and clarity of motivation
* its rigorous scientific quality and depth
* relevance of the awarded fellowhip for the project implementation
Young researchers and female researches in particular are strongly
encouraged to apply.
Submission Software is online at:http://www.easychair.org/GoedelFellow2007/
Submission instructions can be found here:
http://kgs.logic.at/goedel-fellowship/index.php?instructions
Timeline
June 30, 2007. Submissions deadline
October 2007. Jury decision on the papers for publication in the APAL (at
most 20)
December 15, 2007. Final versions due
January 2008. Jury decision on winners due
February 2008. Award Ceremony
Mar.-Sept.2008. Commencement of the Fellowships
Web:http://kgs.logic.at/goedel-fellowship
E-mail contact: goedel-fellowship@logic.at