KURT GÖDEL CENTENARY RESEARCH PRIZE FELLOWSHIPS The research fellowship prize program is organized by the Kurt Gödel 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 Gödel Society invites submissions (from all areas specified in the scope) to the research fellowship prize program in honor of the celebration of Kurt Gödels 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 Gödel * 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