Exciting programme at the 14th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Executable Software Models! The summer school is co-organized by Envisage, with many highly relevant topics for the project:
- Reiner Hähnle (TU Darmstadt): Design and Analysis of Executable Software Models: An Introduction and Overview
- Dave Clarke (Uppsala University): Variability Models
- Cosimo Laneve (U Bologna): Deadlock Analysis
- Erika Abraham (RWTH Aachen): Probabilistic Modeling and Model Checking
- Helmuth Veith (TU Vienna): Model Checking of Fault-Tolerant Distributed Algorithms
- Sophia Drossopoulou (Imperial College London): Reasoning about Recursive Predicates in Specifications
- Marieke Huisman (U Twente): Verification of Concurrent Systems
- Frank de Boer (CWI Amsterdam): Run-Time Analysis
- Elvira Albert (U Complutense Madrid): Test-Case Generation
- Ina Schaefer (TU Braunschweig): Model-Based Testing
Great location. The event takes 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 will be 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.
Registration & info. It is still possible to register for the summer school. Don’t miss out! For more information, see http://www.sti.uniurb.it/events/sfm14esm/