Envisage organized the 14th SFM Summer School on Executable Software Models. The event took place in the medieval hilltop town of Bertinoro, Italy, 16-20 June 2014.

Bertinoro itself is picturesque, with its narrow streets and walkways winding around the central peak. The school was held at the Centro Residenziale Universitario (CRU), an ex-episcopal fortress that has been converted into a modern conference center. From the fortress, it is possible to enjoy a beautiful vista stretching from the Apennines to the Adriatic Coast and the Alps over the Po Valley. 27 PhD students from 21 European universities participated in the summer school.

Lectures:

• Reiner Hähnle (TU Darmstadt, DE): Design and Analysis of Executable Software Models: An Introduction and Overview
• Dave Clarke (KU Leuven, BE): Variability Models
• Cosimo Laneve (U Bologna, IT): Deadlock Analysis of Concurrent Programs
• Erika Ábrahám (RWTH Aachen, DE): Probabilistic Modeling and Model Checking
• Josef Widder (TU Vienna, AT): Model Checking of Fault-Tolerant Distributed Algorithms
• Sophia Drossopoulou (IC London, UK): Reasoning about Recursive Predicates in Specifications
• Marieke Huisman (U Twente, NL): Verification of Concurrent Systems
• Frank de Boer (CWI Amsterdam, NL): Run-Time Assertion Checking and Monitoring Java Programs
• Elvira Albert (UC Madrid, ES): Test-Case Generation by Symbolic Execution
• Ina Schaefer (TU Braunschweig, DE): Model-Based Testing

The proceedings are available here.