Envisage Summer School June 2014

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/