Bishop and AI news

Stephen Hawking thinks computers may surpass human intelligence and take over the world. This view is based on the ideology that all aspects of human mentality will eventually be realised by a program running on a suitable compu...


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


Al-Rifaie on BBC

AISB Committee member and Research Fellow at Goldsmiths, University of London, Dr Mohammad Majid al-Rifaie was interviewed by the BBC (in Farsi) along with his colleague Mohammad Ali Javaheri Javid on the 6 November 2014. He was a...


Rose wins the Loebne...

After 2 hours of judging at Bletchley Park, 'Rose' by Bruce Wilcox was declared the winner of the Loebner Prize 2014, held in conjunction with the AISB.  The event was well attended, film live by Sky News and the special guest jud...


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


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


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


AISB YouTube Channel

The AISB has launched a YouTube channel: ( The channel currently holds a number of videos from the AISB 2010 Convention. Videos include the AISB round t...



AISB event Bulletin Item

CALL FOR PAPERS: Trends in Logic XIV, 8-11 Jul 2014, Gent, BELGIUM


 Logicians have devoted considerable effort to applying formal methods to 
what are now considered core disciplines of analytic philosophy: 
philosophy of mathematics, philosophy of language and metaphysics. 
Researchers in these fields have been accused of sharpening their knives 
without actually cutting anything of interest to those outside of 
philosophy. The focus of formal methods is changing and our intent for 
this conference is to further counter the impression of idleness with 
respect to philosophy at large. The focus of the workshop is to be on 
those applications of formal methods in philosophy which might be of 
interest to people working on philosophical questions of more direct 
relevance to human life.

 We plan three sessions with the following invited speakers:

 Session 1 Applications of formal methods in philosophy
 Diderik Batens, Centre for Logic and Philosophy of Science, Ghent University (Belgium)
 Krister Segerberg, Uppsala University (Sweden)
 Katie Steele, London School of Economics and Political Science (UK)

 Session 2 Applications of formal methods in social philosophy
 Gabriella Pigozzi, Universite Paris-Dauphine (France)
 Martin van Hees, University of Amsterdam (Netherlands)
 John F. Horty, University of Maryland (USA)

 Session 3 Applications of Bayesian methods in philosophy
 Luc Bovens, London School of Economics and Political Science (UK)
 Lara Buchak, University of California, Berkeley (USA)
 Richard Pettigrew, Bristol University, (UK)


 Authors of contributed papers are asked to submit extended abstracts and 
full papers, prepared for blind-review by January 6, 2014. Extended 
abstracts should be no more than 2000 words. Authors of accepted papers 
will have 30-60 minutes to present their work, depending on the length of 
their papers. Each paper will be followed by two commentaries from other 
participants. Accepted participants might be asked to comment on at least 
one talk. 5-10 minute commentaries will be followed by 10-15 minutes of 
discussion. All accepted papers will be made available to the participants 
ahead of the conference.

 More details