CFProposal AISB2018

  The Society for the Study of Artificial Intelligence and Simulation for Behaviour (AISB) is soliciting proposals for symposia to be held at the AISB 2018 convention.The longest running convention on Artificial Intelligence, A...


Insurance AI Analy...

Insurance AI Analytics Summit, October 9-10, London Join us for Europe’s only AI event dedicated to insurance where 300 attendees will unite from analytics, pricing, marketing, claims and underwriting. You’ll find out how advan...


AISB 2018 Convention

  The longest running convention on Artificial Intelligence, AISB 2018 will be held at the University of Liverpool, chaired by Floriana Grasso and Louise Dennis. As in the past years, AISB 2018 will provide a unique forum for p...


AI Summit London

     The AI Summit London: The World’s Number One AI Event for Business  Date: 9-10 May 2017 Venue: Business Design Centre, London. The AI Summit is the world’s first and largest/number one conference exhibition dedicated to t...


AISB Wired Health

    AISB and WIRED events have partnered to bring together inspirational high-profile speakers. Join hundreds of healthcare, pharmaceutical and technology influencers and leaders at the 4th Annual WIRED Health event, taking pl...


Hugh Gene Loebner

  The AISB were sad to learn last week of the passing of philanthropist and inventor Hugh Gene Loebner PhD, who died peacefully in his home in New York at the age of 74.  Hugh was founder and sponsor of The Loebner Prize, an an...


AI Europe 2016

  Partnership between AISB and AI Europe 2016: Next December 5th and 6th in London, AI Europe will bring together the European AI eco-system by gathering new tools and future technologies appearing in professional fields for th...


AISB convention 2017

  In the run up to AISB2017 convention (, I've asked Joanna Bryson, from the organising team, to answer few questions about the convention and what comes with it. Mohammad Majid...


Harold Cohen

Harold Cohen, tireless computer art pioneer dies at 87   Harold Cohen at the Tate (1983) Aaron image in background   Harold Cohen died at 87 in his studio on 27th April 2016 in Encintias California, USA.The first time I hear...


Dancing with Pixies?...

At TEDx Tottenham, London Mark Bishop (the former chair of the Society) demonstrates that if the ongoing EU flagship science project - the 1.6 billion dollar "Human Brain Project” - ultimately succeeds in understanding all as...



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