Communiqués par International Symposium of Formal Methods