BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2009/newsitem/2799/2-N
 ovember-2009-3rd-Workshop-on-Formal-Methods-for-In
 teractive-Systems-Eindhoven-The-Netherlands
DTSTAMP:20090322T000000
SUMMARY:3rd Workshop on Formal Methods for Interac
 tive Systems, Eindhoven, The Netherlands
DTSTART;VALUE=DATE:20091102
DTEND;VALUE=DATE:20091102
LOCATION:Eindhoven, The Netherlands
DESCRIPTION:Reducing the likelihood of human error
  in the use of interactive systems is increasingly
  important: the use of such systems is becoming wi
 despread in applications that demand high reliabil
 ity due to safety, security, financial or similar 
 considerations. Interactive systems are also becom
 ing 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 interfa
 ce as well as with the wider socio-technical syste
 m.   The aim of this workshop is to bring together
  researchers in computer science, cognitive psycho
 logy, and other areas of HCI, from both academia a
 nd industry, who are interested in both formal met
 hods and interactive system design.   For more inf
 ormation, see http://homepages.cs.ncl.ac.uk/michae
 l.harrison/fmis/. The workshop will be held in con
 junction with FM2009 <http://www.win.tue.nl/fm2009
 />  In order to encourage participation and discus
 sion, this workshop solicits two types of submissi
 ons - regular papers and short papers. Deadline fo
 r abstract submission: August 10, 2009.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>Reduc
 ing the likelihood of human error in the use of\n 
        interactive systems is increasingly importa
 nt: the use of such\n        systems is becoming w
 idespread in applications that demand\n        hig
 h reliability due to safety, security, financial o
 r similar\n        considerations. Interactive sys
 tems are also becoming\n        increasingly ubiqu
 itous and being used in new and more complex\n    
     situations. Consequently, the use of formal me
 thods in\n        verifying the correctness of int
 eractive systems should also\n        include anal
 ysis of human behaviour in interacting with the\n 
        interface as well as with the wider socio-t
 echnical system.\n      </p>\n      <p>The aim of 
 this workshop is to bring together researchers in\
 n        computer science, cognitive psychology, a
 nd other areas of\n        HCI, from both academia
  and industry, who are interested in\n        both
  formal methods and interactive system design.\n  
     </p>\n    \n      \n      <p>For more informat
 ion, see\n        <a target="_blank" href="http://
 homepages.cs.ncl.ac.uk/michael.harrison/fmis/">htt
 p://homepages.cs.ncl.ac.uk/michael.harrison/fmis/<
 /a>.\n        The workshop will be held in conjunc
 tion with FM2009\n        &lt;<a target="_blank" h
 ref="http://www.win.tue.nl/fm2009/&gt;">http://www
 .win.tue.nl/fm2009/&gt;</a>\n      </p>\n    </div
 ><div>\n      <p>In order to encourage participati
 on and discussion, this\n        workshop solicits
  two types of submissions - regular papers\n      
   and short papers.\n        Deadline for abstract
  submission: August 10, 2009.\n      </p>\n      <
 /div>
URL:/NewsandEvents/Archives/2009/newsitem/2799/2-N
 ovember-2009-3rd-Workshop-on-Formal-Methods-for-In
 teractive-Systems-Eindhoven-The-Netherlands
END:VEVENT
END:VCALENDAR