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

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.