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: Workshop on Formal Methods for Interactive Systems

3rd Workshop on Formal Methods for Interactive Systems
Affiliated with FM 2009, November 2, 2009, Eindhoven, The


Reducing the likelihood of human error in the use of
interactive systems is increasingly important: the use of such
systems is becoming widespread in applications that demand
high reliability due to safety, security, financial or similar
considerations. Interactive systems are also becoming
increasingly ubiquitous and being used in new and more complex
situations. Consequently, the use of formal methods in
verifying the correctness of interactive systems should also
include analysis of human behaviour in interacting with the
interface as well as with the wider socio-technical system.

The aim of this workshop is to bring together researchers in
computer science, cognitive psychology, and other areas of
HCI, from both academia and industry, who are interested in
both formal methods and interactive system design.

The workshop will be held in conjunction with FM2009

The first FMIS workshop  was held
in Macau in October 2006 and the second FMIS workshop
, was
held in Lancaster in September 2007


Submitted papers should address issues of how formal methods
can be applied to interactive system design. Topics of
interest include, for example, the development of formal
tools, techniques and methodologies based on cognitive
psychology results, the development and use of formal user
models, case studies applying formal methods to interface
design, and formal analysis of the design of the wider
socio-technical systems.
The scope of HCI issues covered extends to all aspects of
applying formal methods to interactive systems, including
usability, user experience, human error, etc. We also welcome
papers with a focus on theory provided a link to interactive
systems is argued.

Application areas considered include but are not limited to:
mobile devices, embedded systems, safety-critical systems,
high-reliability systems, shared control systems, digital
libraries, eGovernment, pervasive systems, augmented reality,
ubiquitous computing, and computer security applications.


In order to encourage participation and discussion, this
workshop solicits two types of submissions - regular papers
and short papers:

1. Regular paper submissions must be original work, and must
not have been previously published, nor be under consideration
for publication elsewhere. Regular paper submission must not
exceed 16 pages.

2. Short paper submissions on recent or ongoing work on
relevant topics and ideas, for timely discussion and feedback
at the workshop. The
(extended) abstract of presentation submissions should not
exceed 4 pages.

Both accepted full papers and short papers will be published
in the participants proceedings. Full papers will also be
published as a volume of the EC_EASST electronic journal.

Detailed information on the submission procedure will be made available at the
FMIS09 web page:

Publication of an extended version of a selection of the
papers in a journal special issue is also under consideration.

Submissions to the workshop must not have been published or be
concurrently considered for publication elsewhere. All
submissions will be peer-reviewed and judged on the basis of
originality, contribution to the field, technical and
presentation quality, and relevance to the workshop.


Abstract submission: August 10, 2009
Submission deadline: August 20, 2009
Notification: September 14, 2009
Workshop: November 2, 2009


PC Chairs:

   * Michael Harrison, University of Newcastle, U.K.
   * Mieke Massink, CNR-ISTI, Pisa, Italy

Program Committee:

   * Ann Blandford, UCL Interaction Center, UK
   * Judy Bowen, University of Waikato, New Zealand
   * Howard Bowman, University of Kent, UK
   * Paul Cairns, University of York, UK
   * Jos Creissac Campos, University of Minho, Portugal
   * Antonio Cerone, UNI-IIST, Macau SAR China
   * Paul Curzon, Queen Mary, University of London, UK
   * Alan Dix, Lancaster University, UK
   * Gavin Doherty, Trinity College, University of Dublin, Ireland
   * David Duce, Oxford Brookes University, Oxford, UK
   * Stefania Gnesi, CNR-ISTI, Pisa, Italy
   * Michael Harrison, Newcastle University, UK
   * C. Michael Holloway, NASA Langley Research Center, USA
   * Chris Johnson, University of Glasgow, UK
   * Mieke Massink, CNR-ISTI, Pisa, Italy
   * Philippe Palanque, University of Toulouse III, France
   * Luca Simoncini, University of Pisa, Italy
   * Daniel Sinnig, Concordia University, Canada
   * Harold Thimbleby, University of Wales Swansea, Wales