Releases med International Symposium of Formal Methods