CHI-ANNOUNCEMENTS Archives

ACM SIGCHI General Interest Announcements (Mailing List)

CHI-ANNOUNCEMENTS@LISTSERV.ACM.ORG

Options: Use Forum View

Use Monospaced Font
Show Text Part by Default
Show All Mail Headers

Message: [<< First] [< Prev] [Next >] [Last >>]
Topic: [<< First] [< Prev] [Next >] [Last >>]
Author: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Subject:
From:
Paul Curzon <[log in to unmask]>
Reply To:
Paul Curzon <[log in to unmask]>
Date:
Thu, 15 Jun 2006 22:20:57 +0100
Content-Type:
text/plain
Parts/Attachments:
text/plain (151 lines)
----------------------------------------------------------------------
                          Call for Papers
----------------------------------------------------------------------
                             FMIS 2006

1st International Workshop on FORMAL METHODS FOR INTERACTIVE SYSTEMS

                  Macau SAR China, 31 October 2006

                     http://fmis.iist.unu.edu/

**********************************************************************

                           IMPORTANT DATES

                 Submission deadline: 23 July, 2006

             Acceptance notification: 10 September, 2006

      Final version for the pre-proceedings due: 12 October, 2006

     Final version for the ENTCS proceedings due: 1 December, 2006

**********************************************************************


BACKGROUND AND 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.
      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.
      The aim of this workshop is to bring together researchers in
      computer science and cognitive psychology, from both academia
      and industry, who are interested in developing formal and
      semi-formal methodologies and tools for the evaluation and
      verification of interactive systems. The outcome is to establish
      a worldwide network of researchers interested in applying formal
      methods to HCI.
      The workshop will focus on, though will not be restricted to,

        * general design and verification methodologies
          based on cognitive psychology

      as well as application areas such as

        * mobile devices;
        * embedded systems;
        * safety-critical systems;
        * high-reliability systems;
        * shared control systems;
        * digital libraries;
        * eGovernment;
        * pervasive systems;
        * augmented reality.

      The one-day workshop will feature a one hour presentation by a
      keynote speaker together with contributed papers that will
      undergo a peer-review process. Contributed papers may be
      accepted either for full presentation or short presentation.

PUBLICATION

      Papers accepted as full paper presentations will be published by
      Elsevier in the series Electronic Notes in Theoretical Computer
      Science (ENTCS). Papers accepted as short paper presentations
      will be published in the participants' proceedings at the
      workshop only. Detailed information on the submission procedure
      is available below.
      Publication of a selection of the papers in a journal special
      issue is also under consideration.

INVITED SPEAKER

        * Harold Thimbleby, University of Wales Swansea, UK

SPONSORS AND ORGANISATION

      IFMIS 2006 will be organised jointly between the International
      Institute for Software Technology of the United Nations
      University (UNU-IIST) and the EPSRC Human Error Modelling (HUM)
      Project of the University of London (QMUL and UCL).
      UNU-IIST and EPSRC-HUM are also sponsors of ICTAC 2006.

SUBMISSION AND PUBLICATION

      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.
      Papers should be written in English and not exceed 16 pages
      in ENTCS format.
      Authors should utilize the ENTCS macro files that have been
      specially prepared for use with ENTCS. The generic ENTCS package,
      which contains files common for all volumes in ENTCS and
      includes several examples, as well as instructions, can be
      downloaded from
           http://www.entcs.org/generic.tar.gz.
      The entcsmacro.sty file in the ENTCS package should be be
      replaced by the prentcsmacro.sty file, which is specific to
      FMIS 2006 and can be downloaded from
           http://www.entcs.org/files/fmis/prentcsmacro.sty.
      File prentcsmacro.sty has to be renamed entcsmacro.sty.
      File example.tex has to be used as a template for the paper,
      making sure that key words are included in the frontmatter
      section where indicated.
      Authors also should not use any formatting commands that alter
      the ENTCS style definitions. This includes the format of
      Definitions, Lemmas, Theorems, etc., as well as the spacing
      that is defined by the ENTCS Macros.
      Authors must submit their papers in pdf format to the website
           http://confman.iist.unu.edu/FMIS2006/REG-paper/
      no later than Sunday 23 July 2006.
      All queries should be sent to: fmis2006 AT iist.unu.edu.

ORGANISERS

        * Antonio Cerone, UNI-IIST, Macau SAR China
        * Paul Curzon, Queen Mary, University of London, UK

PROGRAM COMMITTEE

        * Ann Blandford, UCL Interaction Center, UK
        * Ralph Back, Abo Akademi, Finland
        * Howard Bowman, University of Kent, UK
        * George Buchanan, University of Wales Swansea, UK
        * Antonio Cerone, UNI-IIST, Macau SAR China (Co-chair)
        * Paul Cairns, UCL Interaction Center, UK
        * Jose Creissac Campos, University of Minho, Portugal
        * Paul Curzon, Queen Mary, University of London, UK (Co-chair)
        * Gavin Doherty, Trinity College, University of Dublin, Ireland
        * Michael Harrison, University of Newcastle upon Tyne, UK
        * C. Michael Holloway, NASA Langley Research Center, USA
        * Chris Johnson, University of Glasgow, UK
        * Alan Dix, Lancaster University, UK
        * Li Siu Pan, Macao Polytechnic Institute, Macau SAR China
        * Peter Lindsay, The University of Queensland, Australia
        * Philippe Palanque, University of Toulouse III, France
        * Fabio Paterno, CNR-ISTI, Italy
        * Rimvydas Ruksenas, Queen Mary, University of London, UK

    ---------------------------------------------------------------
                To unsubscribe, send an empty email to
     mailto:[log in to unmask]
    For further details of CHI lists see http://sigchi.org/listserv
    ---------------------------------------------------------------

ATOM RSS1 RSS2