Αποστολή με SMS: Proceedings of the IMAGS - GAMM International Workshop on validated computation