Talk:Formal Methods Europe

Kudos to you! I hadn't thohugt of that!