Releases von International Symposium of Formal Methods