Insurance AI Analy...

Insurance AI Analytics Summit, October 9-10, London Join us for Europe’s only AI event dedicated to insurance where 300 attendees will unite from analytics, pricing, marketing, claims and underwriting. You’ll find out how advan...


AISB 2018 Convention

The longest running convention on Artificial Intelligence, AISB 2018 will be held at the University of Liverpool, chaired by Floriana Grasso and Louise Dennis. As in the past years, AISB 2018 will provide a unique forum for presen...


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



AISB event Bulletin Item

CFP and Workshop Proposals: CAV2009 - Computer Aided Verification


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

June 26 - July 2, 2009

*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. 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. Topics of interest include:

-    Modeling and specification formalisms
-    Algorithms and tools for verifying models and implementations
-    Deductive, compositional, and abstraction techniques for verification
-    Testing and runtime analysis based on verification technology
-    Hardware verification techniques
-    Program analysis and software verification
-    Analysis of embedded and hybrid systems
-    Verification techniques for security
-    Applications and case studies
-    Verification in industrial practice

*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 five (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 any conference) 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*

-    Abstract submission:  January 18, 2009
-    Paper submission (firm):  January 25, 2009
-    Author feedback/rebuttal period:  March 5-8, 2009
-    Notification of acceptance/rejection:  March 23, 2009
-    Final version due:  April 17, 2009


There will be pre-conference workshops on June 26-28. The main conference will take place on June 28-July 2. There will be tutorials on the first day of the conference (June 28). Please see the conference website for details.

*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 Frnzle, U Oldenburg
-    Aarti Gupta, NEC Labs America
-    John Harrison, Intel
-    Klaus Havelund, NASA JPL
-    Alan Hu, UBC Vancouver
-    Kevin Jones
-    Daniel Krning, U Oxford
-    Robert Kurshan, Cadence Design Systems
-    Yassine Lakhnech,  U Grenoble
-    Oded Maler, CNRS-VERIMAG
-    Kenneth McMillan, Cadence Research Labs
-    Markus Mller-Olm, U Mnster
-    Kedar Namjoshi, Bell Labs, Alcatel-Lucent
-    Madhusudan Parthasarathy, U Ilinois Urbana-Champain
-    Sriram Rajamani, Microsoft Research India
-    Andrey Rybalchenko, MPI Saarbrcken
-    Philippe Schnoebelen, CNRS-LSV
-    Sanjit Seshia, UC Berkeley
-    Natarjan Shankar, SRI International
-    Ofer Strichman, Technion
-    Serdar Tasiran, Ko U Istanbul
-    Tayssir Touili, CNRS-LIAFA
-    Stavros Tripakis, Cadence Research Labs
-    Helmuth Veith, TU Darmstadt

*Steering Committee*

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

*Organization committee*

-    Saddek Bensalem, VERIMAG, U Grenoble
-    Peter Habermehl, LIAFA, U Paris 7
Call for Workshop Proposals


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. 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. Topics of interest include: (1) Algorithms and tools for verifying models and implementations, (2) Hardware verification techniques, (3) Program analysis and software verification, (4) Verification and analysis of embedded and hybrid systems, (5) Verification techniques for security, (6) Modeling and specification formalisms, (7) Deductive, compositional, and abstraction techniques for verification, (8) Testing and runtime analysis based on verification technology, (9) Applications and case studies, and (10) Verification in industrial practice. 

CAV 2009 will take place from June 26 to July 2, 2009, at Grenoble, France, where the first CAV started in 1989. 

Traditionally, CAV hosts a number of affiliated workshops complementing its technical program. Affiliated workshops will be organized on June 26-29. Workshop rooms will be available at the conference site, and local arrangements will be facilitated by the CAV organization.

Proposals for workshops affiliated with CAV 2009 are cordially invited. The proposals should be sent by October 31, 2008, to and should include the following information:

 - Name of the workshop
 - Intended aims and scope 
 - History of the workshop
 - Expected number of participants (min/avg/max)
 - Length of the event (1, 2 or 3 days)
 - Contact person with full contact information

Additional organizational plans may include names of potential invited speakers, funding sources, proposed sessions, plans for proceedings or other publications, etc.

Important Dates:
Submission deadline for workshop proposals: October 31, 2008
Notification: November 7, 2008

Workshops Chair:
Andreas Podelski, Freiburg