The 8 full papers presented were carefully reviewed and selected from 10 submissions. They were organized in topical sections as follows: domain-specific modeling and analysis; system biology; formal methods in healthcare; and natural language processing.