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


Read More...

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


Read More...

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


Read More...

AISB YouTube Channel

The AISB has launched a YouTube channel: http://www.youtube.com/user/AISBTube (http://www.youtube.com/user/AISBTube). The channel currently holds a number of videos from the AISB 2010 Convention. Videos include the AISB round t...


Read More...

Lighthill Debates

The Lighthill debates from 1973 are now available on YouTube. You need to a flashplayer enabled browser to view this YouTube video  


Read More...
01234

Notice

AISB opportunities Bulletin Item

NEW BOOK: Computation and Logic in the Real Worlds

http://www.worldscibooks.com/mathematics/p577.html

COMPUTABILITY IN CONTEXT: Computation and Logic in the Real World (ed. S Barry Cooper and Andrea Sorbi) -World Scientific, Feb. 2011

Computability has played a crucial role in mathematics and computer science, leading to the 
discovery, understanding and classification of decidable/undecidable problems, paving the way 
for the modern computer era, and affecting deeply our view of the world. Recent new paradigms 
of computation, based on biological and physical models, address in a radically new way questions
of efficiency and challenge assumptions about the so-called Turing barrier.

This volume, arising from the conference "Computability in Europe 2007:
Computation and Logic in the Real World", addresses various aspects of the ways computability 
and theoretical computer science enable scientists and philosophers to deal with mathematical 
and real-world issues, covering problems related to logic, mathematics, physical processes, 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.

Contents:

* Computation, Information, and the Arrow of Time (P Adriaans & P van Emde
Boas)
* The Isomorphism Conjecture for NP (M Agrawal)
* The Ershov Hierarchy (M M Arslanov)
* Complexity and Approximation in Reoptimization (G Ausiello et al.)
* Definability in the Real Universe (S B Cooper)
* HF-Computability (Y L Ershov et al.)
* The Mathematics of Computing Between Logic and Physics (G Longo & T
Paul)
* Liquid State Machines: Motivation, Theory, and Applications (W Maass)
* Experiments on an Internal Approach to Typed Algorithms in Analysis (D
Normann)
* Recursive Functions: An Archeological Look (P Odifreddi)
* Reverse Mathematics and Well-Ordering Principles (M Rathjen & A
Weiermann)
* Discrete Transfinite Computation Models (P D Welch)

ISBN:   978-1-84816-245-7, 1-84816-245-6
__________________________________________________________________________