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.