Invited to be Program Chair of the 28th Brazilian Symposium on Formal Methods, to be held in Recife.