AISB Convention 2015

The AISB Convention is an annual conference covering the range of AI and Cognitive Science, organised by the Society for the Study of Artificial Intelligence and Simulation of Behaviour. The 2015 Convention will be held at the Uni...


Read More...

Yasemin Erden on BBC

AISB Committee member, and Philosophy Programme Director and Lecturer, Dr Yasemin J. Erden interviewed for the BBC on 29 October 2013. Speaking on the Today programme for BBC Radio 4, as well as the Business Report for BBC world N...


Read More...

Mark Bishop on BBC ...

Mark Bishop, Chair of the Study of Artificial Intelligence and the Simulation of Behaviour, appeared on Newsnight to discuss the ethics of ‘killer robots’. He was approached to give his view on a report raising questions on the et...


Read More...

AISB YouTube Channel

The AISB has launched a YouTube channel: http://www.youtube.com/user/AISBTube (http://www.youtube.com/user/AISBTube). The channel currently holds a number of videos from the AISB 2010 Convention. Videos include the AISB round t...


Read More...

Lighthill Debates

The Lighthill debates from 1973 are now available on YouTube. You need to a flashplayer enabled browser to view this YouTube video  


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