ETMF
The School of Theoretical Computer Science and Formal Methods (ETMF 2017) aims to bring together students and researchers to disseminate and promote theoretical aspects of computing. The official language of the ETMF 2017 will be Portuguese.
More information (in Portuguese): ETMF 2017.