Describir: Proceedings of the Conference Workshop on Formal Models