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


Erden in AI roundtab...

On Friday 4th September, philosopher and AISB member Dr Yasemin J Erden, participated in an AI roundtable at Second Home, hosted by Index Ventures and SwiftKey.   Joining her on the panel were colleagues from academia and indu...


AISB Convention 2016

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 2016 Convention will be held at the Uni...


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


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: How the World Computes, 18-23 June 2012, Cambridge (U.K.)

TURING CENTENARY CONFERENCE,Computability in Europe 2012: How the World Computes University of Cambridge


Submission Deadline for LNCS:                   Jan. 20, 2012
Notification of authors:                        Mar. 16, 2012
Deadline for final revisions:                   Apr. 6, 2012
Submission Deadline for Informal Presentations: May 11, 2012

CiE 2012 is one of a series of special events, running throughout the Alan Turing Year, 
celebrating Turing's unique impact on mathematics, computing, computer science, informatics, 
morphogenesis, artificial intelligence, philosophy and the wider scientific world.

Its central theme is the computability-theoretic concerns underlying the broad spectrum of 
Turing's interests, and the contemporary research areas founded upon and animated by them. In 
this sense, CiE 2012, held in Cambridge in the week running up to the centenary of Turing's 
birthday, deals with the essential core of what made Turing's contribution so influential and 

CiE 2012 promises to be an event worthy of the remarkable scientific career it commemorates.

CiE 2012 will be associated/co-located with a number of other Turing centenary events, including:

* ACE 2012, June 15-16, 2012

* Computability and Complexity in Analysis (CCA 2012), June 24-27, 2012

* Developments in Computational Models (DCM 2012), June 17, 2012

* THE INCOMPUTABLE at Kavli Royal Society International Centre
   Chicheley Hall, June 12-15, 2012

CiE 2012 conference topics include, but not exclusively -

* Admissible sets
* Algorithms
* Analog computation
* Artificial intelligence
* Automata theory
* Bioinformatics
* Classical computability and degree structures
* Cognitive science and modelling
* Complexity classes
* Computability theoretic aspects of programs
* Computable analysis and real computation
* Computable structures and models
* Computational and proof complexity
* Computational biology
* Computational creativity
* Computational learning and complexity
* Computational linguistics
* Concurrency and distributed computation
* Constructive mathematics
* Cryptographic complexity
* Decidability of theories
* Derandomization
* DNA computing
* Domain theory and computability
* Dynamical systems and computational models
* Effective descriptive set theory
* Emerging and Non-standard Models of Computation
* Finite model theory
* Formal aspects of program analysis
* Formal methods
* Foundations of computer science
* Games
* Generalized recursion theory
* History of computation
* Hybrid systems
* Higher type computability
* Hypercomputational models
* Infinite time Turing machines
* Kolmogorov complexity
* Lambda and combinatory calculi
* L-systems and membrane computation
* Machine learning
* Mathematical models of emergence
* Molecular computation
* Morphogenesis and developmental biology
* Multi-agent systems
* Natural Computation
* Neural nets and connectionist models
* Philosophy of science and computation
* Physics and computability
* Probabilistic systems
* Process algebras and concurrent systems
* Programming language semantics
* Proof mining and applications
* Proof theory and computability
* Proof complexity
* Quantum computing and complexity
* Randomness
* Reducibilities and relative computation
* Relativistic computation
* Reverse mathematics
* Semantics and logic of computation
* Swarm intelligence and self-organisation
* Type systems and type theory
* Uncertain Reasoning
* Weak systems of arithmetic and applications

We particularly welcome submissions in emergent areas, such as bioinformatics and natural 
computation, where they have a basic connection with computability.

CiE 2012 will have a special relationship to the scientific legacy of Alan Turing, reflected in 
the broad theme: How the World Computes, with all its different layers of meaning. Contributions 
which are directly related to the visionary and seminal work of Turing will be particularly welcome.

Contributed papers will be selected from submissions received by the PROGRAM COMMITTEE consisting of:

* Samson Abramsky (Oxford)             * Pieter Adriaans (Amsterdam)
* Franz Baader (Dresden)               * Arnold Beckmann (Swansea)
* Mark Bishop (London)                 * Paola Bonizzoni (Milan)
* Luca Cardelli (Cambridge)            * Douglas Cenzer (Gainesville)
* S Barry Cooper (Leeds, Co-chair)     * Ann Copestake (Cambridge)
* Anuj Dawar (Cambridge, Co-chair)     * Solomon Feferman (Stanford)
* Bernold Fiedler (Berlin)             * Luciano Floridi (Hertfordshire)
* Martin Hyland (Cambridge)            * Marcus Hutter (Canberra)
* Viv Kendon (Leeds)                   * Stephan Kreutzer (Oxford)
* Ming Li (Waterloo)                   * Benedikt Loewe (Amsterdam)
* Angus MacIntyre (London)             * Philip Maini (Oxford)
* Larry Moss (Bloomington)             * Amitabha Mukerjee (Kanpur)
* Damian Niwinski (Warsaw)             * Dag Normann (Oslo)
* Prakash Panangaden (Montreal)        * Jeff Paris (Manchester)
* Brigitte Pientka (Montreal)          * Helmut Schwichtenberg (Munich)
* Wilfried Sieg (Carnegie Mellon)      * Mariya Soskova (Sofia)
* Bettina Speckmann (Eindhoven)        * Christof Teuscher (Portland)
* Peter van Emde Boas (Amsterdam)      * Jan van Leeuwen (Utrecht)
* Rineke Verbrugge (Groningen)

The PROGRAMME COMMITTEE cordially invites all researchers (European and
non-European) in computability related areas to submit their papers (in PDF-format, max 10 pages) 
for presentation at CiE 2012. We particularly invite papers that build bridges between different 
parts of the research community.

For submission details, see:

The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag.
There will also be post-conference publications, drawing on contributions presented at the 

The conference is sponsored by the ASL, EACSL, IFCoLog, King's College Cambridge and Microsoft 

Contact: Anuj Dawar - anuj.dawar at