Call for Participati...

The AISB Convention is an annual conference organised by the ( The 2017 Convention will be held at the University of Bath, UK, with t...


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


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


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



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