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


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


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


Rose wins the Loebne...

After 2 hours of judging at Bletchley Park, 'Rose' by Bruce Wilcox was declared the winner of the Loebner Prize 2014, held in conjunction with the AISB.  The event was well attended, film live by Sky News and the special guest jud...


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


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



AISB event Bulletin Item

CFP: Computer Aided Verification CAV 2009

*21th International Conference on  Computer Aided Verification*
                               *CAV 2009*

   June 26 - July 2, 2009   Grenoble, France


                *CALL FOR PAPERS*


Aims and Scope
CAV 2009 is the 21st in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. CAV considers it vital to continue its leadership in hardware verification, maintain its recent momentum in software verification, and consider new domains such as biological systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation. The proceedings of the conference will be published in the Springer-Verlag Lecture Notes in Computer Science series. A selection of papers will be invited to a special issue of the International Journal on Formal Methods and System Design.

Topics of interest include:

* Algorithms and tools for verifying models and implementations
* Hardware verification techniques
* Hybrid systems and embedded systems verification
* Deductive, compositional, and abstraction techniques for verification
* Program analysis and software verification
* Verification techniques for security
* Testing and runtime analysis based on verification technology
* Applications and case studies
* Verification in industrial practice  * Formal methods for biological systems

The main conference will take place on June 28-July 2, preceded by affilated workshops (see below).

Invited Speakers

* Martin Abadi (UC Santa Cruz)
* Luca Benini (U Bologna)
* Sumit Gulwani (MSR, Redmond)
* Ofer Strichman (Technion, Haifa)



There will be invited tutorials on the first day of the conference (June 28) given by

* Rachid Guerraoui (EPFL Lausanne)
* Jaeha Kim (Stanford)
* Jean Krivine (Harvard Medical school)
* Joseph Sifakis (VERIMAG)

Affiliated Workshops

The following pre-conference workshops and events will be held in the period June 26-28:

* SPIN - International SPIN Workshop on Model Checking of Software
* RVI - International Workshop on Runtime Verification
* EC^2 - Workshop Exploiting Concurrency Efficiently and Correctly
* GASICS - Workshop on Games for Design, Verification and Synthesis
* VETO - Workshop on Computer Science Security and Electronic Vote
* MITACS - French-Canadian Workshop on Foundation and Practice of Security
* BPR - Workshop on Bit Precise Reasoning
* QA - Workshop on Quantitative Analysis of Software
* PSY - Workshop on Practical Synthesis for Concurrent Systems
* AFM - Workshop on Automated Formal Methods
* FAC - Workshop on Formal Verification of Analog Circuits
* CFV - Workshop on Constraints in Formal Verification
* HWMCC - Hardware Model-checking Competition

CAV Award

See below for nominations for the CAV Award, established

"For a specific fundamental contribution or a series of outstanding contributions to the field of Computer Aided Verification."

The award of ,000 will be granted to an individual or a group of individuals chosen by the Award Committee from a list of nominations. The Award Committee may choose to make no award.

The CAV Award shall be presented in an award ceremony at CAV and a citation will be published in a Journal of Record (currently, Formal Methods in System Design).

Paper Submission
There are two categories of submissions:

* A. Regular papers. Submissions, not exceeding fourteen (14) pages using Springer's LNCS format, should contain original research, and sufficient detail to assess the merits and relevance of the contribution. For papers reporting experimental results, authors are strongly encouraged to make their data available with their submission. Submissions reporting on case studies in an industrial context are strongly invited, and should describe details, weaknesses and strength in sufficient depth. Simultaneous submission to other conferences with proceedings or submission of material that has already been published elsewhere is not allowed.

* B. Tool presentations. Submissions, not exceeding six (6) pages using Springer's LNCS format, should describe the implemented tool and its novel features. A demonstration is expected to accompany a tool presentation. Papers describing tools that have already been presented in this conference before will be accepted only if significant and clear enhancements to the tool are reported and implemented.

Papers exceeding the stated maximum length run the risk of rejection without review. The review process will include a feedback/rebuttal period where authors will have the option to respond to reviewer comments. Papers can be submitted in PDF or PS format. Submission is done with EasyChair. Informations about the submission procedure will be available at:

Important Dates (note some changes from previous call)
* Abstract submission:  January 19, 2009
* Paper submission (firm): January 29, 2009
* Author feedback/rebuttal period: March 7-10, 2009
* Notification of acceptance/rejection: March 23, 2009
* Final version due: April 19, 2009

Program Chairs
-   Ahmed Bouajjani, LIAFA, U Paris 7
-   Oded Maler, CNRS-VERIMAG, Grenoble

Program Committee
-    Parosh A. Abdulla, U Uppsala
-    Rajeev Alur, U Penn
-    Christel Baier, U Dresden
-    Clark Barrett, NYU
-    Armin Biere, Johannes Kepler U Linz
-    Nikolaj Bjorner, Microsoft Research Redmond
-    Roderick Bloem, TU Graz
-    Ahmed Bouajjani (co-chair), LIAFA, U Paris 7
-    Edmund Clarke, CMU
-    Byron Cook, Microsoft Research Cambridge
-    Martin Fraenzle, U Oldenburg
-    Aarti Gupta, NEC Labs America
-    John Harrison, Intel
-    Klaus Havelund, NASA JPL
-    Alan Hu, UBC Vancouver
-    Kevin Jones
-    Daniel Kroening, U Oxford
-    Robert Kurshan, Cadence Design Systems
-    Yassine Lakhnech,  U Grenoble
-    Oded Maler (co-chair), CNRS-VERIMAG
-    Kenneth McMillan, Cadence Research Labs
-    Markus Mueller-Olm, U Muenster
-    Kedar Namjoshi, Bell Labs, Alcatel-Lucent
-    Madhusudan Parthasarathy, U Illinois Urbana-Champaign
-    Sriram Rajamani, Microsoft Research India
-    Andrey Rybalchenko, MPI-SWS Saarbruecken
-    Philippe Schnoebelen, CNRS-LSV
-    Sanjit Seshia, UC Berkeley
-    Natarajan Shankar, SRI International
-    Fabio Somenzi, U Colorado Boulder
-    Ofer Strichman, Technion
-    Serdar Tasiran, Koc U Istanbul
-    Tayssir Touili, CNRS-LIAFA
-    Stavros Tripakis, Cadence Research Labs
-    Helmuth Veith, TU Darmstadt

Organizing committee
-    Saddek Bensalem (Chair), VERIMAG, U Grenoble
-    Ylies Falcone, VERIMAG, U Grenoble
-    Peter Habermehl, LIAFA, U Paris 7

Steering Committee
- Edmund M. Clarke, CMU
- Mike Gordon, U of Cambridge
- Robert P. Kurshan, Cadence
- Amir Pnueli, NYU

Call for Nominations for the CAV Award
Anyone can submit a nomination. The Award Committee can originate a nomination. Anyone, with the exception of members of the Award Committee, is
eligible to receive the Award.

A nomination must state clearly the contribution(s), explain why the contribution is fundamental or the series of contributions is outstanding, and be accompanied by supporting letters and other evidence of worthiness.  Nominations should include a proposed citation (up to 25 words), a succinct (100-250 words) description of the contribution(s), and a detailed statement to justify the nomination.

The cited contribution(s) must have been made not more recently than five years ago and not over twenty years ago. In addition, the contribution(s) should not yet have received recognition via a major award, such as the ACM Turing or Kanellakis Awards. (The nominee may have received such an award for other contributions.)

The 2009 CAV Award Committee consists of Randy Bryant, Orna Grumberg, Moshe Vardi and Joseph Sifakis (in order of seniority).

For the CAV Award in 2009, please send nominations to the CAV Award Committee Chair:

Randy Bryant    Randy.Bryant (at)

Nominations must be received by *January 25, 2009*.