CFProposal AISB2018

  The Society for the Study of Artificial Intelligence and Simulation for Behaviour (AISB) is soliciting proposals for symposia to be held at the AISB 2018 convention.The longest running convention on Artificial Intelligence, A...


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


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



AISB event Bulletin Item


                             CALL FOR PAPERS
                       COMPUTER AIDED VERIFICATION
                                CAV 20007
                       19th International Conference
                      July 3-7, 2007, Berlin, Germany

                        ** Final Call for Papers **
	** FIRM deadline for submissions: January 28, 2007, 23:59 PST **

Aims and Scope:

       CAV'07 is the 19th 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, and maintain its recent
       momentum in software verification. 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

Invited Speakers:

     - Byron Cook, Microsoft Research
     - David Russinoff, AMD
     - Thomas Kropf, Robert Bosch AG


     This year, there will be eight affiliated workshops:

     - AHA 07: International Symposium on Automatic Heap Analysis

     - ARTIST Workshop on tool platforms for modelling, analysis and 
       validation of embedded systems

     - BMC 07: 5th International Workshop on Bounded Model Checking

     - FMICS 2007: 12th Intl. Workshop on Formal Methods for Industrial 
       Critical Systems

     - GVD 2007: 3rd German Verification Day

     - HW-MC-COMP: Hardware Model Checking Competition

     - PDMC 07: 6th Int. Workshop on Parallel and Distributed Methods 
       in verifiCation

     - SMT 2007: 5th International Workshop on Satisfiability Modulo 

     - SMT-COMP: Satisfiability Modulo Theories Tools Competition

     - SPIN 2007: 14th International SPIN Workshop on Model Checking of 

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 concerning the procedure for submissions will be
     available on the conference home page:


     Submissions will be evaluated by the program committee for inclusion
     in the proceedings, which will be published by Springer-Verlag in
     the LNCS series. Papers exceeding the stated maximum length or
     submitted after January 28, 2007 run the risk of rejection
     without review.

     On an experimental basis for this year, authors will be granted
     access to the text content of their reviews during the review
     process. Authors will be given a short time period in which to
     submit feedback, which may (at the PC's discretion) be taken into
     account in the decision process. Strict guidelines on length and
     content of feedback will be provided to the authors.

Important dates:

       Paper submission (firm): January 28, 2007
       Author feedback period: March 9-11, 2007
       Notification of acceptance: March 23, 2007
       Final version due: April 20, 2007

Program Chairs:

     Werner Damm, U Oldenburg, damm at
     Holger Hermanns, Saarland U,  hermanns at

Program Committee:

     Parosh Abdulla, Uppsala U
     Rajeev Alur, U Penn
     Sergey Berezin, Synopsis
     Armin Biere, JKU Linz
     Roderick Bloem, TU Graz
     Ahmed Bouajjani, U Paris 7
     Alessandro Cimatti, IRST Trento
     Edmund M. Clarke, CMU
     Werner Damm, CvO U Oldenburg
     Limor Fix, Intel
     Patrice Godefroid, Microsoft Research
     Ganesh Gopalakrishnan, U of Utah
     Susanne Graf, Verimag
     Orna Grumberg, Technion
     Holger Hermanns, Saarland U
     Robert Jones, Intel
     Orna Kupferman, Hebrew U
     Robert Kurshan, Cadence
     John Lygeros, ETH Zuerich
     Tom Melham, Oxford U
     Ken McMillan, Cadence
     Jakob Rehof, U Dortmund
     Koushik Sen, UC Berkeley
     Fabio Somenzi, U Boulder
     Ashish Tiwari, SRI International
     Frits Vaandrager, U Nijmegen
     Yaron Wolfstal, IBM Haifa

Steering Committee:

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