Text this: Proceedings of the Conference Workshop on Formal Models