Text this: Proceedings of the IMAGS - GAMM International Workshop on validated computation