AISB Convention 2015

Call for Symposium Proposals: 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 Con...


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


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


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


Lighthill Debates

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



AISB event Bulletin Item

CALL FOR PARTICIPATION: Computer Aided Verification, 16-20 Jul 2011, USA

23rd International Conference on Computer Aided Verification (CAV 2011) -CAV Workshops NSV, PDMC, EC2, FAC, SMT, SPIN, FM-R, PSY -Cliff Lodge, Snowbird, Utah, USA

REGISTRATION/LODGING FOR CAV AND WORKSHOPS . Early Registration Deadline : June 20, 2011 
[room block likely to be exhausted June 13]

. 35 regular papers, 20 tool papers, 4 invited talks, 4 tutorials . Details at

. Andy Chou, Coverity Inc., "Static Analysis Tools in Industry: Notes from the Front Line"
. Vigyan Singhal, Oski Technology Inc., "Deploying Formal in a Simulation World"
. Vikram Adve, Illinois, "Parallel Programming Should Be - and Can Be - Determinstic by Default . 
Rolf Ernst, Univ of Braunschweig, "Analysis in Automotive Systems Design - a Rocky Ride to New 

. Vijay Ganesh, MIT, "HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection"
. Ranjit Jhala, UCSD, "Using Types For Software Verification"
. Shuvendu Lahiri, Microsoft Research, "SMT-based Modular Analysis of Sequential Systems Code"
. Andre Platzer, CMU, "Logic and Compositional Verification of Hybrid Systems"

INVITED SPEAKERS OF PRE-CAV WORKSHOPS, JULY 14-15 . NSV 2011:  The Fourth International Workshop on Numerical Software Verification
   - James Demmel, Berkeley
   - Thomas Gawlitza, INRIA Rhnes-Alpes

. PDMC 2011: 10th International Workshop on Parallel and Distributed Methods in Verifications
   - Lubos Brim, Brno
   - Orna Grumberg, Technion
   - Kim G. Larsen, Aalborg
   - Jaco van de Pol, Twente
   - Moshe Vardi, Rice

. EC2 2011:  The Fourth International Workshop on Exploiting Concurrency Efficiently and Correctly
   - Tom Ball, MSR Redmond
   - Martin Berzins, Univ of Utah
   - Guy Blelloch, CMU
   - Johannes Gehrke, Cornell
   - Murali Talupur, Intel
   - Richard Vuduc, GaTech

. FAC 2011:  Frontiers in Analog Circuit Synthesis and Verification
   - Christoph Grimm, TU Wein
   - Mark Horowitz, Stanford
   - Robert Hum, Mentor Graphics
   - Mahai Marcu, Agilent
   - Rob Rutenbar, Illinois
   - Gergory Taylor, Intel

. SMT 2011:  International Workshop on Satisfiability Modulo Theories, including SMT-COMP
   - Viktor Kuncak, EPFL
   - Bud Mishra, NYU

. SPIN 2011: 18th International SPIN Workshop on Model Checking of Software
   - Jasmin Fisher, MSR Cambridge
   - John Regehr, Univ of Utah

. FM-R 2011: Formal Methods for Robotics and Automation
   -  Rajeev Alur, U Penn
   -  Calin Belta, Boston U
   -  Krishnendu Chatterjee, IST
   -  Oded Maler, IMAG
   -  Moshe Vardi, Rice

. PSY 2011:  Practical Synthesis for Concurrent Systems
   - Rajeev Alur, U Penn
   - Bernd Finkbeiner, Saarland U
   - Viktor Kuncak, EPFL
   - Doug Smith, Kestrel
   - Armando Solar-Lezama, MIT

. Ganesh Gopalakrishnan, University of Utah, USA . Shaz Qadeer, Microsoft Research, USA

. Local Arrangements Chair: Eric Mercer, BYU, USA . Workshops Chair: Neha Rungta, NASA Ames Res. Ctr, USA . Publicity Chair: Sandip Ray, UT Austin, USA . Webmaster: Geof Sawaya, Univ. of Utah, USA

* NSV:  Eric Goubault (CEA LIST), Sylvie Putot (CEA LIST),
         Stefan Ratschan (Acad. Science), Sriram Sankaranarayanan (UC Boulder)
* PDMC: Jiri Barnat (Masaryk U), Keijo Heljanko (Aalto U)
* EC2:  Sebastian Burkhardt (MSR), Swarat Chaudhuri (Rice U),
         Azadeh Farzan (U Toronto), Ganesh Gopalakrishnan (U Utah),
         Stephen Siegel (U Delaware), Helmut Veith (TU Wein)
* FAC:  Chris Myers (U Utah), Kevin Jones (Univ London)
* SMT:  Shuvendu Lahiri (MSR), Sanjit Seshia (Berkeley)
* SPIN: Alex Groce (Oregon State U), Madan Musuvathi (MSR)
* FM-R: Hadas Kress-Gazit (Cornell U), Nir Piterman (U of Leicester)
* PSY:  Martin Vechev (IBM TJ Watson), Eran Yahav (Technion)

. Michael J.C. Gordon, Cambridge
. Orna Grumberg, Technion
. Robert Kurshan, Cadence Inc
. Kenneth L. McMillan, Microsoft Research

. Coverity, Google, IBM, Intel, Jasper, Microsoft Research, NEC, Nvidia, NSF