FHIES 2011: Johannesburg, South Africa

Protocols for Diagnosis and Clinical Trials

Modelling Workflows

Model Checking Workflows and Control Systems

Interoperability

Formal Modelling of Organs and Devices

Safety, Security, and Privacy of Medical Records

maintained by Schloss Dagstuhl LZI at University of Trier