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

CFP: Formal Methods in Computer-Aided Design FMCAD 2008

FMCAD 2008
International Conference on Formal Methods in Computer-Aided Design
                          CALL FOR PAPERS

                       November 17-18, 2008
                  Embassy Suites Portland--Downtown
                          Portland, Oregon

Paper Submission Deadline:    May 12, 2008
Author Feedback:              June 19-22, 2008
Acceptance Notification:      July 3, 2008
Final Version Due:            August 17, 2008 (To be confirmed)

Early Registration Deadline:  October 14, 2008
Hotel Registration Deadline:  October 17, 2008 (To be confirmed)

FMCAD 2008 is the eighth in a series of conferences on the theory and
application of formal methods in hardware and system design and
verification. In 2005, the bi-annual FMCAD and sister conference
CHARME decided to merge to form an annual conference with a unified
community. The resulting unified FMCAD provides a leading
international forum to researchers and practitioners in academia and
industry for presenting and discussing groundbreaking methods,
technologies, theoretical results, and tools for formally reasoning
about computing systems, as well as open challenges therein.  Topics
of interest for the technical program include, but are not limited to:

  * Foundations: advancing industrial-strength technologies in model
    checking, theorem proving, equivalence checking, abstraction and
    refinement techniques, property-preserving reduction techniques,
    compositional methods, decision procedures, SAT- and BDD-based
    methods, combining deductive methods with decision procedures, and
    probabilistic methods.

  * Verification applications: tools, industrial experience reports,
    and case studies.  We encourage the submission of materials
    relating to novel and challenging industrial-scale applications of
    formal methods, including problem domains where formal methods
    worked well or even fell short. We also encourage submissions
    relating to the development and execution of methodologies for
    formal and informal verification strategies.

  * Applications of formal methods in design: topics relating to the
    application and applicability of assertion-based verification,
    equivalence checking, transaction-level verification, semi-formal
    verification, runtime verification, simulation and testcase
    generation, coverage analysis, microcode verification, embedded
    systems, software verification, concurrent systems, timing
    verification, and formal approaches to performance and power.

  * Model-based approaches: modeling and specification languages,
    system-level design and verification, design derivation and
    transformation, and correct-by-construction methods.

  * Formal methods for the design and verification of emerging and
    novel technologies: nano, quantum, biological, video, gaming, and
    multimedia applications.

Submissions must be made electronically in PDF format through the
FMCAD'08 web site, The proceedings will be
published by ACM and will be available online in the ACM Digital
Library and the IEEE Xplore Digital Library. Two categories of papers
can be submitted: regular papers (8 pages), containing original
research that has not been previously published, nor concurrently
submitted for publication; and short papers (4 pages), describing
applications, case studies, industrial experience reports, emerging
results, or implemented tools with novel features.

Regular and short papers must use the IEEE Transactions format on
letter-size paper with a 10-point font size (see We
recommend that self-citations be written in the third person, though
authors will be required to identify themselves on their submissions.
Submissions must contain original research that has not been
previously published, nor concurrently submitted for publication. Any
partial overlap with any published or concurrently submitted paper
must be clearly indicated. If experimental results are reported,
authors are strongly encouraged to provide adequate access to their
data so that results can be independently verified.

A small number of accepted papers will be considered for a
distinguished paper award.

     Alessandro Cimatti, FBK-irst, Italy
     Robert B. Jones, Intel, USA
Local Arrangements:
     Annette Bunker, Intel, USA
     Carl Pixley, Synopsys, USA
     Lee Pike, Galois Inc., USA
     Anna Slobodova, Intel, USA
     Anders Franzen, FBK-irst, Italy
     Alberto Griggio, University of Trento, Italy

Steering Committee:
     Jason Baumgartner, IBM, USA
     Aarti Gupta, NEC, USA
     Warren A. Hunt, Jr., University of Texas, USA
     Pete Manolios, Northeastern University, USA
     Mary Sheeran, Chalmers, USA

  * Mark Aagaard, University of Waterloo, Canada
  * Jason Baumgartner, IBM Corporation, USA
  * Valeria Bertacco, University of Michigan, USA
  * Armin Biere, Johannes Kepler University, Austria
  * Per Bjesse, Synopsys, USA
  * Roderick Bloem, TU Graz, Austria
  * Dominique Borrione, Grenoble University, France
  * Gianpiero Cabodi, Politecnico di Torino, Italy
  * Alessandro Cimatti (co-chair), FBK-irst, Trento, Italy
  * Koen Claessen, Chalmers University of Technology, Sweden
  * Ganesh Gopalakrishnan, University of Utah, USA
  * Aarti Gupta, NEC Laboratories America, USA
  * Alan J. Hu, University of British Columbia, Canada
  * Robert Jones (co-chair), Intel Corp., USA
  * Daniel Kroening, ETH Zurich, Switzerland
  * Andreas Kuehlmann, Cadence Laboratories, USA
  * Wolfgang Kunz, University of Kaiserslautern, Germany
  * Shuvendu Lahiri, Microsoft, USA
  * Jeremy Levitt, Mentor Graphics, USA
  * Panagiotis Manolios, Northeastern University, USA
  * Andy Martin, IBM Research Division, USA
  * Tom Melham, Oxford University, UK
  * Ken McMillan, Cadence Labs, USA
  * John O'Leary, Intel Corp., USA
  * Lee Pike, Galois Inc., USA
  * Rajeev Ranjan, Jasper Design Automation, USA
  * Sandip Ray, University of Texas at Austin, USA
  * Fei Xie Portland State U., USA
  * Alper Sen, Freescale Austin, USA
  * Natasha Sharygina, University of Lugano, Switzerland
  * Eli Singerman, Intel Corp., USA
  * Karen Yorav, IBM Haifa Research Laboratory, Israel