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: