AISB convention 2017

  In the run up to AISB2017 convention, I've asked Joanna Bryson, from the organising team, to answer few questions about the convention and what comes with it. Mohammad Majid al-Rifaie (https://twitter.com/mohmaj) Tu...


Read More...

Harold Cohen

Harold Cohen, tireless computer art pioneer dies at 87   Harold Cohen at the Tate (1983) Aaron image in background   Harold Cohen died at 87 in his studio on 27th April 2016 in Encintias California, USA.The first time I hear...


Read More...

Dancing with Pixies?...

At TEDx Tottenham, London Mark Bishop (the former chair of the Society) demonstrates that if the ongoing EU flagship science project - the 1.6 billion dollar "Human Brain Project” - ultimately succeeds in understanding all as...


Read More...

Computerised Minds. ...

A video sponsored by the society discusses Searle's Chinese Room Argument (CRA) and the heated debates surrounding it. In this video, which is accessible to the general public and those with interest in AI, Olly's Philosophy Tube ...


Read More...

Connection Science

All individual members of The Society for the Study of Artificial Intelligence and Simulation of Behaviour have a personal subscription to the Taylor Francis journal Connection Science as part of their membership. How to Acce...


Read More...
01234

Notice

AISB opportunities Bulletin Item

Kurt Goedel Fellowships - Call for Submissions

http://kgs.logic.at/goedel-fellowship/index.php?instructions

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 ,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?s 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