Invited Papers -- Intelligent Tools for Reducing Medication Dispensing and Administration Error -- Panel Position Statements -- Pathways -- Modelling Care Pathways in a Connected Health Setting -- A Resource Flow Approach to Modelling Care Pathways -- ICT-powered Health Care Processes (Position Paper) -- Generation and Certification -- Approach and Method for Generating Realistic Synthetic Electronic Healthcare Records for Secondary Use -- Insulin Pump Software Certification -- Interoperability -- An Ontology for Regulating eHealth Interoperability in Developing African Countries -- Use of XML Schema Definition for the Development of Semantically Interoperable Healthcare Applications -- Patient Safety -- A Bayesian Patient-Based Model for Detecting Deterioration in Vital Signs Using Manual Observations -- Performance of Early Warning Scoring Systems to Detect Patient Deterioration in the Emergency Department -- Early Fault Detection Using Design Models for Collision Prevention in Medical Equipment -- Device Safety -- OR.NET: Safe Interconnection of Medical Devices (Position Paper) -- Formal Methods -- A Modal Specification Approach for On-Demand Medical Systems -- Towards Formal Safety Analysis in Feature-Oriented Product Line Development -- HIV/AIDS and Privacy -- An Investigation of Classification Algorithms for Predicting HIV Drug Resistance without Genotype Resistance Testing -- Characterisation of Knowledge Incorporation into Solution Models  for the Meal Planning Problem -- A Quantitative Analysis of the Performance and Scalability of De-identification Tools for Medical Data.