PROGRAM
Monday, October 7th
View this program: with abstractssession overviewtalk overview
09:00-10:00 Session 1: AFFORD Keynote (joint session)
Experiences on Streamlining Formal Methods Tools (Paolo Masci, NIA)
Location: Arrábida
10:30-12:30 Session 2: Paper presentations
Location: S. João
| 10:30 | A Survey on Formal Methods for Interactive Systems (abstract) |
| 11:00 | Fortune Nets: Formal, Petri nets-based, Engineering of Fortunettes (abstract) |
| 11:30 | Model-Based Testing of Post-WIMP Interactions Using Petri-nets (abstract) |
| 12:00 | Synthesizing Glue Code for Graphical User Interfaces from Formal Specifications (abstract) |
14:00-15:00 Session 3: FMIS Keynote (Michael D. Harrison, Newcastle)
Location: S. João
| 14:00 | Examples of the application of formal methods to interactive systems: abstract (abstract) |
15:30-17:00 Session 4: Paper presentations
Location: S. João
| 15:30 | Formal Modelling of Safety-Critical Interactive Devices using Coloured Petri Nets (abstract) |
| 16:00 | Preliminary Thoughts on User Interfaces for Logic-based Medical Image Analysis (abstract) |
| 16:30 | Modelling Reasoning with Real-time Maude in the Context of Human Behaviour (abstract) |