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 PARTICIPATION: symposium & theatre performance, 5 Oct 2012, Amsterdam, THE NETHERLANDS

Friday, October 5, 2012, Amsterdam

VvL: De Nederlandse Vereniging voor Logica & Wijsbegeerte der Exacte Wetenschappen

We are happy to invite you for the Symposium to celebrate the centenary of Alan Turing 
(1912-1954). The day will be organized by the Nederlandse Vereniging voor Logica & Wijsbegeerte 
der Exacte Wetenschappen (VvL).

Symposium: 11.30-17.15, in the "Hella Haasse/Simon Vestdijk" room on the 6th floor of the OBA 
Theatre Performance 'Breaking the Code': 19.30-21.45 in the "Theater van 't Woord" on the 7th 
floor of the OBA Location: 
Openbare Bibliotheek Amsterdam, Centrale Bibliotheek, Oosterdokskade 143

The speakers of the Symposium are:

Antonina Kolokolova (St. John's, Canada)
Liesbeth De Mol          (Gent, Belgium)
Jan van Leeuwen        (Utrecht, The Netherlands)
Andrew Hodges   (Oxford, United Kingdom)
Bennie Mols      (Amsterdam, The Netherlands)

In addition, we will have the general meeting of the VvL members during lunch. Those members who 
participate in the general meeting will be offered a free lunch.

The event has been financially sponsored by NWO and IHLIA (Internationaal homo lesbisch 
informatiecentrum en archief).

Please find the full program and abstracts of the lectures below.

Kind regards,

Balder ten Cate
Benedikt Lwe
Vincent van Oostrom
Femke van Raamsdonk
Elias Thijsse
Rineke Verbrugge



11:00-11:30: Arrival and coffee

11:30-12:15 Antonina Kolokolova (St. Johns, Canada)
Title: How hard is proving hardness? Logic approach to barriers in complexity

Abstract: In spite of much work over the years, the main questions in complexity theory such as 
P vs. NP remain unresolved.  Is this question solvable at all? Is P vs. NP independent of some 
logical theory?  Indeed, on a meta-level, there are several results that state that certain 
classes of techniques, including Turing's celebrated diagonalization, cannot be used to resolve 
these questions. Such results we call the "barriers" of complexity theory. In this talk, we will 
survey some of the main such barriers (Relativization, Natural Proofs, Algebrization), and talk 
about how knowledge of such barriers helps evaluate (and, so far, discard) proposed proofs of P 
vs. NP.  We will talk about the logic basis for such barriers, where a barrier means an 
independence of a logic theory.

12:15-13:30 Lunch & VvL Ledenvergadering in the 'La Place' restaurant within the OBA

13:30-14:15 Liesbeth De Mol (Gent, Belgium)

Title: The mathematics of Homo Sapiens and its limitations: Emil Post's views on symbolic logic and computation

In 1936 Alonzo Church, Emil Post and Alan Turing published a paper in which they each proposed a 
thesis which is now known as the Church-Turing thesis. This talk will focus on Post's contributions
in this context. It is shown how his method of "generalization through simplification" in the 
early 20s resulted in devices that are less intuitively appealing than Turing machines but 
nonetheless convinced him of the absoluteness of the unsolvability of certain decision problems 
and how it was this work that resulted in his criticism of Church's ``definition'' and the 
publication of his 1936 formulation 1. Some attention will be given to a program of generalizations
of Post's thesis he announces in his 1936 paper and how this resulted in his modifications of the 
Turing machine concept as described in some letters to Church.

14:15-15:00 Jan van Leeuwen (Utrecht, The Netherlands)

Title: Turing's impact on understanding computation

Abstract: In 1936 Alan Turing developed a formal notion of computability that would determine the 
future course of computer science. His understanding of universal machines was a basis for the 
design of general-purpose computers. In the 1950's Turing's model of computation and oracles 
proved crucial in understanding computational complexity, a notion that now underlies all our 
thinking of feasible algorithmics. His computational views were a beginning of the algorithmic 
lens that is transforming science today. The very development also led to models that may be more 
efficacious than Turing's for certain features of computation. 
Is there anything beyond Turing's machines?

15:00-15:30 Tea Break

15:30-16:15 Andrew Hodges (Oxford, UK)

Title: Alan Turing: Not only a beautiful mind

Abstract: Alan Turing is often presented as the pure mathematical theorist, whose definition of 
computability gave rise to the idea of the modern electronic computer and to the vision of 
Artificial Intelligence. But his life and work was also full of application and action. He was 
always interested in the practical application of his ideas, and found enormous scope for his 
ambition first in the codebreaking work of the Second World War and then in the planning of his 
own computer project after 1945. His life involved drama and conflict, not least in the events at 
the end of his short life in 1954. These stories are brought together in the play 'Breaking the 
Code', to be performed later in the day, and I will explain the historical basis of the material 
presented on the stage.

16.15-16:30 Tea Break

16:30-17:15 Bennie Mols (Amsterdam, The Netherlands)

Title: From Turing?s Test to Turing?s Tango

Abstract: The Turing Test is centered around the question when it is fair to say that computers 
think. I argue that the Turing Test is outdated because it is too much based on imitating human 
intelligence. Imitating human intelligence has for a long time been the dominating aim in the 
field of artificial intelligence. On the basis of the fundamental differences between the 
(biological) human brain and the (electronic) computer brain I argue that the new challenge is to 
answer the question how artificial intelligence can best help mankind: what is the best tango pair 
of man and machine? Actually, my view goes back to the one of the American computer scientist 
Joseph Licklider, who, already in 1960, pioneered the thinking about what he called ?man-computer 
symbiosis?. In our modern society ?man-computer symbiosis? has become the dominant reality, 
whereas artificial humanlike intelligence, as imagined by Turing and many others, is still nothing 
more than a dream.

17:15-18:30 Dinner Break

19:30-21:45 Theatre Performance by University Players Hamburg: "Breaking the Code" by Hugh