Session 1

09:00 - 09:30 Introduction of the workshop and all participants

09:30 - 10:30 Invited Talk: Abstraction and Refinement for Managing Features Interactions by Dominique Mery

10:30 - 11:00 Coffee Break

Session 2

11:00 - 11:30 Using Abstraction with Interaction Sequences for Interactive System Modelling by Jessica Turner, Judy Bowen and Steve Reeves 

11:30 - 12:00 Formal modelling as a component of user centred design by Michael Harrison, Paolo Masci and Jose C. Campos.

12:00 - 12:30 (Short) Application of Formal Methods in the INSPEX Smart Systems Integration Project by Richard Banach, Joseph Razavi, Olivier Debicki, Nicolas Mareau, Suzanne Lesecq and Julie Foucault

12:30 - 14:00 Lunch

Session 3

14:00 - 14:30 Refinement Based Formal Development of Human-Machine Interface by Neeraj Kumar Singh and Romain Geniet 

14:30 - 15:00 (Short) Towards Handling Latency in Interactive Systems by Sébastien Leriche, Stéphane Conversy, Celia Picard, Daniel Prun and Mathieu Magnaudet 

15:00 - 15:30 Towards a Cognitive Architecture for the Formal Analysis of Human Behaviour and Learning by Antonio Cerone

15:30 - 16:00 Coffee Break

Session 4

16:00 - 16:30 Interactive discussion (evolution of interaction techniques and FM) 

Discussion on the topics addressed in presentations. How can formal approaches for Interactive systems deal with the rapid evolution of the interaction techniques.

16:30 - 17:00 Interactive discussion (properties verification for interactive systems)

Are we progressing on the verification of properties for interactive systems? Agenda of items to consider for future research. 

17:00 – 17:15 Wrap-up, future collaborations, presentation FMIS 2019