The 20th International Symposium on Formal Methods (FM 2015) will be organized in Oslo, 22-26 June 2015.
The call for papers is out now. You know what to do (before January 9)!
The 20th International Symposium on Formal Methods (FM 2015) will be organized in Oslo, 22-26 June 2015.
The call for papers is out now. You know what to do (before January 9)!
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:
The main ideas behind Envisage are summarized in a position paper which can be downloaded from ACM DL (preprint here). The position paper was presented at the 2nd Nordic Symposium on Cloud Computing & Internet Technologies (NordiCloud 2013).
Envisage is a new research project on engineering virtualized services. Software services are virtualized if they can adapt to the elasticity of cloud computing. Envisage develops a semantic foundation for virtualization and SLA that goes beyond today’s cloud technologies. This foundation makes it possible to efficiently develop SLA-aware and scalable services. SLA-aware services are able to control their own resource management and renegotiate SLA across the heterogeneous virtualized computing landscape. The project takes a model-based approach to the development of services, supported by highly automated analysis tools using formal methods.
On this web site, you will now find a project summary and the project partners. The project is funded 2013-2016 by the EU under FP7. The planned starting date for Envisage is October 1st, 2013. More information to come.