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

CiE 2007 - Call for Participation

CiE 2007

  Computability in Europe 2007: Computation and Logic in the Real World
                          University of Siena
                         Siena, 18-23 June 2007

                         CALL FOR PARTICIPATION

CiE 2007 will address various aspects of the ways computability and theoretical computer science enable scientists and philosophers to deal with mathematical and real world issues, ranging through problems related to logic, mathematics, physical processes, natural computing, real computation and learning theory. At the same time it will focus on different ways in which computability emerges from the real world, and how this affects our way of thinking about everyday computational issues.

The CiE conference series has become a primary focus for basic and applied research into a full range of computability related issues, and CiE is the largest such international meeting.



All presenters of informal presentations, are eligible to be invited to submit a full journal version of their talk to one of the post-conference publications - see:


Siena is one of Italy's best preserved medieval towns, located in the heart of Tuscany. Siena, built on three hills and surrounded by well preserved walls, is filled with fine examples of Gothic architecture and has one of the world's most unique piazzas - il Campo. The world-famous Palio, which takes place in the Campo, is an important part of Sienese identity, history and culture.

CiE 2007 takes place just 6 days before the start of the Palio on 29 June, 2007. Siena makes an excellent base for other excursions in Tuscany, as it is not far from charming towns such as San Gimignano, Pienza, and towns world famous for wine, such as Montalcino and Montepulciano. Florence and Pisa too are within easy reach.


Pieter Adriaans (Amsterdam)
Kobi Benenson (Harvard)
Anne Condon (Vancouver)
Stephen Cook (Toronto)
Yuri Ershov (Novosibirsk)
Wolfgang Maass (Graz)
Sophie Laplante (Paris)
Anil Nerode (Cornell)
George Odifreddi (Turin)
Roger Penrose (Oxford)
Michael Rathjen (Leeds)
Dana Scott (Carnegie Mellon)
Robert I. Soare (Chicago)
Philip Welch (Bristol)


* Doing without Turing Machines: Constructivism and Formal Topology
* Approaches to Computational Learning
* Real Computation
* Computability and Mathematical Structure
* Complexity of Algorithms and Proofs
* Logic and New Paradigms of Computability
* Computational Foundations of Physics and Biology


Eric Allender (Rutgers)
Andrej Bauer (Ljubljana)
Vasco Brattka (Cape Town)
Douglas Bridges (Canterbury, NZ)
John Case (Newark, Delaware)
Pieter Collins (Amsterdam)
Thierry Coquand (Goeteborg)
Felix Costa (Lisbon)
Barbara F. Csima (Waterloo)
Abbas Edalat (London)
Martin Escardo (Birmingham)
Joerg Flum (Freiburg)
Sergey S. Goncharov (Novosibirsk)
Hajime Ishihara (Tokyo)
Natasha Jonoska (Tampa, Florida)
Michal Koucky (Prague)
James Ladyman (Bristol)
Maria Emilia Maietti (Padua)
Giancarlo Mauri (Milan)
Klaus Meer (Odense)
Itamar Pitowsky (Jerusalem)
Robert Rettinger (Hagen)
Grzegorz Rozenberg (Leiden)
Frank Stephan (Singapore)
Neil Thapen (Prague)
Christopher Timpson (Leeds)
Giuseppe Trautteur (Naples)
Heribert Vollmer (Hannover)
Osamu Watanabe (Tokyo)
Jiri Wiedermann (Prague)
Damien Woods (Cork)
Liang Yu (Nanjing)
Martin Ziegler (Paderborn)

WOMEN IN COMPUTABILITY WORKSHOP in association with the Computer Research
Association's Committee on the Status of Women in Computing Research (CRA-W)
Organisers: Paola Bonizzoni, Elvira Mayordomo. Speakers: Anne Condon (Vancouver),
Natasha Jonoska (Florida), Carmen Leccardi (Milan), and Andrea Cerroni (Milan)


M. Agrawal (Kanpur)                      M. Arslanov (Kazan)
G. Ausiello (Roma)                       A. Bauer (Ljubljana)
A. Beckmann (Swansea)                    U. Berger (Swansea)
P. Bonizzoni (Milan)                     A. Cantini (Firenze) B. Cooper (Leeds, co-chair)              L. Crosilla (Firenze) J. Diaz (Barcelona)                      C. Dimitracopoulos (Athens) F. Ferreira (Lisbon)                     S. Goncharov (Novosibirsk) P. Gruenwald (Amsterdam)                 D. Harel (Rehovot) A. Hodges (Oxford)                       J. Kempe (Paris) G. Longo (Paris)                         B. Loewe (Amsterdam) J. Makowsky (Haifa)                      E. Mayordomo Camara (Zaragoza) W. Merkle (Heidelberg)                   F. Montagna (Siena) D. Normann (Oslo)                        T. Pheidas (Heraklion) G. Rozenberg (Leiden)                    G. Sambin (Padova) H. Schwichtenberg (Muenchen)             W. Sieg (Carnegie Mellon) A. Sorbi (Siena, co-chair)               I. Soskov (Sofia) P. van Emde Boas (Amsterdam)

CONFIRMED SPONSORS OF CiE 2007: AILA (Associazione Italiana di Logica e
Applicazioni), EATCS (European Association for Theoretical Computer
Science), ASL (Association for Symbolic Logic), EACSL (European Association for Computer Science Logic), FoLLI (The Association of Logic, Language and Information), GNSAGA-INdAM (Gruppo Nazionale per le Strutture Algebriche e Geometriche e loro Applicazioni-Istituto NAzionale di Alta Matematica), Banca Monte Dei Paschi Di Siena, and The University of Siena.

CiE 2007 will be co-located with CCA 2007, the annual CCA (Computability and Complexity in Analysis) Conference (Siena, College Santa Chiara, June 16-18, 2007):