'Workshop on formal methods and automated software engineering for cloud computing', Fukuoka, Japan
With the development of mobile and internet applications, cloud computing is becoming increasingly important. More and more data are in the cloud. It is thus very important to have reliable, safe and secure cloud environments.
Cloud computing is the delivery of computing as a service rather than a product, whereby shared resources, software, and information are provided to computers and other devices over a network.
One very promising research area is software composition in cloud computing that is based on web services. Verification of the composition of such web services is a key component, and could take several forms.
The workshop will be a forum for discussion and research about formal verification and automated software engineering for all aspects of cloud computing.
The event is being organised through the cooperation of six European and Japanese universities (the University of Torino (Italy), the University Paris East - Créteil (France), Kochi University of Technology (Japan), the University of Orleans (France), the University of Leicester (UK)) and the French Alternative Energies and Atomic Energy Commission.For further information, please visit: http://traclifo.univ-orleans.fr/PaPDAS/wiki/ForMASECC2012