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


Erden in AI roundtab...

On Friday 4th September, philosopher and AISB member Dr Yasemin J Erden, participated in an AI roundtable at Second Home, hosted by Index Ventures and SwiftKey.   Joining her on the panel were colleagues from academia and indu...


AISB Convention 2016

The AISB Convention is an annual conference covering the range of AI and Cognitive Science, organised by the Society for the Study of Artificial Intelligence and Simulation of Behaviour. The 2016 Convention will be held at the Uni...


Bishop and AI news

Stephen Hawking thinks computers may surpass human intelligence and take over the world. This view is based on the ideology that all aspects of human mentality will eventually be realised by a program running on a suitable compu...


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


Al-Rifaie on BBC

AISB Committee member and Research Fellow at Goldsmiths, University of London, Dr Mohammad Majid al-Rifaie was interviewed by the BBC (in Farsi) along with his colleague Mohammad Ali Javaheri Javid on the 6 November 2014. He was a...


AISB YouTube Channel

The AISB has launched a YouTube channel: http://www.youtube.com/user/AISBTube (http://www.youtube.com/user/AISBTube). The channel currently holds a number of videos from the AISB 2010 Convention. Videos include the AISB round t...



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
Netherlands http://homepages.cs.ncl.ac.uk/michael.harrison/fmis/


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: http://homepages.cs.ncl.ac.uk/michael.harrison/fmis/

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