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: NASA Formal Methods Symposium, 3-5 April 2012, USA

NFM 2012, Fourth NASA Formal Methods Symposium Norfolk, Virginia, USA

Theme of Conference:

The NASA Formal Methods Symposium is a forum for theoreticians and practitioners from academia, 
industry, and government, with the goals of identifying challenges and providing solutions to 
achieving assurance in mission- and safety-critical systems. Within NASA, for example, such 
systems include autonomous robots, separation assurance algorithms for aircraft, Next Generation 
Air Transportation (NextGen), and autonomous rendezvous and docking for spacecraft. Moreover, 
emerging paradigms such as code generation and safety cases are bringing with them new challenges 
and opportunities. The focus of the symposium will be on formal techniques, their theory, current 
capabilities, and limitations, as well as their application to aerospace, robotics, and other 
safety-critical systems.

Topics of Interest:
* Formal verification, including theorem proving, model checking,
   and static analysis
* Automated test generation and testing techniques for safety-critical systems
* Model-based development
* Techniques and algorithms for scaling formal methods, such as abstraction
   and symbolic methods, compositional techniques, as well as parallel and
   distributed techniques
* Monitoring and runtime verification
* Code generation from formally verified models
* Significant applications of formal methods to aerospace systems
* Modeling and verification aspects of cyber-physical systems
* Safety cases
* Accident/safety analysis
* Formal approaches to fault tolerance
* Theoretical advances and empirical evaluations of formal methods
* Techniques for safety-critical systems, including hybrid and embedded systems
* Formal methods in systems engineering


There are two categories of submissions:

* Regular papers describing fully developed work and complete results (15 pages/30 minute talks)
* Short papers describing tools, experience reports, or descriptions of work in progress or
preliminary results (6 pages/15 minute talks) All papers should be in English and describe 
original work that has not been published or submitted elsewhere. All submissions will be fully 
reviewed by members of the program committee. Papers must use the LNCS style and be put in PDF 
format in anticipation that we will publish accepted papers (including regular papers and short 
papers) in a formal proceedings. Papers should be submitted through the following link:

Program Chairs:
Alwyn Goodloe, NASA Langley Research Center Suzette Person, NASA Langley Research Center

Steering Committee:
Ewen Denney, NASA Ames Research Center
Ben Di Vito, NASA Langley Research Center Dimitra Giannakopoulou, NASA Ames Research Center Klaus 
Havelund, NASA/Jet Propulsion Laboratory Gerard Holzmann, NASA/Jet Propulsion Laboratory Cesar 
Munoz, NASA Langley Research Center Corina Pasareanu, NASA Ames Research Center James Rash, NASA 
Goddard Kristin V. Rozier, NASA Ames Research Center

Important Dates:
Submission: 11 December 2011
Notification: 21 January 2012
Final Version: 4 February 2012
Conference: 3 - 5 April 2012

Location and Cost:

The symposium will take place at the Norfolk Waterside Marriott in Norfolk, Virginia, USA. 
April 3-5, 2012. There will not be a registration fee charged to participants. All interested 
individuals, including non-US citizens, are welcome to attend, to listen to the talks, and to 
participate in discussions; however, all attendees must register.