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


Read More...

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


Read More...

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


Read More...

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


Read More...

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


Read More...

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


Read More...

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


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

Notice

AISB event Bulletin Item

CF Participation: TAP 2008 - The Second International Conference on Tests and Proof

http://www.uni-koblenz.de/tap2008/

 Call for Participation      

				   TAP 2008
	     Second International Conference on Tests and Proofs

		April 9-11, 2008, Prato (near Florence), Italy

		      http://www.uni-koblenz.de/tap2008/

SCOPE

 The TAP conference is devoted to the convergence of proofs and tests.
 It combines ideas from both sides for the advancement of software quality
 and is a meeting place for the verification and testing communities.

CONFERENCE PROGRAMME

 See http://www.uni-koblenz.de/tap2008/detailedProgram.html
 for a description of the scientific programme.

INVITED SPEAKERS

 Elaine Weyuker
 AT&T Labs Inc.
 WHAT CAN FAULT PREDICTION DO FOR YOU?

 Orna Kupferman
 Hebrew University
 VACUITY IN TESTING

 Michael Hennell
 LDRA Ltd, UK
 THE FIRST THIRTY YEARS: EXPERIENCE WITH SOFTWARE VERIFICATION

TUTORIALS

 PARAMETERIZED UNIT TESTING WITH PEX
 by Jonathan de Halleux, Nikolai Tillmann

 INTEGRATING VERIFICATION AND TESTING OF OBJECT-ORIENTED SOFTWARE
 by Christian Engel, Christoph Gladisch, Vladimir Klebanov, Philipp Rmmer

CONFERENCE AND PROGRAM COMMITTEE CHAIRS

 Bernhard Beckert, University of Koblenz, Germany
 Reiner Hhnle, Chalmers University, Gothenburg, Sweden

LOCATION

 The conference will take place in the beautiful city of Prato, which is
 located in the Tuscany region of Italy, close to Florence and Pisa. The
 city of Prato has a population of 180,000 inhabitants. The conference will
 be hosted in the Monash University Prato Centre.

REGISTRATION

 To register, please fill in the registration form available at
 http://www.uni-koblenz.de/tap2008/register.html
 Early registration ends March 7, 2008.