Workshop on Formal Models