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

CAV 2008: Call for Papers

20th International Conference on
      Computer Aided Verification (CAV)
		      CAV 2008

	       July 7 - 13, 2008
	        Princeton, USA

	        Call for Papers


Aims and Scope
CAV 2008 is the 20th 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
  * Program analysis and software verification
  * Modeling and specification formalisms
  * Deductive, compositional, and abstraction techniques for
  * Testing and runtime analysis based on verification technology
  * Applications and case studies
  * Verification in industrial practice 
  * Formal methods for biological systems (new this year)

There will be pre-conference workshops on July 7 and July 8, and
post-conference workshops on July 14 (if needed). Please see the Call
for Workshop Proposals on the conference website
( if you are interested in organizing a
workshop affiliated with CAV '08.

CAV Award
An award, called the CAV Award, has been established

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

The cited contribution(s) must have been made not more recently than
five years ago and not over twenty years ago.

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.

Anyone is eligible to receive the Award.

Please see the Call for Nominations for the CAV Award below.

Paper Submission
There are two categories of submissions: 

* A. Regular papers. Submissions, not exceeding thirteen (13) 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 four (4) 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.

Information about the procedure for submissions will be available on the
conference home page:

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

Important Dates 
  * Paper submission (firm): January 28, 2008
  * Author feedback/rebuttal period: March 9-11, 2008
  * Notification of acceptance/rejection: March 26, 2008
  * Final version due: April 21, 2008

Program Chairs
  * Aarti Gupta, NEC Labs America, agupta (at)
  * Sharad Malik, Princeton University, sharad (at)

Program Committee
  * Rajeev Alur, U Penn
  * Nina Amla, Cadence
  * Clark Barrett, NYU
  * Armin Biere, JKU Linz
  * Roderick Bloem, TU Graz
  * Ahmed Bouajjani, U Paris 7
  * Alessandro Cimatti, IRST Trento
  * Werner Damm, U Oldenburg
  * Steven German, IBM 
  * Ganesh Gopalakrishnan, U of Utah
  * Mike Gordon, U of Cambridge
  * Orna Grumberg, Technion
  * Aarti Gupta (co-chair), NEC Labs America
  * David Harel, Weizmann Institute
  * John Harrison, Intel
  * Tom Henzinger, EPFL
  * Holger Hermanns, Saarland U
  * Pei-Hsin Ho, Synopsys
  * Robert Jones, Intel
  * Daniel Kroening, Oxford U
  * Orna Kupferman, Hebrew U
  * Shuvendu Lahiri, Microsoft Research
  * Rupak Majumdar, UCLA
  * Oded Maler, Verimag
  * Sharad Malik (co-chair), Princeton U
  * Ken McMillan, Cadence
  * Kedar Namjoshi, Bell Labs, Alcatel-Lucent
  * Corina Pasareanu, NASA
  * Amir Pnueli, NYU
  * Andreas Podelski, U of Freiburg
  * Shaz Qadeer, Microsoft Research
  * Koushik Sen, UC Berkeley
  * Fabio Somenzi, U of Colorado at Boulder
  * Ofer Strichman, Technion
  * Karen Yorav, IBM Haifa
  * Lenore Zuck, U of Illinois at Chicago

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 except a member of the Steering
Committee, or a past member of the Award Committee who was a member in
the past two years. The Award Committee can originate or amend a

A nomination must state clearly the specific fundamental contribution,
explain why the contribution is fundamental and be accompanied by
supporting letters and other evidence of worthiness.

Nominations shall be sent to either of the two Steering Committee
members NOT on the current Program Committee, and they will forward the
nominations to the Chair of the Award Committee.

The deadline for nominations is the same as the deadline for papers.

For the CAV Award in 2008, send nominations by January 28, 2008, to:
  - Edmund M. Clarke, CMU, emc (at)
  - Robert P. Kurshan, Cadence, rkurshan (at)