Proceedings of the seventh Washington Ada symposium on Ada