Theory and Formal Methods at U.Minho