Proceedings of the 2013 international workshop on Hot topics in cloud services