AISB Convention 2015

Call for Symposium Proposals: 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 2015 Con...


Read More...

Yasemin Erden on BBC

AISB Committee member, and Philosophy Programme Director and Lecturer, Dr Yasemin J. Erden interviewed for the BBC on 29 October 2013. Speaking on the Today programme for BBC Radio 4, as well as the Business Report for BBC world N...


Read More...

Mark Bishop on BBC ...

Mark Bishop, Chair of the Study of Artificial Intelligence and the Simulation of Behaviour, appeared on Newsnight to discuss the ethics of ‘killer robots’. He was approached to give his view on a report raising questions on the et...


Read More...

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


Read More...

Lighthill Debates

The Lighthill debates from 1973 are now available on YouTube. You need to a flashplayer enabled browser to view this YouTube video  


Read More...
01234

Notice

AISB event Bulletin Item

CFP: Workshop on Formal Methods for Interactive Systems

http://homepages.cs.ncl.ac.uk/michael.harrison/fmis/

FIRST CALL FOR PAPERS
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/
*****************************************************************

OVERVIEW

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

TOPICS

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.

SUBMISSION

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.

IMPORTANT DATES

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

ORGANIZATION

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