We have been teaching formal methods for eight years at two major Argentinean universities. It is hard to find examples of the application of formal methods outside the most advanced industrial sectors. Then, why teach formal methods in a country that hardly produce software for advanced industries? Why formal methods in a country which buy technology instead of creating it? We were one of the first in teaching formal methods in Latin America, likely the first in teaching TLA and CSP. Our former students are now pursuing PhD’s in several European countries and Argentina. Slowly but steadily our graduates are infiltrating the local industry.