~~~~~~~ BRITISH HCI GROUP NEWS SERVICE ~~~~~~~~~~~
~~ http://www.bcs-hci.org.uk/ ~~
~~ All news to: [log in to unmask] ~~
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
~~ NOTE: Please reply to article's originator, ~~
~~ not the News Service ~~~
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
*****************************************************************
CALL FOR PARTICIPATION
3rd Workshop on Formal Methods for Interactive Systems Eindhoven,
The Netherlands November 2, 2009
A satellite event of the 16th International Symposium on Formal Methods,
http://homepages.cs.ncl.ac.uk/michael.harrison/fmis/
*****************************************************************
WORKSHOP OBJECTIVES
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 is to be held in conjunction with FM2009
<http://www.win.tue.nl/fm2009/>
The first FMIS workshop <http://fmis.iist.unu.edu/> was held in Macau in
October 2006 and the second FMIS workshop <http://www.dcs.qmul.ac.uk/
research/imc/hum/fmis2007/>, was held in Lancaster in September 2007
TOPICS
The workshop provides a forum for the presentation and discussion of
original research in the application of formal methods to interactive
system design. This year the programme comprises diverse and original
topics, including a number of papers on different aspects of formal
modelling and verification of human interaction in pervasive systems.
Other contributions address novel and traditional areas of application
of formal methods in HCI including: formal modelling of trust-related
emotions, model-based testing driven by user interface design, social
networking, enterprise design using a human centered point of view and
work on stochastic modelling and analysis.
This rich programme will surely stimulate a fruitful exchange between the
Formal Methods community, often looking for interesting original areas of
application of new formalisms and approaches, and the HCI community.
KEYNOTE SPEAKER
This year's Keynote Speaker is Professor Muffy Calder from the
University of Glasgow.
ACCEPTED PAPERS
Regular papers:
* A Logical Framework for Trust-Related Emotions.
(Jean-Francois Bonnefon, Dominique Longin and Manh Hung Nguyen.)
* UI-Design Driven Model-Based Testing.
(Judy Bowen and Steve Reeves.)
* Verifying Interoperability Requirements in Pervasive Systems.
(Myrto Arapinis, Mark Ryan, Eike Ritter, Michael
Fisher, Savas Konur, Louise Dennis, Sven Schewe, Muffy Calder, Chris
Unsworth, Phil Gray, Alice Miller and Rehana Yasmin.)
* Tightly Coupled Verification of Pervasive Systems.
(Muffy Calder, Phil Gray and Chris Unsworth.)
* Markov Abstractions for Stochastic Pi-Calculus.
(Hugh Anderson and Gabriel Ciobanu.)
Short papers:
* Poporo: A Formal Framework for Social Networking.
(Nestor Catano, Ian Oakley and Vassilis Kostakos.)
* Operational Model: Integrating User Tasks and Environment Information
with System Model.
(Se'bastien Combe'fis.)
* Roadmap for a Formal Approach to Reduce Inconsistencies in Enterprise
Architecture Views.
(Sietse Overbeek, Antonio Cerone and Marijn Janssen.)
LOCATION
FMIS09 is a satellite event of the 16th International Symposium on
Formal Methods, FM2009.
The venue for FM2009 and all its related events is the Auditorium of the
Technical University Eindhoven.
The Technical University of Eindhoven has a very good reachability.
The railway station, the conference hotels, and other facilities are all
within walking distance of the campus. Eindhoven also has a
well-connected international airport with a frequent shuttle service
to the center of town and the railway station which is
at walking distance from the University.
REGISTRATION
The registration for the FMIS09 workshop takes place via the web-site of
the FM 2009 Symposium which can be found at:
<http://www.win.tue.nl/fm2009/>
Regular registration is open until October 19. After that date
registration is still possible but a higher registration fee is required.
Please check the above site also for further information on venue and
available hotels and detailed travel information.
ORGANISATION
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
* Paul Cairns, University of York, UK
* Jose' 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
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
~~ To receive HCI news, send the message: ~~
~~ "JOIN BCS-HCI your_firstname your_lastname" ~~
~~ to [log in to unmask] ~~
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
~~ Newsarchives: ~~
~~ http://www.jiscmail.ac.uk/lists/bcs-hci.html ~~
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
~~ To join the British HCI Group, contact ~~
~~ [log in to unmask] ~~
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
On 25 February 2009, the University launched its new name, Edinburgh Napier University.
For more information please visit our website.
Edinburgh Napier University is one of the top 10 universities in the UK for graduate employability (HESA 2009)
This message is intended for the addressee(s) only and should not be read, copied or disclosed to anyone else out-with the University without the permission of the sender.
It is your responsibility to ensure that this message and any attachments are scanned for viruses or other defects. Edinburgh Napier University does not accept liability for any loss or damage which may result from this email or any attachment, or for errors or omissions arising after it was sent. Email is not a secure medium. Email entering the University's system is subject to routine monitoring and filtering by the University.
Edinburgh Napier University is a registered Scottish charity. Registration number SC018373
|