Formal Mind auf der EclipseCon 2011