Proceedings of the international conference on Reliable software